CS 1502 Formal Methods in Computer Science Lecture Notes 13 Equivalences, Arguments, and Proofs involving Quantifiers Propositional Logic Tautology Tautological Consequence…