问答题

问矛盾式、重言式、可满足式、蕴含式中哪一个是重言式的否定式?

【参考答案】

矛盾式是重言式的否定式.
<上一题 目录 下一题>
热门 试题

未分类题
指出下列各组命题公式是否等价,并说明理由: (1)A→(B→A),¬A→(A→¬B). (2)Q→(P∨Q),¬Q∧(P∨Q). (3)](A∨(A∧B)),B. (4)¬P∧¬Q,P∨Q.
A.
B.
C.
未分类题
设P表示“她打乒乓球”,Q表示“她打篮球”,将下列各公式翻译成自然语言:(1)P∨Q (2)P∧Q (3)P∧¬Q(4)¬P∨¬Q (5)¬(¬P) (6)¬(¬P∧Q)(7)¬P→Q
相关试题
  • 化简命题公式:A∨(¬A∨(B∧¬B)).
  • 化简命题公式:((P→Q) class='ask-t...
  • 用真值表证明:合取对析取的分配律.
  • 证明蕴含重言式:((P→Q)∧(Q→R))→...
  • 证明下列公式是重言式:(1)((P→Q)→...