Report - Lecture 1.2: Equivalences, and Predicate Logic · •2 8/27/2015 Lecture 1.2 - Equivalence, and Predicate Logic 3 Outline Equivalences (contd.) Predicate Logic (Predicates and Quantifiers)

Please pass captcha verification before submit form