Alex V. answered • 06/28/19

PhD Student in Mathematical Logic

You're right, implication is an "if then" statement. "P implies Q" can be read "If P is true, then Q is true". In classical logic, this is equivalent to "Q or Not P" -- in particular, "P implies Q" is true if either Q is true or P is false, and "P implies Q" is false exactly when (simultaneously) P is true and Q is false.