A、(∀x)(P(x,y)→Q(x,z))⋁(∃z)R(x,z)
B、(∀x)(∀y)P(x,y)⋁Q(x,z)⋀(∃x)P(x,y)
C、
D、(∃x)P(x)⋀Q(y,z)
【正确答案】：C
下列式子不是谓词合式公式的是
- 2024-08-03 23:48:37
- 离散数学(02324)
下列式子不是谓词合式公式的是
A、(∀x)(P(x,y)→Q(x,z))⋁(∃z)R(x,z)
B、(∀x)(∀y)P(x,y)⋁Q(x,z)⋀(∃x)P(x,y)
C、
D、(∃x)P(x)⋀Q(y,z)
【正确答案】：C
A、(∀x)(P(x,y)→Q(x,z))⋁(∃z)R(x,z)
B、(∀x)(∀y)P(x,y)⋁Q(x,z)⋀(∃x)P(x,y)
C、
D、(∃x)P(x)⋀Q(y,z)
【正确答案】：C