$Q \\implies P$

$P \\iff Q$

$\\neg Q \\implies \\neg P$

$\\neg P \\implies \\neg Q$