8.2 Predicate Logic: Using the Rules of Inference

Professor Thorsby explains how to use the rules of inference in predicate logic using the the Universal Generalization, Universal Instantiation, Existential Generalization, and Existential Instatiation rules.