NPTEL Video Course : Logic for CS

Lecture 3 - Semantics of Propositional Logic