存在命題
存在命題(そんざいめいだい, 英:existential proposition)とは、一つの集合の中に、条件をつけたものがその集合の中に存在するかを主張する命題である。