存在命題

デジタル大辞泉

そんざい‐めいだい【存在命題】

読み方：そんざいめいだい

「…は存在する」「…がある」という形の命題。

ウィキペディア

存在命題

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/07/24 10:43 UTC 版)

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "存在命題" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2023年7月）

この項目の現在の内容は百科事典というよりは辞書に適しています。百科事典的な記事に加筆・修正するか、姉妹プロジェクトのウィクショナリーへの移動を検討してください（ウィクショナリーへの移動方法）。（2023年7月）

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

解説

この節は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "存在命題" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2023年7月）

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

脚注

1. ^ 存在命題の意味論的分析

関連項目

• 全称命題