上述のように命題とは真か偽かがはっきり定まる形式をもつ文(断言する文)のことを言うが、数学書において「命題」と見出しをつけて書かれている命題は、公理と定義を元にして定理の体系を作り上げていく過程で必要とされる「真の命題」を指し、そのなかでとくに重要なものが定理と呼ばれ、「定理」と見出しが付けられる[22]。数学書で「定理」「命題」「補題」「系」と見出しを付けて書かれた文は、正しいことが証明された(あるいはその数学書でこれから正しいことが証明される)命題である。
脚注[脚注の使い方]
注釈^ たとえば「雨が降っている」はこのままでは真偽の判断を下せないので命題ではない。場所や時間を特定すれば真偽が判断できるので命題になる ⇒[1][リンク切れ]
^ 説文解字注によれば「命」とは口と令により成り立ち、口も令も発号することであり、「使」すなわち令ないし従と同じ意味とある。「使命」は与えられた発号、あるいはその発号に従うこと。
^ 偽の命題(真理値が偽の命題)
^ 真の命題(真理値が真の命題)
出典^ 小学館デジタル大辞泉「命題
典拠管理データベース: 国立図書館
ドイツ
⇒イスラエル
アメリカ