已知 我爱你
因为你是我的整个世界
又爱你就等于爱自己
你就是我
所以全世界都爱我
逻辑证明，讲得清楚一点儿，谢谢了
充分条件假言推理的前提中有一个充分条件假言命题,
充分条件假言命题断定前后件的关系是:
有前件一定有后件;无前件未必无后件;
有后件未必有前件;无后件一定无前件.
因此,充分条件假言推理的规则是
肯定前件可以肯定后件;否定前件不能否定后件;
肯定后件不能肯定前件;否定后件可以否定前件.
根据上述规则,充分条件假言推理只能是“肯定前件”或“否定后件”.
必要条件假言推理的前提中有一个必要条件假言命题,
必要条件假言命题断定前后件的关系是:
无前件一定无后件;有前件未必有后件;
无后件未必无前件;有后件一定有前件.
因此,必要条件假言推理的规则是
否定前件可以否定后件;肯定前件不能肯定后件;
肯定后件可以肯定前件;否定后件不能否定前件.
根据上述规则,必要条件假言推理只能是“否定前件”和“肯定后件”.
你题目中这里写错了
离散数学 逻辑，证明￢(P↔ Q)和P↔ ￢Q逻辑等价
用真值表穷举证明，就可以了吧
离散数学 逻辑，证明
￢(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↔ ¬Q】
【用￢和∨ 定义⇔】
1.【P⇔￢（￢P）】
2.【P∧Q ⇔￢（￢P∨￢Q）】
￢P∧￢Q ⇔￢（￢￢P∨￢￢Q）等价
P∨Q⇔
3.【P→Q ⇔ ￢P∨Q】
3.【Q→P ⇔ ￢Q∨P】
P↔Q ⇔
（￢P∨Q）∧（￢Q∨P）⇔
￢[￢（￢P∨Q ）∨ ￢（￢Q∨P）]
4.【P↔Q ⇔￢[￢（￢P∨Q ）∨ ￢（￢Q∨P）]】
therefore-1
￢（P↔Q）⇔ ￢（￢P∨Q ）∨ ￢（￢Q∨P）
置换规则
4.【P↔￢Q ⇔￢[￢（￢P∨￢Q ）∨ ￢（Q∨P）]】
休息一下，