给定论域[图],[图]，在该赋值下，求公式[图]的真值。...

考虑以下赋值。

论域D=(1,2).

指定常数a和b:

求以下各公式的真值。

若解释I的论域D仅包含一个元素，则公式在解释I下的真值为1

A.

B.

C.

D.

设论域为{1,2},A(x):x是素数，则公式的真值是（）。（必须填0或1）

用真值表求公式的真值

考虑以下赋值：论域D={2，3}，f(2)=3，f(3)=2，E(2，2)=F，E(2，3)=F，E(3，2)=T，E(3，3)=T．试求以下各式的真值：

2、求下列公式成真赋值 （1）（2）

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

A.

B.

C.

D.

PQ与PQ是两个不同的命题公式，但给定其命题变量的任一祖真值指派，它们的真值都相同，这样的两个命题公式称为逻辑等价，记作：PQPQ