Natural Deductive Logic: RULES #2 (vI, vE, DN, RAA)

In this video on #Logic, we learn four more rules for natural deductive proofs. We learn disjunction introduction, disjunction elimination, double negation, and reductio ad absurdum (negation introductions, or proof by contradiction). Then we do two example proofs.

#PropositionalLogic #LogicProofs

0:00 [Rule: Disjunction Introduction]
1:38 [Rule: Double Negation]
2:07 [Rule: Disjunction Elimination]
4:05 [Rule: Reductio Ad Absurdum (Negation Introduction)]
6:16 [Example #1]
9:48 [Example #2]
12:58 [Example #3]
17:35 [Extra Practice Questions]

If you want to support the channel, hit the "JOIN" button above and pick a channel subscription that suits your needs:    / @trevtutor  

Patreon: http://bit.ly/2EUdAl3
Website: http://TrevTutor.com
Subscribe: http://bit.ly/1vWiRxW
Facebook: http://on.fb.me/1vWwDRc

-Playlists-
Logic:    • Philosophical Logic  

-Recommended Textbooks-
The Logic Book: https://amzn.to/31h2qR8
Modal Logic for Philosophers (Garson): https://amzn.to/3dECGn4
A Friendly Introduction to Mathematical Logic: https://amzn.to/37hMYZa
An introduction to Formal Logic with Philosophical Applications: https://amzn.to/3j3J9sx

Hello, welcome to TheTrevTutor. I'm here to help you learn your college courses in an easy, efficient manner. If you like what you see, feel free to subscribe and follow me for updates