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

单项选择题画树形图时，如果根节点的公式为¬A，最后所有的枝均封闭，则可以证明（）

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

单项选择题下列关于真值表方法的叙述错误的是（）。

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

单项选择题已知p 真q 假，则下列公式中为假的有（）。

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

单项选择题下列符号串属于命题逻辑公式的是（）。

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

单项选择题某游戏要求玩家说一句可验明真假的话，然后根据这句话的真假派发奖品。具体规定为：如果玩家说假话，那么他不得奖；如果玩家说真话，那么他或者得小奖，或者得大奖。小王在参与该游戏时说：“我将不会得小奖。”那么，根据规则，（）。

A.只能给小王发小奖
B.只能给小王发大奖
C.既可以给小王发小奖，又可以给小王发大奖
D.不能给小王发奖