Video lecture of quantifiers and predicates

This lecture cover remaining topic of Proposition and their related theorem  ,translating English sentence,
boolean searches ,logic and bit  operation ,logical equivalence,predicate and Quantifier,translating
sentences into expression ,binding variables,negation etc.

Download lecture now.