存在記号

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

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

述語論理の全称記号と存在記号

命題論理は一通り終わったので、発展形の述語論理へ進みます。ここから数学っぽくなります。全称記号と存在記号定義全称記号（ぜんしょうきごう、universal quantifier）とは、数理論理学において「全ての」（全称量化）を表す記号である...