※ 引述《dharma (达)》之铭言： : 像下面网址例子举的「1+1=2」和「5*2=10」 : 两者本来就无关 : 为什麽会产生逻辑关系？ : 我以为要「鸟都会飞」「老鹰是鸟」 : 这种的才会产生逻辑关系啊 : 搞不懂 : thanks : https://hk.knowledge.yahoo.com/question/question?qid=7013091300119 : (1) : p is true, q is true : p = 「1+1=2」 is true : q = 「5*2=10」 is true : 「p => q」=「If 1+1=2, then 5*2=10」is true also. : (2) : p is true, q is false : p =「1+1=2」is true : q =「2+3=6」 is false : 「p => q」=「If 1+1=2, then 2+3=6」is false. : 因为前句成立，但後句不成立，所以 "=>" implication 是false。 这是很多人都会搞错的问题 可能的原因有两个 1,是对假言命题(若p则q)的定义不清楚 若p则q的定义是 p q 若p则q T T T T F F F T T F F T 也就是说只有否定充分条件真必要条件假的情形 2.使用假言命题时,认为充分与必要条件真假皆有可能 而没考虑到恒真或恒假的状况 根据定义,只要不会出现p真q假的状况,那该假言命题就是恒真 所以你的第一个例子,p恒真,q恒真,根据定义,前真後真,所以假言命题为真 第二个,p恒真,q恒假,根据定义,前真後假,所以假言命题为假 我还可以举出让你更匪夷所思的例子 p is false, q is false p =「1+1=8」 is false q =「2+3=6」 is false 「p => q」=「If 1+1=8, then 2+3=6」is true. p恒假,q恒假,但根据定义,p假q假,假言命题为真 --

※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 114.34.23.164 ※ 文章网址: http://webptt.com/cn.aspx?n=bbs/logic/M.1401378179.A.4D2.html