命題論理

質問

次の同値式を付値関数を用いて証明せよ。

（１）Ａ∧Ｂ≡￢（Ａ→￢Ｂ）

（２）Ａ∨Ｂ≡￢Ａ→Ｂ

どなたかお願いします

回答No.1

noname2727 · ベストアンサー

付値関数とはよくわかりませんが
Ａ→Ｂは￢（Ａ∧（￢Ｂ））
なので、
（１）￢（Ａ→￢Ｂ）＝￢（￢（Ａ∧（￢（￢Ｂ））））＝Ａ∧Ｂ
（２）（￢Ａ）→Ｂ＝￢（（￢Ａ）∧（￢Ｂ））＝Ａ∨Ｂ

でしょうか？

お礼

回答ありがとうございました

回答No.2

Tacosan

「付値関数」ってのは「各変数に対して値を割り当てる関数」のことでしょう＞#1.

よ～するに「計算しろ」ってこと.