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

时间：2014-03-29 00:02:59

标签： logic predicate language-translation predicates

句子是：

实数i是等式f.i = i + l的最大实数解。

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

我觉得第一个是所有声明，但我根本不知道第二个。

任何帮助都会很棒，谢谢

1 个答案:

答案 0 :(得分：0)

  

实数i是等式f.i = i + l

的最大实数解

(i \in \mathbb{R} \land f.i = i + l) \implies (\forall k \in \mathbb{R}: ((f.k = k + l) \implies k \leq i))

  

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

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

相关问题
最新问题