作者weijr (Beware of the Monkey)
看板Logic
标题Re: [问题] 若P则Q
时间Sat Oct 16 11:18:29 2004
※ 引述《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