NPTEL Video Course : Introduction to Logic

Lecture 41 - Semantic Tableaux method: Satisfiability, Validity