Question

If p → q is true, then ~ p → ~ q is __________ true.

Answer 1

The way I think of logic statements is I see the "~" as a negative sign (because it essentially is). If we know that, then we can now relate the pq statement with algebra. If a = b, then does -a = -b? It does, so this statement is true.