# Truths and Propositions

Propositions and their truth values are two elemental ingredients of logical reasoning.

- Propositions
A logical operator joins two propositions to form a new, complex, proposition.

- Truths
A proposition is true if and only if what it says about the world is in fact the way it is.