「pならばq」かつ「qならばr」のとき、「pならばr」を証明せよ
- 19 :132人目の素数さん:2024/05/09(木) 08:49:27.28 ID:9Ah6kckW.net
- 形式証明をしたからといって何か真理値表で証明するよりも御利益があるというわけではないだろう。
真理値表を使いたくない場合は、基本命題の数kが多すぎて2のk乗通りの場合を表に書くのが
ツライ、あるいは不可能であるような場合だけじゃないのだろうか。そのような場合には、記述の
量を減らしていわゆるエレガントに証明するために式を組み合わせて目的の命題が恒真であることを
導くのだろうけれども、今の場合は真理値表による証明の方がエレガントに思えるのだが。
15 KB
新着レスの表示
掲示板に戻る
全部
前100
次100
最新50
read.cgi ver.24052200