TRUTH TREES for QUANTIFIERS in Predicate Logic

[@BryanDike-vh2fj]

Amazing! Would you consider making videos on substitutions and resolutions and SLD Derivation and refutation?

[@philosophyversuslogic]

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?

[@abigailtaylor4114]

you are so amazing, thank you for the content!!!!!!!!!!

[@Pl0x37]

this video couldnt have come faster! have my predicate logic assignment due

[@riceyrice]

what software do you use to write on these slides? thanks for putting up these excellent videos for free on the internet!

[@Trevtutor]

I use a paid program called PDF Annotator. It’s super convenient!

[@varunbhoj3859]

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]

In this, the commas just separate the different assumptions in the problem.

[@varunbhoj3859]

@@henryb3066 thanks you for the clarification

[@hermanolsson5465]

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)

[@rifayudi71]

Decomposition is for negation,. This is not decomposition..

[@janezperme9770]

Ass of the problem 😂😂😂😂😂😂🤣🤣