多项选择题

下列公式中属于重言式的有（）。

A.（p→¬p）→q
B.q→（¬q→p）
C.（p→p）→¬q
D.p→（¬q→p）

点击查看答案&解析

上一题目录下一题

单项选择题

A.A 不是可满足式
B.¬A 是重言式
C.A 不是重言式
D.¬A 不是重言式

单项选择题

A.真值表方法可以判定任意命题逻辑公式是重言式、偶真式还是矛盾式
B.任一命题逻辑公式的真值表都是唯一的
C.真值表方法的合理性依赖如下前提：一个公式的真值仅由在该公式中出现的符号的意义决定
D.含n 个命题变元的公式的真值表共有2n 行

单项选择题

A.（p∨¬q）∨¬q
B.（p∨q）∧p
C.p∨¬q→q
D.¬（q∧p）→p