PHI 2440 - Symbolic Logic

3(3 + 0)

This course is a general introduction to formal or symbolic logic. Topics covered include all aspects of sentential or propositional logic, beginning with the rules for determining the validity of deductive arguments and continuing through to the symbolization and syntax of the first-order predicate calculus.