Summary

In the first section of this topic we have learned how to prove equivalences of compound propositions using truth tables and basic rules of logic. In the second section we have studied quantifiers, negation of quantifiers, and nested quantifiers. We round off in the third section by studying the validity of arguments using rules of inferences