If ∼p is true, then p

If ∼p is true, then p

Explanation

The symbol ∼p means "not p".

If ∼p is true, then p must be false.