This covers definitions of logical consequence and theories in propositional logic. We follow chapter 2 of Moti Ben Ari's textbook, Mathematical Logic for Computer Science.
Hi Michael, great explanation of the concept! I have a question which I think you could help me with. Could you give me your email id so I can reach out to you?
This is LITERALLY, BY FAR, the clearest explanatory video on this!
It literally just clicked in seconds.
Thanks!
same with me
Great video. Spent nearly thirty minutes trying to grasp theorem 2.50 by reading the text and you explained it perfectly in a few minutes. Thanks!
You have no idea how much this video helped me
Excellent video. Covering both the formal definitions and the intuitions
Damnnnnnnnn! I just had to comment twice.
I came here looking for copper, instead, I found gold!
Thank you!
thank you for this 🙏🙏
Thank you sooo much :)
Thank you :)
why it cannot be in human language before it gets all theorem language
Hi Michael, great explanation of the concept! I have a question which I think you could help me with. Could you give me your email id so I can reach out to you?