HW 3 Greatest Hits
- Don't skip induction hypothesis and base case in proofs. (You're setting yourself up for problems like the ones encountered in the all-horses-have-the same color example)
Associativity only holds as long as all the operators (\land, \lor) are the same.
This is CORRECT: (a\land b) \land c\equiv a\land(b \land c)
Also CORRECT: (a\lor b) \lor c\equiv a\lor(b \lor c)
NOT correct: (a \lor b) \land c not equiv to a \lor (b \land c). (Counterexample: a = true, b = false, c = false)