作者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)