偶数

股関節おじさんの勉強部屋

自然数の偶数が無限に在ることの証明の雰囲気

数学的帰納法の雰囲気を味わいますり 自然数の乗法すべての自然数 a に対して a × 0 = 0すべての自然数 a, b に対して a × suc(b) = (a × b) + a自然数の加法すべての自然数 a に対して a × 0 = 0...
股関節おじさんの勉強部屋

偶数と奇数の述語論理の表現

なんとなくで述語論理の論理式を作ってみます。偶数と奇数を述語論理で表現してみます。我流なので悪しからず。 述語論理の練習 偶数 ∀k∈Ν∃x∈Ν(2k=x)任意の自然数kに対するある自然数xが存在する、それは2k=xを満たすような関係である...