设个体域D＝{1, 2, 3}，A(x)为“x大于3”，则谓词公式([img=8x14]17e4385a99bb660.jpg[/img]x)A(x) 的真值为__________．
举一反三
- 对于公式[img=8x14]17e4385a99bb660.jpg[/img]x(P(x)∨Q(x))，其中P(x)：x=1， Q(x)：x=2，当论域为{0,1,2}时，时，其真值为________。
- 下列的推理结构中哪个是正确的推理形式()。 未知类型：{'options': ['([img=8x14]17e4385a99bb660.jpg[/img] x)P(x) ∧ ([img=8x14]17e4385a99bb660.jpg[/img]x)Q(x) → ([img=8x14]17e4385a99bb660.jpg[/img]x)(P(x) ∧Q(x))', ' ([img=8x14]17e4385a99bb660.jpg[/img] x)P(x) → ([img=8x14]17e4385a99bb660.jpg[/img]x)(P(x) ∧ Q(x))', ' ([img=8x14]17e4385a99bb660.jpg[/img]x)(P(x) ∨ Q(x)) → ([img=8x14]17e4385a99bb660.jpg[/img]x)P(x) ∨([img=8x14]17e4385a99bb660.jpg[/img]x)Q(x)', ' ([img=8x14]17e4385a99bb660.jpg[/img]x)(P(x)∨ Q(x)) → ([img=8x14]17e4385a99bb660.jpg[/img] x)P(x) ∧ ([img=8x14]17e4385a99bb660.jpg[/img] x)Q(x)'], 'type': 102}
- 令P：3>－2；Q(x)：x≤3；R(x)：x>5；a：3；个体域{－2，3，5，6}； 则谓词公式∀x(P→Q(x))∨R(a)的真值= 。
- 公式A＝∃x（P（x）→Q（x））的解释I为：个体域D＝｛2｝，P（x）：x＞3，Q（x）：x＝4，则A的真值为
- 假设个体域D={1, 2, 3, 4, 5, 6}，P(x)：x是偶数，Q(x)：x＞0 ，R(x)：x＞6则[img=60x22]17e446cee76fe2e.png[/img]的真值为1;