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

时间: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)