The propositional logic is a fundamental part of mathematical reasoning.

命題論理は数学的推論の基本的な部分です。

He gave a propositional statement.

彼は命題的な声明を発表しました。