Material Equivalence
editThere is an error on material equivalence, both conditions are necessary to make p equivalent to q:
- image: (p is equiv. to q) means, either (if p is true then q is true) or (if q is true then p is true)
- correct: (p is equiv. to q) means, (if p is true then q is true) and (if q is true then p is true)