Logic 101 (#17): Material Implication
42.4K views on YouTube
Material implication is a replacement rule in logic that allows us to swap the implication p (arrow) 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.
(Sorry about the lack of arrow–YouTube apparently prohibits the greater than sign from video descriptions.)