NPTEL Video Course : Logic for CS

Lecture 2 - Propositional Logic Syntax