そんざい‐めいだい【存在命題】 (existential proposition)一般に、「…は存在する」「…がある」という形の命題。「ＳはＰである」のような述定命題と区別して用いられる。現代論理学では、存在量記号（∃）を用いて、（∃x）Fxと表記される。 ⇒そん‐ざい【存在】