An Etymological Dictionary of Astronomy and Astrophysics

A branch of logic that deals with the → truth values of logical statements (→ sentences, → propositions) and uses → logical connectives to build more complex → expressions. The distinctive feature of propositional logic is that it does not deal with logical relationships and properties that involve the parts of a statement smaller than the simple statements making it up. The propositions are evaluated as → true or → false. A more expressive system is provided by the → first-order logic.

See also: → proposition; → -al; → logic.