ROB 501 Sample Midterm Questions 1. (Questions on logic and proof methods) Recall that ∧ is ‘and’, ∨ is ‘or’, and ¬ is ‘not’. Recall also that the symbol ⇔ and the written text, “if, and only if”, “logically equivalent to”, and “have the same truth table”, all mean the same thing. For example, in HW, you verified that ¬(p ∧ q) is “logically equivalent to” […]




