NPTEL Video Course : NOC:Symbolic Logic

Lecture 23 - How to Apply the Rules of Inference in a Proof