$Q \\implies P$

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

$P \\land \\neg Q$

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