存在命題
(existential proposition から転送)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/07/24 10:43 UTC 版)
|
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。（2023年7月）
|
|
この項目の現在の内容は百科事典というよりは辞書に適しています。
|
存在命題（そんざいめいだい[1], 英:existential proposition）とは、一つの集合の中に、条件をつけたものがその集合の中に存在するかを主張する命題である。
解説
|
この節は検証可能な参考文献や出典が全く示されていないか、不十分です。（2023年7月）
|
「〜（集合）の中に〜（条件）を満たすものが存在する。」、例えば、「黒ではないカラスが存在する」とは、存在命題である。ここでは、「カラス」という一つの集合の元全体の中に、「黒ではない」という条件をつけた場合の存在を主張している。現在ではアルビノのカラスが確認されているため、この命題は真である。
脚注
関連項目
- existential propositionのページへのリンク
