[Logic] Proofs and Rules #1

preview_player
Показать описание

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. If something isn't quite clear or needs more explanation, I can easily make additional videos to satisfy your need for knowledge and understanding.
Рекомендации по теме
Комментарии
Автор

i dont think you understand the sheer amount of people you've saved with your videos. thank you thank you thank YOU so much for this amazing channel

NyaLexar
Автор

My professor is a bumbling buffoon and cannot teach this to save his life. the videos are incredibly helpful. Is Zoom meeting tutoring available?

aidendowns
Автор

Hi!

I can't express how much your videos are helping me through my first year of Computer Science. You're easily the most helpful person on YouTube, I am very happy I found your videos on Logic and Discrete Maths!!

Keep up the great work.

Much love from Sweden!

Xero

CASE-vcfm
Автор

Conditional Elimination makes way more sense. The arrow is a Conditional, If X then Y. Therfore, if you know X is true, You eliminate the conditional arrow and conclude Y. Conditional Elimination.

sweetamishbutter
Автор

Hello, just wanted to thank you for these videos. I was perplexed by the Fitch system as presented in the set text (Barwise), andfinding external, clear and basic materials about the Fitch system proved challenging. Thanks to Hurley I began to understand what deductive was about and even enjoy it, but ultimately I need to use Fitch in the exam. Thanks so much for taking the time to clearly and comprehensive explain Fitch. In part thanks to you hopefully I'll pass.

godisnotinvisible
Автор

Easily understood simple and straight to the point

dannydevke
Автор

the amount of adds youtube puts in videos is insane

bradleyweedall
Автор

8:14 Ass. is Assm. (Assumption) shortened further. On the YouTube platform it is risks breaking their ToS

Neptoid
Автор

Thanks for the practical illustration!

Recordingization
Автор

Using this rules on a set of assumptions A and concluding C is the same as saying that A entails C? If so, why? (Great lectures btw)

ms-ujqe
Автор

I wish I woud have found this a few weeks ago but still thank thank you so so much

bensu
Автор

THANK YOU You just saved my math and cs class!

chen
Автор

so a proof is basically just another formalism for proving that ((AND(set of assumptions)) --> Consequence) is a tautology, right?

demenion
Автор

thanks for your tutorial is helped me a lot understand logic

ivangeofrey
Автор

Hello where is the answer for those four questions? Cheers mate

nilnil
Автор

Great tutorial thank you so Have been searching the whole internet for guidance like this! Keep it up !!!

gingerbeardworkouts
Автор

Where are the answer for the last questions ?

sadaquekhan
Автор

Choosing a rule of inference is a blind strategy I guess am I correct 🙏🙏

ranam
Автор

so is modus ponens the same as biconditional elimination?

babute
Автор

4:20 "If you have A and B you can get A and B" call me nerd, but im dying here hahahaha

TheGodshelper