唯二这个问题我也是在网上找了一圈没找着，困扰了很久，今天早上想了一会自己弄出来了一个表达式，和大家分享一下。
假设有且仅有x，y两个变量满足P(x),在仅使用存在，任意量词的情况下写出其逻辑表达式。
解： 引入另一个变元z，其论域和x，y相同，则逻辑表达式可以写成：
∃
x
∃
y
(
x
≠
y
∧
P
(
x
)
∧
P
(
y
)
∧
∀
z
(
P
(
z
)
→
(
z
=
x
∨
z
=
y
)
)
)
\exists x \exists y(x \neq y \wedge P(x) \wedge P(y) \wedge \forall z(P(z) \rightarrow(z=x \vee z=y)))
∃x∃y(x=y∧P(x)∧P(y)∧∀z(P(z)→(z=x∨z=y)))
基本思路就是限定两个不同的变量x，y满足P(x)，然后任意一个其他的变量z只要满足P(x),则它要么是x，要么是y。
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
