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

そんざい-めいだい [5] 【存在命題】 「…がある」「…が存在する」と，何かの存在を主張する形の命題。何かについて，何かを述べる形の命題と区別される。