NPTEL Video Course : Introduction to Logic

Lecture 38 - Truth, satisfiability, validity in Predicate Logic