論理学

[過去ﾛｸﾞ] 論理学 (397ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

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

357(1): 2012/10/12(金)03:55 AAS
Ｐ⊃(Ｑ∨Ｒ)] ⊃[(Ｐ⊃Ｑ)∨(Ｐ⊃R)]

これのどこがautologyやねん。

358: 2012/10/13(土)11:07 AAS
>>357 ：１３２人目の素数さん：2012/10/12(金) 03:55:22.81
＞Ｐ⊃(Ｑ∨Ｒ)] ⊃[(Ｐ⊃Ｑ)∨(Ｐ⊃R)]
　＞
＞これのどこがautologyやねん。

真理表を書いてみろ。