ウィキペおたく百科事典

真か偽か確定することのできる意味ある文章の内容。
論理学の用語である。かつ、我々の一般生活でも、いろいろな意味で、誤用も含めて使われることがたまにある。

論理学あるいは哲学において、命題（めいだい、英語: proposition）は、有意な平叙文の「内容」あるいは「意味」、若しくは有意な平叙文を構成する「記号、模様、音などの並び」のいずれかを指す。いずれの意味の命題も、それが真か偽のどちらであるかという真理の担い手となることを目的とするものである。

厳密な意味での命題の存在は、「意味」の存在と同様に、疑問を投げかける哲学者もいる。また、「意味」の概念が許容される場合にあっても、その本質は何であるかということにはなお議論のあるところである。古い文献では、語の集まりあるいはその語の集まりの表す「意味」という意味で命題という術語を用いているかどうかということが、つねに十分に明らかにされているわけではなかった。現在では、論争や存在論的な含みを持つこと避けるため、ある解釈の下で（真か偽のいずれであるかという）真理の担い手となる記号列そのものについて述べるときは、命題という代わりに文 (sentence) という術語を用いる。ストローソンは「言明」("statement") という術語を用いることを提唱した。

ウィキペディア「命題」より転載

アリストテレス論理学において命題は、主題の叙述するものを肯定または否定する、特定の種類の文である。アリストテレス的命題は「全ての人間は死ぬ」「ソクラテスは人間である」というような形を取る。

数理論理学において命題（あるいは論理式 ("propositional formula", "statement forms")）は量化子を含むことのない言明であり、それはまた原子論理式と五つの論理結合子（選言、連言、否定、含意、双条件）およびグループ化記号のみから構成される整論理式の合成である。命題論理は、（内部的に無矛盾性が証明されたという意味で）完全に解決された数少ない数学の分野の一つであり、命題論理において任意の定理は真であり、任意の真なる言明が証明可能である（この事実とゲーデルの不完全性定理から、命題論理が自然数論を構成するには不十分であることを知るのは簡単である）。命題論理の拡張としてもっともよく用いられるものは、命題論理に変項と量化子を加えた、述語論理である。

・ウィキペディア日本語版管理者は、100人以上いる。
・ウィキペディア日本語版は、項目数が60万以上ある。
・ウィキペディアの創始者は、マイケル・スノーである。

・ウィキペディアの記事は、つまらない
・ああ退屈だ
・萌え〜
・ブロック破り、やめなさい

ウィキペディア「命題」