作者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