※ 引述《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)