「pならばq」かつ「qならばr」のとき、「pならばr」を証明せよ

19 ：１３２人目の素数さん：2024/05/09(木) 08:49:27.28 ID:9Ah6kckW.net

形式証明をしたからといって何か真理値表で証明するよりも御利益があるというわけではないだろう。
真理値表を使いたくない場合は、基本命題の数ｋが多すぎて2のｋ乗通りの場合を表に書くのが
ツライ、あるいは不可能であるような場合だけじゃないのだろうか。そのような場合には、記述の
量を減らしていわゆるエレガントに証明するために式を組み合わせて目的の命題が恒真であることを
導くのだろうけれども、今の場合は真理値表による証明の方がエレガントに思えるのだが。