Implication (logic)
Implication (also known as logical consequence, implies, or  If ... then) is a logical operation. It is the relationship between statements that holds true when one logically "follows from" one or more others. While a statement of the form "if P then Q" is often written as , the assertion that "Q is a logical consequence P" is often written as .