单项选择题
下面公式()不是谓词公式
A.P
B.P(x)∨Q(y)→R(x)
C.∀P(x)∧R(x,y)
D.∀x(R(x)→P(x,y))
点击查看答案&解析
<上一题
目录
下一题>
热门
试题
填空题
公式(P∨Q)→R的只含联结词¬,∧的等价式为(),它的对偶式为().
点击查看答案
填空题
两个重言式的析取是(),一个重言式与一个矛盾式的析取是(),两个重言式的合取是(),一个重言式与一个矛盾式的合取是(),一个重言式蕴涵一个矛盾式得到的是(),一个矛盾式蕴涵一个重言式得到的是()。
点击查看答案
相关试题
对任意集合A,B 和C,试证明A×(B∪C)=...
求¬P∨(Q∧R)的合取范式与主合取范式。
设图G=,V={v1,v2,v3,v4},E=...
设关系R的关系图如下,试(1)写出R的关系...
设个体域D={1,2,3,4},则谓词公...