公式[img=176x21]17da58cafccf2d7.png[/img]的解释I为:个体域D={1,2},P(x):x>;2, Q(x):x=0, 则A的真值为( )。
A: 1
B: 0
C: 矛盾式
D: 无法判定。
A: 1
B: 0
C: 矛盾式
D: 无法判定。
举一反三
- 公式[img=704x85]17da6e48570cd52.png[/img]的解释I为：个体域D={1,2}，P(x)：x>;2, Q(x)：x=0, 则A的真值为（ ）。 A: 矛盾式 B: 无法判定 C: 1 D: 0
- 公式[img=704x85]17d6234b18ebec7.png[/img]的解释I为：个体域D={1,2}，P(x)：x>2, Q(x)：x=0, 则A的真值为（ ）。 A: 1 B: 矛盾式 C: 无法判定 D: 0
- 公式[img=148x21]17da58cb115f753.png[/img]的解释I为:个体域D={1,2},P(x):x=1, Q(x):x=2则A的真值为( )。 A: 1 B: 0 C: 矛盾式 D: 无法判定。
- 公式[img=165x19]1802fc52d07a153.png[/img]的解释I为：个体域D={2}，P(x)：x>3, Q(x)：x=4则A的真值为 ( ) A: 1 B: 0 C: 可满足式 D: 无法判定
- 公式[img=620x85]17d6234b76976e0.png[/img]的解释I为：个体域D={2}，P(x)：x>3, Q(x)：x=4则A的真值为（ ）。 A: 无法判定 B: 0 C: 可满足式 D: 1