PHIL 2100 Logic

Covers formal techniques in the logic of propositions and predicate logic. Three kinds of deductive derivations-direct derivation, conditional proof and indirect derivation-are considered as are shorter tests of validity and consistency. Recommended for debaters, lawyers, public speakers and computer science majors. Prerequisite(s): PHIL 1100 OR PHIL 1120 OR PHIL 1500 OR PHIL 2200 OR PHIL 2320
Credits: 3.0