作者yggub (どーも)
看板logic
標題[請益] 語句邏輯翻譯
時間Thu Apr 7 23:12:36 2011
我不會翻譯"但是" QQ 有請板上大大幫忙 感恩
例題是
The river will not overflow its banks unless we either have an early
thaw or heavy rain,
but we will not have heavy rains.
設P:The river will overflow its banks
Q:we have an early thaw
R:we have heavy rain
~( Q v R ) → ~P
然後就卡住了..@@
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.119.138.17
1F:推 LiuSky:~( Q v R ) ^ ~P 04/08 04:42
2F:→ LiuSky:推太快搞錯題目 = = 反正but用and翻就行了 它們真值表相同 04/08 04:47
3F:→ LiuSky:差只差在語氣的表達上罷了 04/08 04:47
4F:→ yggub:那 [~( Q v R ) → ~P].~R 這樣對嗎~? 04/08 14:33
5F:→ somedoubt:"*" 04/11 04:35