作者T50 (打不赢二二)
看板ask-why
标题Re: [转录][请益] p->q 真值表
时间Tue Jan 11 15:17:56 2011
: ... 虽然写得彷佛头头是道 但是其中谬误甚多
: 首先 p确实常被称为前提
: 其次 不合逻辑的 事实上也未必是假的 逻辑的真假跟事实的真假未必有必然性
: 要联系逻辑的真假跟事实的真假 必须引入其他的性质（自然齐一律之类的）
: 最後 真值表上的假 并非矛盾 第三项 F->T 也不是矛盾 也不是「只有」
: 所以你所谓的「厘清矛盾」 根本就没有厘清什麽...
有用-PvQ等价P->Q，但用P、Q做前题得P->Q是三段论中的哪招
还有我只是要他别理是天下雨还是天打雷，这些符号不是旨在连结真实，而是在判断合理
性，不连结真实的合理性，那就先判别不合理阿。
真值表的假是不称为矛盾，我只是要他做判断是否矛盾，
P->Q
P->-Q
-PvQ 1.cd
-Pv-Q 2.CD
(-PvQ)^(-Pv-Q) 3.4.adj
-Pv(Q^-Q) 5.distr
P是T
所以Q^-Q不矛盾吗
F->T当然是看错行、打错字阿 这你也要挑毛病
谢谢
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 114.37.138.251
※ 编辑: T50 来自: 114.37.138.251 (01/11 15:21)
※ 编辑: T50 来自: 114.37.138.251 (01/11 15:22)