Question

普通逻辑学中用真值表方法判定(p→q)+∧(r→s)+∧+(¬q∨¬s)+→¬p∨+

Answer 1

问：普通逻辑学中用真值表方法判定(p→q)+∧(r→s)+∧+(¬q∨¬s)+→¬p∨+

答：判定其类型的方法就是利用命题公式的佰真值表。当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 10 0 0 1 1 1 1 0 1 1 10 0 1 0 1 0 1 1 0 0 0下面就不一一列举了，从最后的结果这一列衜中既有1又有0可得出命题公式((p→q)∨(r→s))→((p∨r)→(q∨s))为可满足式。