前面讨论了全称量词”所有“和存在量词”有些“，但这两种量词只是定性的，不是定量的。在讨论摹状词之前先要搞清楚数量量词的表达，因为，”恰好有一个个体是 F“ 的公式在摹状词中要用到。
一。至少有若干个个体
至少有一个个体： ∃ x 1 ∃x_{1} ∃x1（ x 1 x_{1} x1 = x 1 x_{1} x1）
至少有一个个体是 F： ∃ x 1 ∃x_{1} ∃x1 F（ x 1 x_{1} x1）
至少有两个个体： ∃ x 1 ∃ x 2 ∃x_{1}∃x_{2} ∃x1∃x2（ x 1 x_{1} x1 ≠ x 2 x_{2} x2）
至少有两个个体是 F： ∃ x 1 ∃ x 2 ∃x_{1}∃x_{2} ∃x1∃x2（F（ x 1 x_{1} x1）∧ F（ x 2 ） ∧ x 1 x_{2}）∧ x_{1} x2）∧x1 ≠ x 2 x_{2} x2）
至少有三个个体： ∃ x 1 ∃ x 2 ∃ x 3 ∃x_{1}∃x_{2}∃x_{3} ∃x1∃x2∃x3（ x 1 x_{1} x1 ≠ x 2 x_{2} x2 ∧ x 1 x_{1} x1 ≠ x 3 x_{3} x3 ∧ x 2 x_{2} x2 ≠ x 3 x_{3} x3）
至少有三个个体是 F： ∃ x 1 ∃ x 2 ∃ x 3 ∃x_{1}∃x_{2}∃x_{3} ∃x1∃x2∃x3（F（ x 1 x_{1} x1）∧ F（ x 2 x_{2} x2）∧ F（ x 3 x_{3} x3）∧ x 1 x_{1} x1 ≠ x 2 x_{2} x2 ∧ x 1 x_{1} x1 ≠ x 3 x_{3} x3 ∧ x 2 x_{2} x2 ≠ x 3 x_{3} x3）
至少有n个个体： ∃ x 1 ∃ x 2 . . . ∃ x n ∃x_{1}∃x_{2}...∃x_{n} ∃x1∃x2...∃xn（ x 1 x_{1} x1 ≠ x 2 x_{2} x2 ∧ … ∧ x 1 x_{1} x1 ≠ x n x_{n} xn ∧ … x n − 1 x_{n-1} xn−1 ≠ x n x_{n} xn）
至少有n个个体是 F： ∃ x 1 ∃ x 2 . . . ∃ x n ∃x_{1}∃x_{2}...∃x_{n} ∃x1∃x2...∃xn（F（ x 1 x_{1} x1）∧ F（ x 2 x_{2} x2）∧ … F（ x n x_{n} xn）∧ x 1 x_{1} x1 ≠ x 2 x_{2} x2 ∧ … ∧ x 1 x_{1} x1 ≠ x n x_{n} xn ∧ … x n − 1 x_{n-1} xn−1 ≠ x n x_{n} xn）
二。至多有若干个个体
至多有一个个体： ∀ x 1 ∀ x 2 ∀x_{1}∀x_{2} ∀x1∀x2（ x 1 x_{1} x1 = x 1 x_{1} x1）
至多有一个个体是 F： ∀ x 1 ∀ x 2 ∀x_{1}∀x_{2} ∀x1∀x2（F（ x 1 x_{1} x1）∧ F（ x 2 x_{2} x2）→ x 1 x_{1} x1 = x 1 x_{1} x1）
至多有两个个体： ∀ x 1 ∀ x 2 ∀ x 3 ∀x_{1}∀x_{2}∀x_{3} ∀x1
最低0.47元/天 解锁文章
3110
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
