作者A1Yoshi (寂寞上围35E(♀))
看板logic
标题Re: [轻松] 如果你是人
时间Mon Oct 27 22:08:12 2008
※ 引述《ivanos (Peel quickly and see)》之铭言：
: 一个论证如下：
: 如果你是人，那麽你是动物。
: 因此如果你是人且你不需要靠氧气过活，那麽你是动物。
: 此论证有效 (valid).
论证有效即不可能前提为真结论却为假。
这论证包含三个命题，各自可能真可能假，所以总共八种可能。
If Ｐ then Ｑ, therefore, if （Ｐ＆Ｒ） then Ｑ
（Ｐ, Ｑ, Ｒ）—（前提真假值, 结论真假值）
○（Ｔ, Ｔ, Ｔ）—（Ｔ, Ｔ）
○（Ｔ, Ｔ, Ｆ）—（Ｔ, Ｔ）
╳（Ｔ, Ｆ, Ｔ）—（Ｆ, Ｔ）
╳（Ｔ, Ｆ, Ｆ）—（Ｆ, Ｔ）
○（Ｆ, Ｔ, Ｔ）—（Ｔ, Ｔ）
○（Ｆ, Ｔ, Ｆ）—（Ｔ, Ｔ）
○（Ｆ, Ｆ, Ｔ）—（Ｔ, Ｔ）
○（Ｆ, Ｆ, Ｆ）—（Ｔ, Ｔ）
找不到前提真结论假，故有效。
我本是觉得无效，但原波和推文好像都同意有效，故用真值表法证明一下。
--
PTT2 自然就是美 => 百慕达群岛 => 漩涡 =>
PinkParties
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 123.194.136.112
※ 编辑: A1Yoshi 来自: 123.194.136.112 (10/27 22:11)