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.
__________________________________________
En esta página del sitio puede ver el video en línea Propositional Logic Proofs: Implication (IMP) de Duración hora minuto segunda en buena calidad , que subió el usuario Logic & Philosophy 18 octubre 2021, comparta el enlace con amigos y conocidos, en youtube este video ya ha sido visto 3,595 veces y le gustó 18 a los espectadores. Disfruta viendo!
