Exam 1 Answers: Logic and Proof - Indiana University

After studying how to write formal proofs using rules of inference for predicate logic and quanti ed statements, we will move to informal proofs. Proving useful theorems using formal proofs would result in long and tedious proofs, where every single logical step must be provided. Proofs used for human consumption (rather than for automated ... ................
................