NPTEL Video Course : Introduction to Logic

Lecture 39 - Formation Trees for wff’s in predicate Logic