...→((p∨r)→(q∨s))为重言式、永假式还是可满足的,分数不太多,给...

发布网友发布时间：2024-04-07 18:14

共1个回答

热心网友时间：2024-06-25 10:13

判定其类型的方法就是利用命题公式的真值表。当p,q,r,s分别取0,1时，若真值表最后一列全为1，则对应的命题公式为重言式；若最后一列全为0，则对应的命题公式为永假式；若最后一列既有0又有1，则对应的命题公式为可满足式。例如就拿((p→q)∨(r→s))→((p∨r)→(q∨s))这个来说，
p q r s p→q r→s (p→q)∨(r→s) p∨r q∨s (p∨r)→(q∨s) 结果
0 0 0 0 1 1 1 0 0 1 1
0 0 0 1 1 1 1 0 1 1 1
0 0 1 0 1 0 1 1 0 0 0
下面就不一一列举了，从最后的结果这一列中既有1又有0可得出命题公式((p→q)∨(r→s))→((p∨r)→(q∨s))为可满足式。

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