logic - 你如何将这些英语句子变成谓词逻辑？

Question

句子是：

实数 i 是方程 fi = i + l 的最大实解。

没有一个整数比所有其他整数都大。

我觉得第一个是对所有人的陈述，但我根本不知道第二个。

任何帮助都会很棒，谢谢

score 0 · Accepted Answer

实数 i 是方程 fi = i + l 的最大实解

$(i \in \mathbb{R} \land fi = i + l) \implies (\forall k \in \mathbb{R}: ((fk = k + l) \implies k \leq i))$

没有一个整数比所有其他整数都大。

$\neg(\exists i \in \mathbb{Z}. \forall k \in \mathbb{Z}. i \geq k)$

1 回答 1