Implications

Often referred to as a conditional statement.

• If \(P\), then \(Q\).
• \(P\) implies \(Q\).
• \(P \Rightarrow Q\)

Idea: A true statement cannot imply a false statement.