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 .[1][2]
Implications take two arguments. It returns false if and only if the first term is true and the second term is false.[2]
This may be problematic, because it means that from a false proposition, anything can follow.
The following shows a (valid) implication
On the other hand, the statement I promise that if I am healthy, I will come to class has four possibilities:
In the second scenario, the statement is false, since the promise is broken. In other scenarios, the statement is true, since the promise is kept.