Sometimes. p ⇒ q is true if both p and q are true, or whenever p is false.
Always. ¬ p ⇒ ¬q is true if ¬p and ¬q are both true (which means p and q are both false), or whenever ¬p is false (p is true).
3.6m questions
4.6m answers