看板 logic 關於我們 聯絡資訊
※ 引述《linpon (喵及拉)》之銘言: : ※ 引述《weipoyen (什麼最重要)》之銘言: : 我要問的就是 這個 T 是怎麼決定的?為什麼不是 F ? : : 你是想問 : : 為什麼 P Q P→Q : : F F T : : ^ : : 這個嗎? 這個決定的原因有很多, 基本上 P->Q P為假的情況可以當成無用的,或者中立的, 為什麼要把真假值設為真? 考慮科學上的理論 A,如果我們找到一個例子讓 A為假,則可以反駁 A 找到讓A為真或者無關的例子,都無法反駁或者證實A這個理論。 或考慮 C且B C或B 這兩個敘述, 如果 C是T,那這兩個敘述的真假值 實際上靠 B決定,所以無關可以當成T。 另外一個原因是不是A就是B的意思是 A or B,這也是另外一種理解的方式。 實際上不只是這樣,找書看,或者自己想想。 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 67.112.43.10