Propositional Logic

Logical implication P \implies Q doesn't mean P causes Q. It just means the state of P=True and Q=False is forbidden.

Institutional Reference: Discrete Mathematics