命題

Proposition

客観的に(誰であっても同じ)真(それが正しい)か偽(それが間違っている)かを判断できる論理式(または文章)

「PならばQである」のPとQが命題で、「PならばQである」も命題。

「PならばQである」という命題は、記号では以下のように書く。

$ P \implies Q