Propositional Logic Proofs: Implication (IMP)
This is a quick overview of the Implication (IMP) rule for Propositional logic. This rule states that from "if P then Q", you can derive "not-P or Q" and vice versa. The rule is a replacement or equivalence rule for some systems of logic (e.g. an Intelim system). In this video, I state the form of the rule, give a quasi-English example, provide a truth table showing that the two formulas are equivalent, and then go through a couple examples involving IMP.
Personally, I don't know how useful the rule is everyday argumentation. I don't think that I've ever heard someone reason "if P then Q" therefore "not-P or Q". So, if you have an example where someone does reason in this way, I'd love to hear it!
__________________________________________
🔴 SUBSCRIBE to my channel for more videos: https://goo.gl/ukVPLo
➡️ Twitter: / davidagler
🌐 Handouts: http://www.davidagler.com
Channel Membership Link: / @logicphilosophy
__________________________________________
🎥 Equipment I Use & Like 🎥
► Lights - Neewer 1350W 24x24 Light: https://amzn.to/3tgJduo
► Microphone - Blue Yeti USB Mic: https://amzn.to/3vyUbN9
► Microphone Arm - Neewer Microphone Stand: https://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.
__________________________________________
On this page of the site you can watch the video online Propositional Logic Proofs: Implication (IMP) with a duration of hours minute second in good quality, which was uploaded by the user Logic & Philosophy 18 October 2021, share the link with friends and acquaintances, this video has already been watched 3,595 times on youtube and it was liked by 18 viewers. Enjoy your viewing!
