作者yauhh (哟)
看板logic
标题Re: [请益] 建设性的两难
时间Fri Jan 9 01:17:44 2009
※ 引述《qwertop (暴力娃!!)》之铭言：
: 语句逻辑形式: A&B --> C
: ~A --> D
: ~B --> E
: ~C
: G --> (~D&~E)
: _________________________________
: 所以 ~G
: 但我无法判断究竟是有效还是无效，因为我本身不太董建设性的两难公式所要表达的意思
有一种超超超简单的方法是真值表,确认~G是不是tautology,但画出来很烦.
另一种方法是把前提跟结论串起来变成:
A&B -> C . ~A -> D . ~B -> E . ~C . G -> ~D&~E => ~G
检查它是不是tautology.
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 218.160.114.106