Re: [請益] 問一題邏輯問題

[copular (睡中乾坤)]

※ 引述《lostus (閒的發慌)》之銘言：
: 「星球大戰」提供防禦核子攻擊(P)並且應予展開(D)，恰好如果它能夠
: 打下導彈飛彈(C)。但是，並非或是「星球大戰」能夠打下彈導飛彈或是
: 它提供防禦核子攻擊。所以，「星球大戰」不應展開。
: 把這段話改寫成邏輯式，並証明是否有效。
: 這其實是我的考題啦，
: 可是我想半天解不出來，想問大家會不會解？！

1. P&D<->C
2. ~(CVP)
-----------
~D

無效

賦予各命題以下真值，這個論證就破功了
P D C
F T F

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 210.58.34.176
推 lostus:感謝解答!!