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.