NPTEL Video Course : NOC:Set Theory and Mathematical Logic

Lecture 43 - Predicate Logic: Standard Logical Equivalences, Normal Forms, and Definable Sets