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