问答题
问矛盾式、重言式、可满足式、蕴含式中哪一个是重言式的否定式?
【参考答案】
矛盾式是重言式的否定式.
点击查看答案
<上一题
目录
下一题>
热门
试题
未分类题
指出下列各组命题公式是否等价,并说明理由: (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)→...