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

[過去ﾛｸﾞ] 「pならばq」かつ「qならばr」のとき、「pならばr」を証明せよ (87ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

20: 2024/05/09(木)15:55 ID:kr5FQ87d(1/2) AAS
命題論理なら真偽値表が使えるが
述語論理ではそういうわけにもいかない

形式証明がなにか難しい魔術のように思ってる人がいるが
実のところ大した話ではないので難しく考えないほうがいい

21(1): 2024/05/09(木)21:31 ID:kr5FQ87d(2/2) AAS
¬ｐ∨ｑ
¬ｑ∨ｒ
ｐ
¬ｒ

¬ｐ　¬ｐ　ｑ　　ｑ
¬ｑ　ｒ　　¬ｑ　ｒ
ｐ　　ｐ　　ｐ　　ｐ
省5