作者whitefur (白毛)
看板logic
標題[請益] 為何"若p則q" 等價非p或q"???
時間Mon Nov 10 13:57:25 2008
最近在唸離散數學第一章
一直搞不懂為什麼"若p則q" 等價 "非p或q"?
只是硬把他記下來而已
還有為什麼p q 只要有其中一個是true的話 p或q 就是true?
p q 皆為true p且q 才是true?
謝謝解答 感恩:)
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.119.27.82
1F:推 Hseuler:1.畫畫真假值表 11/10 17:32
2F:推 Y78:p或q = p or q 其中一個是true就是true 11/10 17:50
3F:→ Y78:p且q = p and q 要兩個都是true才會是true 11/10 17:51
4F:→ whitefur:兩個人都沒回答到我的問題… 11/10 19:58
5F:推 patkoala:這就是 "或" 跟 "且" 的定義本身嗎 11/10 20:09
6F:推 dementia:p或q 和 p且q 是定義吧 "若p則q"等價"非p或q"是可以證明 11/10 22:34
7F:→ dementia:ㄜ 我慢了一步XD 11/10 22:36