One of the most common logical inferences uses *logical implication*. For example, you know that if it rains then the grass will be wet. If you look outside and see that it rains, you do not have to look at the grass to know that it is wet. This inference is called *modus ponens*: if A implies B and A is true, then B is true. Formally, the implication can be written as:

The *modus ponens* belonging to this implication can be written as:

A commonly made mistake is to erroneously also assume the opposite: *if the grass is wet it, is raining*. This is called the converse: