>>745
命題って

http://dictionary.goo.ne.jp/leaf/jn2/216735/m0u/%E5%91%BD%E9%A1%8C/
数学で、真偽の判断の対象となる文章または式。定理または問題。

っていうような理解でいいですか？