In logic, propositions are statements that can be said to be either true or false. When a proposition is false, we say that its truth value is false. When the proposition is true, we say that its truth value is true. Propositions are the building blocks of arguments. This is because the fact that they can be proven true or false means that they provide a reliable basis upon which we can build more advanced knowledge.
