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

暇つぶしに見て

なんとなくで述語論理の論理式を作ってみます。偶数と奇数を述語論理で表現してみます。我流なので悪しからず。

スポンサーリンク

述語論理の練習

偶数

∀k∈Ν∃x∈Ν(2k=x)

任意の自然数kに対するある自然数xが存在する、それは2k=xを満たすような関係である

任意に例えばこの場合は1を選んだとします。
この場合の2×1を満たすような自然数は2です。
任意の自然数を2とした場合の2×2を満たす4が存在します。この論理式が表す数、それが偶数です。

奇数

∀k∈Ν∃x∈Ν(2k-1=x)

任意の自然数kに対するある自然数xが存在する、それは2k-1=xを満たすような関係である

奇数の場合も偶数と同じです。です。

長濱陸Tシャツ

お求めはこちらから

お問い合わせはこちら

パーソナルトレーニングやグループトレーニング、セミナーや取材、YouTubeコラボなどのご依頼はこちらからよろしくお願いします。

トレーニングの依頼などはこちらから

スポンサーリンク
Die Hard – ダイ・ハード
この記事を書いた人

第41第東洋太平洋(OPBF)ウェルター級王者
元WBC世界同級34位
元WBO-AP同級3位
元角海老宝石ジム所属

股関節おじさんをフォローする
スポンサーリンク
スポンサーリンク
股関節おじさんをフォローする

コメント

タイトルとURLをコピーしました