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

发布网友发布时间：2022-05-07 03:55

共2个回答

热心网友时间：2023-10-14 14:26

P，Q，-P，-Q，P→Q，-Q→-P，（P→Q）∧（~Q→~P）
T T F F T T T
T F F T F F F
F T T F T T T
F F T T T T T
由上可知（P→Q）∧（~Q→~P）为仅可满足式(如果最后一列全为T则是永真，全为F则是矛盾，否则为仅可满足式）

热心网友时间：2023-10-14 14:26

P→Q
=~P∨Q
~Q→~P
=~(~Q)∨~P
=Q∨~P
=~P∨Q
(~P∨Q)∧(~P∨Q)=~P∨Q
为仅可满足式
当(P,Q)=(0,0),(0,1),(1,1)时均可使命题为真

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

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