NPTEL Video Course : NOC:Discrete Mathematics (IIITB)

Lecture 9 - Rules of Inferences in Predicate Logic