暇つぶしに見て 自然数の偶数が無限に在ることの証明の雰囲気 数学的帰納法の雰囲気を味わいますり 自然数の乗法すべての自然数 a に対して a × 0 = 0すべての自然数 a, b に対して a × suc(b) = (a × b) + a自然数の加法すべての自然数 a に対して a × 0 = 0... 2023.11.22 暇つぶしに見て
暇つぶしに見て 偶数と奇数の述語論理の表現 なんとなくで述語論理の論理式を作ってみます。偶数と奇数を述語論理で表現してみます。我流なので悪しからず。 述語論理の練習 偶数 ∀k∈Ν∃x∈Ν(2k=x)任意の自然数kに対するある自然数xが存在する、それは2k=xを満たすような関係である... 2023.08.19 暇つぶしに見て