Predicate Logic and Quantifies Sections 1.3 and 1.4 of Rosen Spring 2011 CSCE 235 Introduction to Discrete Structures Course web-page: cse.unl.edu/~cse235.
