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?
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)
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
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?
this video couldnt have come faster! have my predicate logic assignment due
Amazing! Would you consider making videos on substitutions and resolutions and SLD Derivation and refutation?
you are so amazing, thank you for the content!!!!!!!!!!
what software do you use to write on these slides? thanks for putting up these excellent videos for free on the internet!
I use a paid program called PDF Annotator. It’s super convenient!
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)
Decomposition is for negation,. This is not decomposition..
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
In this, the commas just separate the different assumptions in the problem.
@@henryb3066 thanks you for the clarification
Ass of the problem 😂😂😂😂😂😂🤣🤣