Logic
Let p and q represent the following simple statements.
p: This is a crocodile
q: This is a reptile
Write the following compound statement in symbolic form.
If this is not a crocodile, then this is not a reptile.

The *incorrect* answer I put in was ~p ---> ~q.
If anyone could help me understand this better I would really appreciate it. Thanks