下面给出的一阶逻辑等价式中，是错的
https://p.ananas.chaoxing.com/star3/origin/b71fac2465a10b1252ef47e404ca8723.png
举一反三
内容
- 0
一阶逻辑的公式分类中，不包括（ ）。 A: 逻辑有效式 B: 矛盾式 C: 重言式 D: 可满足式
- 1
在谓词逻辑中，下面谓词公式哪些是永真式？给出理由。[tex=16.929x1.357]mJzDOQGsp4rQPDmpW9DuFG0RkPi6LsPPxzsfX58/1S3cWK+nceBuAVsAX54i7us2wJsoYf4U9iTJ9HWDWEiKi4RaZ4MEG2S37vNb8CMTpspSZWcBe+N+C4hM7SjEp52N[/tex]
- 2
产生式不包括一阶谓词逻辑
- 3
下面逻辑式中，正确的是_________。
- 4
下面哪个属于一阶谓词逻辑表示