A.2 Logic and Formal Reasoning
Checkpoint 1 of 4
formalism
Translate twenty natural-language arguments into predicate logic and test them with truth tables or natural deduction, using the forall x exercise sets and checking your answers against the solutions.