论域D={1,2}，指定谓词P，P(1)=T，P(2)=F，公式(∀x) P(x)的真值是______。
举一反三
- 在指定的解释下，下列公式为真的是() A: ("x)(P(x)∨Q(x)),P(x):x=1,Q(x):x=2,论域:{1,2} B: ($x)(P(x)∧Q(x)),P(x):x=1,Q(x):x=2,论域: {1,2} C: ($x)(P(x) →Q(x)),P(x):x>2,Q(x):x=0,论域:{3,4} D: ("x)(P(x)→Q(x)),P(x):x>2,Q(x):x=0,论域:{3,4}
- 设个体域{1,2}，谓词P(1)=1，P(2)=0，Q(1)=0,Q(2)=1，则∀x（P(x) ∨Q(x)）的真值是1。
- 【单选题】设个体域D={1,2},求公式,设对个体常量b,函数f(x)指派的值分别为: b=1, f(1)=2, f(2)=1, 对谓词P,Q:P(1)=F, P(2)=T, Q(1,1)=T, Q(2,1)=F,谓词的真值是 ( ) A: T B: F C: 不能确定 D: 都不是
- 对于公式[img=8x14]17e4385a99bb660.jpg[/img]x(P(x)∨Q(x))，其中P(x)：x=1， Q(x)：x=2，当论域为{0,1,2}时，时，其真值为________。
- 设个体域D={a,b},使谓词公式xP(x)的真值为1的谓词P满足()。 A: P(a)=0，P(b)=0 B: P(a)=0，P(b)=1 C: P(a)=1，P(b)=0 D: P(a)=1，P(b)=1