In this course, you will :
- Translate English sentences into propositional logic and predicate logic.
- Build truth tables based off of logical formulas.
- Use logic laws and truth tables to determine when two formulas are equivalent.
- Negate quantified formulas.
- Understand the relationship between conditionals, converses, inverses, and contrapositives.
- Use rules of inference to deduce a logical outcome given a set of premises.