简答题

给出一个指派，证明下列结论是非有效的：
（a）前提是A←→B、B←→（C∧D）、C←→（A∨E）、A∨E，结论是A∧E。
（b）前提是A←→（B→C）、B←→（A∨C）、C←→（A∨B）、B，结论是A∨C。

【参考答案】

（a）A、B、C、D的指派均为T，E的指派为F，则前提的真值为T，假结论的真值为F，所以结论无效。
（b）A、C......

(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)