设论域为{1,2}，与公式∃xA(x)等值的是
举一反三
- 设论域为{1,2}，与公式("x)A(x)等价的是() A: A(1)∨A(2) B: A(1)→A(2) C: A(1)∧A(2) D: A(2)→A(1)
- 设论域为{1，2}，与公式"x﹁A(X)等价的是() A: ﹁A(1)∨﹁A(2) B: ﹁A(1)→﹁(A2) C: ﹁A(1)∧﹁A(2) D: A(1)→A(2)
- 设论域D={a,b},与公式∃xA(x)等价的命题公式是() A: A(a)∧A(b) B: A(a)→A(b) C: A(a)∨A(b) D: A(b)→A(a)
- 下列命题能表明用全称量词可以定义存在量词的是： A: 对任意公式A，"xA与Ø$xØA逻辑等值。 B: 对任意公式A，$xA与Ø"xØA逻辑等值。 C: 对任意公式A，Ø"xA与$xØA逻辑等值。 D: 对任意公式A，"xØA与Ø$xA逻辑等值。
- 论域D={1,2}，指定谓词P，P(1)=T，P(2)=F，公式(∀x) P(x)的真值是______。