Description:
An introduction to the methods and applications of 1st-order symbolic logic, including both sentential logic and predicate logic (up to and including relational predicate logic with identity). Logic is the study of arguments~ in particular, the study of the conditions under which the premises of an argument adequately support its conclusion; i.e., the conditions under which an argument is valid. There is more than one flavor of validity; the kind of validity courses are concerned with is called deductive validity. Course covers methods of testing arguments for deductive validity and deductive invalidity, as well as methods for identifying tautologies, contradictions and logical equivalence.
