TRUTH TREES for QUANTIFIERS in Predicate Logic - Logic
In this video on Logic, we start truth trees. We learn how to do negated universal decomposition, negated existential decomposition, universal elimination, and existential elimination. We then do three practice truth trees.
0:00 - [Negated Decompositions]
2:22 - [Universal Elimination]
4:11 - [Existential Elimination]
5:40 - [Tree #1]
9:45 - [Tree #2]
14:34- [Tree #3]
#PredicateLogic #TruthTrees #LogicTrees
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.
Special Thanks to the following incredible supporters for supporting the channel and making these videos possible!
- Nikita Tsyganov
Пікірлер: 10
I do appreciate your honorable work! Your lec-tours are similar to marvollous adventures that a brave person might have during his life. May I ask you, do you have any video about "sense"&"meaning" or "intensioan&extensional" contexts?
you are so amazing, thank you for the content!!!!!!!!!!
this video couldnt have come faster! have my predicate logic assignment due
At 8:00-ish you use the conditional elimination rule(->E) on line 1, however isn't it the conditional decomposition rule you're using on line 1(->D)? (therefor the branching on line 4)
what software do you use to write on these slides? thanks for putting up these excellent videos for free on the internet!
@Trevtutor
2 жыл бұрын
I use a paid program called PDF Annotator. It’s super convenient!
Great video for learning predicate logic, I had a small doubt though, here there are commas between wff, are they a representation of AND symbol. Thank you
@henryb3066
2 жыл бұрын
In this, the commas just separate the different assumptions in the problem.
@varunbhoj3859
2 жыл бұрын
@@henryb3066 thanks you for the clarification
Ass of the problem 😂😂😂😂😂😂🤣🤣