用范式方法判定是否为矛盾式。 (p∨q)⇔(┐p∧┐q) 请帮忙写出求解的...

发布网友发布时间：2024-06-01 15:12

共2个回答

热心网友时间：2024-06-05 02:55

因为﹁（p∨q）=﹁p∧﹁q
所以 (p∨q)⇔(┐p∧┐q) 等同于 (p∨q)⇔﹁（p∨q）

而最后的式子是很容易【判断】的，是一个矛盾式

因此结论是一个矛盾式

热心网友时间：2024-06-05 02:59

（ (p∨q)∧(┐p∨┐q) ）∨（(┐p∧┐q)∧(p∧q)）

上面(p∧q)应该是教材错误，正确是(p∨q)。这样就能用分配率了

声明：本网页内容为用户发布，旨在传播知识，不代表本网认同其观点，若有侵权等问题请及时与本网联系，我们将在第一时间删除处理。E-MAIL:11247931@qq.com