Objective
Define key logical concepts such as consistency, validity, soundness, etc.
Objective
Translate statements and arguments in English into symbolic logic and vice versa
Objective
Determine the truth value of formulas using the method of truth tables
Objective
Apply rules of inference to construct formal proofs in different systems of symbolic logic