命題

1. 真偽値
2. 述語（述語関数、述語記号）
3. 論理式
4. 閉じた論理式
5. 命題論理、述語論理を区別する形容詞

命題を論理文とも呼ぶ。