Propositional Logic Proofs: Modus Tollens (MT)

This is a quick overview of the Modus Tollens (MT) rule for Propositional logic. This rule states that from both "If P then Q" and "not-Q", you can derive "not-P". In this video, I state the form of the rule, give a quasi-English example, and go through a couple examples involving MT.
Personally, I think this rule is used often when arguing with people. It is common to take someone's position and claim a consequent follows from it, then argue that the consequent is false. Example "If what you say is true, then X would be the case. But X is not the case. Therefore, what you say is not true."
__________________________________________
🔴 SUBSCRIBE to my channel for more videos: goo.gl/ukVPLo
➡️ Twitter: / davidagler
🌐 Handouts: www.davidagler.com
Channel Membership Link: / @logicphilosophy
__________________________________________
🎥 Equipment I Use & Like 🎥
► Lights - Neewer 1350W 24x24 Light: amzn.to/3tgJduo
► Microphone - Blue Yeti USB Mic: amzn.to/3vyUbN9
► Microphone Arm - Neewer Microphone Stand: amzn.to/2Rif9kI
► Camera - I use the Canon EOS M50 but don't recommend it.
Note these are US Amazon Affiliate links. I may earn a small commission from this website.
__________________________________________