Natural Deductive Logic - Universal and Existential Rules
In this video we introduce natural deductive proofs for predicate logic and cover existential introduction, existential elimination, universal introduction, and universal elimination, along with practice proofs.
0:00 [Universal Elimination and Existential Introduction]
2:30 [Universal Introduction]
5:17 [Existential Elimination]
6:54 [Proof #1]
8:50 [Proof #2]
12:01 [Proof #3]
#PredicateLogic #NaturalDeduction #PhilosophyProof
Follow along in the Logic playlist: • Logic in Philosophy an...
If you want to support the channel, hit the "JOIN" button above and pick a channel subscription that suits your needs: / @trevtutor
Patreon: bit.ly/2EUdAl3
Website: TrevTutor.com
Subscribe: bit.ly/1vWiRxW
Facebook: on. 1vWwDRc
-Playlists-
Logic: • Logic in Philosophy an...
-Recommended Textbooks-
The Logic Book: amzn.to/31h2qR8
Modal Logic for Philosophers (Garson): amzn.to/3dECGn4
A Friendly Introduction to Mathematical Logic: amzn.to/37hMYZa
An introduction to Formal Logic with Philosophical Applications: 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.
Special Thanks to the following incredible supporters for supporting the channel and making these videos possible!
- Nikita Tsyganov
Пікірлер: 16
I just finished binge watching and learning from your videos. You are awesome! I love the succinctness of your teaching style. When will you be uploading more videos on predicate logic? I'm craving more of the nitty gritty
I finished binge watching also.. Thank you very much..
Great video, crystal clear
great videos to start learning logic!
Here before the logic exam ✌️ Thanks
thanks a lot
A life saver :)
He uploaded!
Binged watched all the playlist in 2 days, lets see if i can pass a class that i never went to, tomorrow.
yoo when continue this playlist mr. Trevtutor?
Can u please do a video on Residue class rings? can find a great explanation like your videos.
can you show examples that cannot deduce conclusion?
Hello I just have a question for the last proof, is Pa not an open assumption? I thought for existential elimination it had to be true and not just assumed
Can you please say which Software/App is used for creating the board.
@dhyeyitaliya7543
Жыл бұрын
Ig its pdf annotator ..Its a paid programme!
Woo hooo