Question

判断命题公式 （P→Q）∧（~Q→~P） 的类型（永真式、矛盾式或仅可满足式）,并指出该公式的成真险赋值.

Answer 1

P→Q

P∨Q

Q)∨~P

=Q∨~P

P∨Q

P∨Q)∧(~P∨Q)=~P∨Q

为仅可满足式

当(P,Q)=(0,0),(0,1),(1,1)时均可使命题为真