Which of the following statements is logically equivalent to, "If it is a holiday, then there is no school"?
If there is no school, then it is a holiday.
If it is not a holiday, then there is school.
If there is school, then it is not a holiday.
If it is not a holiday, then there is no school.

Question

Which of the following statements is logically equivalent to, "If it is a holiday, then there is no school"?
If there is no school, then it is a holiday.
If it is not a holiday, then there is school.
If there is school, then it is not a holiday.
If it is not a holiday, then there is no school.

anonymous · Answer

$$(P \implies Q )\iff (/ Q \implies / P)$$Not Q in this case is there is school; not P is that it is not a holiday.  This gives us

If there is school, then it is not a holiday.