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 formula_1, the assertion that ""Q" is a logical consequence "P"" is often written as formula_2.