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