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

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

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

单项选择题检察官对被告人说：“请你不要撒谎。当你撒谎的时候，我们不会相信你。只有你说实话的时候，我们才会相信你。”为了给予检察官上述言论最合理的解释，必需的前提是（）。

A.检察官不信任被告人
B.检察官只对被告人如实交代的事情感兴趣
C.检察官只相信被告人说的真话
D.检察官知道被告人何时撒谎，何时说真话

单项选择题在论证中偷换概念的谬误违反了逻辑基本规律中的（）。

A.同一律
B.矛盾律
C.排中律
D.充足理由律

单项选择题作为逻辑基本规律的矛盾律指的是（）。

A.正确的理性思维应当避免逻辑矛盾
B.正确的理性思维应当具备逻辑矛盾
C.矛盾无处不在，无时不有
D.矛盾是推动事物发展的动力

多项选择题设P、Q是一元谓词，a是个体常项。考虑如下推演关系：现欲在横线上填入一个公式，使得该推演关系成立。以下公式中可填入的有：（）。

A.∃xPx
B.∀xPx
C.Pa
D.Qa→Pa