存在命題

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

 解説 

「〜（集合）の中に〜（条件）を満たすものが存在する。」、例えば、「黒ではないカラスが存在する」とは、存在命題である。ここでは、「カラス」という一つの集合の元全体の中に、「黒ではない」という条件をつけた場合の存在を主張している。現在ではアルビノのカラスが確認されているため、この命題は真である。

 脚注 

 関連項目 
 全称命題

Category:命題
en:existential proposition