NPTEL Video Course : Introduction to Logic

Lecture 19 - Semantic Tableaux Method for Propositional Logic