Skip to content

PRO TIP Block youtube.com at the DNS level — Pi-hole, NextDNS or your hosts file — but allow youtube-nocookie.com and i.ytimg.com. These tutorials keep playing; the rabbit hole does not.

Learning without distractions

Logic 101 (#17): Material Implication

42.4K views on YouTube

Logic 101

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.)