※ 引述《penwar (筆戰神人)》之銘言：
: 看到一題邏輯問題
: 但是不知道怎麼證明
: a.不是朱自清和魯迅都撰寫<再別康橋> 朱自清沒撰寫
: 所以魯迅也沒撰寫
: 為什麼此命題無效?
: b.所有將軍都是男人 沒有將軍體驗過生小孩 所以沒有男人體驗過生小孩
: 答案也是無效的
: 我試著用畫集合的方式解題
: 但是得不出結論
: 請問有那位大大能分析這兩題讓我明白?
: 謝謝!!
a.
不存在朱自清及魯迅都寫了再別康橋的情況，
（換言之，當P(朱自清寫再x) or Q（魯迅寫再x）時，P、Q不會皆為真）
(not P) or (not Q)（或者朱自清或者魯迅寫再x，但不會兩人都寫了再x）
exclusive disjunction
not P（朱自清沒寫再x）
Q（魯迅寫了再x）
not Q無法從前提被推演出來，結論無效。
以上是一個可能的答案。
另一個是這樣的。
不存在朱自清及魯迅都寫了再別康橋的情況
not（P and Q）（不存在朱自清及魯迅都寫了再別康橋的情況）
Either （not P） or （not Q）
（或者朱自清和魯迅有一人寫了一人沒寫，也可能兩人都沒寫再x）inclusive dis.
not P（朱自清沒寫再x）
結果將出現兩個可能答案：1.not（not Q）；2.not Q
因為根據前提且在disjunction是inclusive的情況下，
雖然not P（朱自清沒寫再x）成立，
但無法因此判定究竟魯迅是沒有沒寫再x（not not Q = Q）還是沒寫再x（not Q）。
所以，從朱自清沒寫再x，無法推演出Q這單一結論，結論無效。
（當然，我們都知道是徐生明寫了再別康橋）
b.....
.....
我累了...
88
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 219.84.0.158
※ 編輯: Esgibt 來自: 140.119.232.47 (01/24 14:22)