## Truths and Propositions

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

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

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

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