Lecture 2 (College Algebra)

An implication α → β is called "vacuously true" when:

1. A.Both the antecedent and the conclusion happen to be true.
2. B.The antecedent cannot be satisfied, that is, α is false.
3. C.The conclusion β is true no matter what α is.
4. D.The antecedent is true while the conclusion is false.