使用者53293357654272020-03-05 18:19:31用真值表窮舉證明，就可以了吧
離散數學 邏輯，證明
￢（P？Q）
和
P？￢Q邏輯等價，
（條件？：當p與q有相反的真值時，P？￢Q兩邊恰好都為真，就是說p=1，Q=0）
這種條件下，顯然，
￢（P？Q）=1
P？￢Q=1
邏輯定價
如果，
p=0，q=1
￢（P？Q）=1
P？￢Q=1
也是邏輯等價
這應該只是，解說吧
當P與Q有相反的真值時
P？￢Q
兩邊恰好都為真
一邊是 ￢（P？Q）
一邊是 P？￢Q
【命題求證】
【￢（P？Q） ？P？璡】
【用￢和∨ 定義浴？
1。【P冤V（￢P）】
2。【P∧Q 冤V（￢P∨￢Q）】
￢P∧￢Q 冤V（￢￢P∨￢￢Q）等價
P∨Q？
3。【P→Q ？￢P∨Q】
3。【Q→P ？￢Q∨P】
P擰 ？ （￢P∨Q）∧（￢Q∨P）？ ￢［￢（￢P∨Q ）∨ ￢（￢Q∨P）］
4。【P擰 冤V［￢（￢P∨Q ）∨ ￢（￢Q∨P）］】
therefore-1
￢（P擰）？￢（￢P∨Q ）∨ ￢（￢Q∨P）
置換規則
4。【P敥VQ 冤V［￢（￢P∨￢Q ）∨ ￢（Q∨P）］】
休息一下，