命題の4つの型
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/12/13 05:55 UTC 版)
三段論法を構成する各命題は、「全称 - 特称」「肯定 - 否定」の区別の組み合わせによって、A、E、I、Oの4つの「型」に分類される。 記号意味量子化表現命題の例A 全称肯定判断 ∀ {\displaystyle \forall } 全ての人間は生物である E 全称否定判断 ∀ ¬ = ¬ ∃ {\displaystyle \forall \lnot =\lnot \exists } 全ての人間は不死ではない I 特称肯定判断 ∃ {\displaystyle \exists } ある人間は学生である O 特称否定判断 ∃ ¬ = ¬ ∀ {\displaystyle \exists \lnot =\lnot \forall } ある人間は学生ではない なお、このAとIはラテン語の「affirmo」（肯定）、EとOはラテン語の「nego」（否定）から採られた記号である。
※この「命題の4つの型」の解説は、「三段論法」の解説の一部です。
「命題の4つの型」を含む「三段論法」の記事については、「三段論法」の概要を参照ください。
ウィキペディア小見出し辞書の「命題の4つの型」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ。
このページでは「ウィキペディア小見出し辞書」から命題の4つの型を検索した結果を表示しています。
Weblioに収録されているすべての辞書から命題の4つの型を検索する場合は、下記のリンクをクリックしてください。
全ての辞書から命題の4つの型を検索
Weblioに収録されているすべての辞書から命題の4つの型を検索する場合は、下記のリンクをクリックしてください。
全ての辞書から命題の4つの型を検索 - 命題の4つの型のページへのリンク
