作者like176 (Ix)
看板logic
标题[请益] 这句英文该怎麽用逻辑符号表示
时间Sun Oct 9 23:42:05 2011
p 是 The sun is shing.
q 是 It is raining.
题目说 Either the sun is shing or it is raining.
我想先问
Either p or q.
指的是两个至少会有一个发生，还是两个恰有一个会发生?
如果是恰有一个发生的话
(p -> ~q) ^ (q-> ~p)
(p -> ~q) <-> (q-> ~p)
p -> ~q
p <-> ~q
这四种我该写哪一种?
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 118.232.190.155
1F：推 LiuSky:(P or Q) and ~(P and Q) 10/09 23:47
2F：→ like176:那 (pVq)^ ~(p^q) 和 p -> ~q 一样吗? 10/09 23:59
3F：推 LiuSky:不一样...当P和Q都为假时 两个复合句的真假值不同 10/10 17:11
4F：→ LiuSky:它应该是跟 P <-> ~Q 那句一样 你可以自己画真值表检查 10/10 17:12
5F：→ like176:嗯嗯，感谢! 10/11 10:46