整数の問題

定義

1. Even(n) :⇔ ∃p.(n = 2p)
2. Odd1(n) :⇔ ¬Even(n)
3. Odd2(n) :⇔ ∃p.(n = 2p + 1)
4. Odd3(n) :⇔ ∃p.(n = 2p - 1)
5. Odd4(n) :⇔ n%2 = 1

問題

• Odd1, Odd2, Odd3, Odd4は同値であることを示せ。