SI202: Week 1

But considering the contrapositive, this is the same as p q (i.e., if p then q). So, to summarize again, the following are all equivalent: if p then q. if p, q. q if p. q whenever p. p implies q . p q. if not q then not p ~ q ~ p. p only if q. p is a sufficient condition for q. q is a necessary condition for p. 16. Review . … ................
................