English Dictionary

In propositional logic, each propositional variable represents a simple statement that can be either true or false.

命題論理では、それぞれの命題変数は真または偽のいずれかとなる単純な命題を表します。