设有下列公式,请问哪个不是永真蕴涵式?()
A. P∧Q=>P
B. P∧Q=>P∨Q
C. P=> P∧Q
D. P∧ (P→Q)=>Q
设个体域为D={a,b},则与公式∃xA()等价的命题公式是()
A(a)∧A(b)
B. A(a)→A(b)
C. A(a)∨A(b)
D. A(b)→A(a)
如 果 R1和R2是A上 的 自 反 关 系,则R1∪R2,R1∩R2,R1−R2中 自 反 关 系 有 几个?()
A. 0
B. 1
C. 2
D. 3
公式x((A()B(y,x))z C(y,z))D()中,自由变元是()。 A X B
A. X
B. X
C
D. Z D都不是