NPTEL Video Course : Introduction to Logic

Lecture 27 - Resolution and refutation method: Examples