Natural Deductive Proofs - TrevTutor's Propositional Logic Workbook

Опубликовано: 11 Февраль 2025
на канале: TrevTutor

1,502

Buy the Workbook at https://trevtutor.com

We do Q9 from Section 2.2 of TrevTutor's Discrete Math: Propositional Logic Workbook. It's a few questions about natural deductive proofs that use or elimination and conditional introduction.

Join this channel to get access to perks:
/ @trevtutor

Instagram: / trevtutorofficial
Website: http://TrevTutor.com
Subscribe: http://bit.ly/1vWiRxW

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.

00:00 Introduction
00:28 Question 9a
04:10 Question 9b
07:02 Question 9c