20/03/21 03:05:43.88 H+ijo7Ie.net
>>337
その方はおそらく、形式論理における証明の手続きの話をしてると思います
形式論理では、推論規則による論理式の書き換えは有限回でなければ証明とはみなされません
20/03/21 03:05:43.88 H+ijo7Ie.net
>>337
その方はおそらく、形式論理における証明の手続きの話をしてると思います
形式論理では、推論規則による論理式の書き換えは有限回でなければ証明とはみなされません
20/03/21 03:05:43.88 H+ijo7Ie.net
>>337
その方はおそらく、形式論理における証明の手続きの話をしてると思います
形式論理では、推論規則による論理式の書き換えは有限回でなければ証明とはみなされません