谓词公式设[img=204x26]17869f2ff267048.png[/img]是永真的. （ ）
A: 对
B: 错
A: 对
B: 错
举一反三
- 谓词公式设[img=204x26]17da6e4818cf904.png[/img]是永真的. （ ）
- 设G、H是谓词公式，P是一个谓词，G＝[img=14x16]17d60d81544b19c.png[/img]xP(x),H＝[img=16x18]17d60d81690de9d.png[/img]xP(x),则公式G[img=20x15]17d60d81752176d.png[/img]H是(). A: 前束范式. B: 可满足的 C: 永真的 D: 永假的
- 谓词公式设[img=139x17]17da6393a360252.png[/img]是( ). A: 恒真的 B: 恒假的 C: 可满足的
- 谓词公式[img=171x17]17e0a74ebd2e4cb.png[/img]永假式。
- 设个体域D＝{1, 2, 3}，A(x)为“x大于3”，则谓词公式([img=8x14]17e4385a99bb660.jpg[/img]x)A(x) 的真值为__________．