Learning Objectives

To achieve a deeper understanding of the structure of English statements (and arguments) involving predicates and quantifiers.

To gain facility in symbolizing English statements involving predicates and quantifiers.

To be able to apply the Finite Universe Method to demonstrate the invalidity of arguments.

To be able to demonstrate the validity of arguments within predicate logic by constructing proofs.

To gain facility in symbolizing English statements involving relations, including the relation of identity.

To be able to construct proofs in order to demonstrate the validity of arguments within the logic of relations and the logic of identity.