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 (#44): Proof Practice #2, Proof By Contradiction Edition

10.5K views on YouTube

William Spaniel 50 tutorials here

Logic 101

In this practice problem, we encounter what appears to be a modus ponens target. But when that fails, we switch to proof by contradiction, modus tollens, and a steady stream of DeMorgan Law in the hope it will take us to the promise land.