Natural Deductive Logic RULES 1 R ampE ampI MP CP

>> YOUR LINK HERE: ___ http://youtube.com/watch?v=EVJysZEuKZQ

In this video we introduce natural deductive proofs and our first set of rules of inference: Reiteration, conjunction elimination, conjunction introduction, modus ponens (conditional elimination), and conditional proof (conditional introduction). • 0:00 [Proofs in Propositional Logic] • 1:51 [Rule: Reiteration] • 3:13 [Rule: Conjunction Introduction] • 4:05 [Rule: Conjunction Elimination] • 5:17 [Rule: Modus Ponens (Conditional Elimination)] • 6:20 [Rule: Conditional Proof (Conditional Introduction)] • 10:06 [Example Proof #1] • 12:51 [Example Proof #2] • 17:30 [Example Proof #3] • 20:26 [Questions for Next Video] • Follow along in the Logic playlist: • Philosophical Logic (2024) Lectures • 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 (2024) Lectures • -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. If you have any questions, leave them below. I try to answer as many questions as possible.

#############################

New on site