belief:命題の例

1. 奇数とは、2で割って1余る数
2. 偶数とは、2で割り切れる数
3. 奇数とは、偶数でない数
4. 偶数とは、2n と書ける数
5. 奇数とは、2n + 1 と書ける数
6. 奇数とは、2n - 1 と書ける数

「とは、」の前も文になる。文には主語が必要。主語は、日本語なら「は」「が」の前に置かれる。「とは、」を':⇔'で示す。

• 奇数とは、2で割って1余る数
• nは奇数 :⇔ n%2 = 1
• n∈N, (Odd(n) :⇔ n%2 = 1)
• Odd(n:N) :⇔ n%2 = 1

存在命題

1. ∀a. ∃x. a + x = 0
2. ∀a. ∃x. a + x = b
3. ∀a, b. ∃x, y. (b = xa + y ∧ 0≦ y ＜a)
4. ∀a, b. ∃x. xa = b

変域はN, Z, Q, R で動かす。