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

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

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