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

*--Playlists--*

*--Recommended Textbooks--*

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

[sahhaf]

I finished binge watching also.. Thank you very much..

[BryanDike-vhfj]

Can we have an example with universal introduction?

[Vlad.]

yoo when continue this playlist mr. Trevtutor?

[prokopismpismpis]

Binged watched all the playlist in 2 days, lets see if i can pass a class that i never went to, tomorrow.

[crimzen]

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

[topticktom]

Can u please do a video on Residue class rings? can find a great explanation like your videos.

[ggy]

can you show examples that cannot deduce conclusion?

[aswathcp]

Can you please say which Software/App is used for creating the board.

[sanaung]

in 7:59, isn't a in the assumption Ra(line2)? @TrevTutor