ろんりきごう【論理記号】 記号論理学で，命題を合成する論理概念を表す記号。〜（否定），∧（連言），∨（選言），〕（含意），∀（普遍量記号），∃（存在量記号）など。