Formal Logic

This course will introduce topics of Formal Logic starting with Aristotelian logic. The instructor will teach the Logical Operators, Basic Laws, Symbolizations, Invalidity Testing and Truth Tables that is required for Propositional Calculus. Topics taught under Predicate Calculus will include Quantification, Bondage and Freedom, Laws and Constraints, Translation, Relations and Sets, Theorem Proving, Invalidity Testing and Truth Table techniques. Expression of Terms and Relativization will also be taught.