Logical Inference
Channel: Andrew Misseldine
Date: 2022-09-06

In this video, we discuss valid arguments and logical inference. We demonstrate how to prove when an argument is valid and learn four famous valid arguments: Law of Detachment (Modus Ponens), Law of Contraposition (Modus Tollens), Law of Syllogism, and Disjunctive Syllogism.

This is lecture 12 (part 2/3) of the lecture series offered by Dr. Andrew Misseldine for the course Math 3120 - Transition to Advanced Mathematics at Southern Utah University. A transcript of this lecture can be found at Dr. Misseldine's website or through his Google Drive at: 
https://drive.google.com/file/d/1Ytj8Ox3M7hiLIEUu4RzkjV4eqFg03_Y_/view

This lecture is based upon Sections 3.4 and 2.11 of Book of Proof (https://www.people.vcu.edu/~rhammack/BookOfProof/) by Richard Hammack, from the corresponding sections of A Transition to Advanced Mathematics (https://math.byu.edu/~doud/Transition/) by Darrin Doud and Pace P. Nielsen, and from Dr. Misseldine's own notes. Please post any questions you might have below in the comment field and Dr. Misseldine (or other commenters) can answer them for you. Please also subscribe for further updates.