Material Implication

Material implication is a replacement rule allowing us to swap the implication P => Q with the disjunction ~P v Q. Consequently, implications are disjunctions in another form.

For example, the statements “If I am hungry, then I eat” and “I am not hungry or I eat” are logically equivalent.

Back to Logic 101