单项选择题

下面公式（）不是谓词公式

A.P
B.P（x）∨Q（y）→R（x）
C.∀P（x）∧R（x，y）
D.∀x（R（x）→P（x，y））

<上一题目录下一题>

热门试题

多项选择题

如果当P→Q为真时称命题P强于Q，那么最强的命题是（），最弱的命题是（）

A.永假式
B.可满足式
C.永真式
D.不能确定

单项选择题

命题公式（P∧（P→Q））→Q是（）

A.矛盾式
B.可满足式
C.重言式
D.不能确定

相关试题