A proposition is a statement of logic
Propositions can be true or false
In logic, a → b means that if we know (or assume) a, then we can prove b