If P ⟹ QP \implies QP⟹Q is True, what can be concluded about the inverse ¬P ⟹ ¬Q\neg P \implies \neg Q¬P⟹¬Q?
It must be True
It must be False
It is not necessarily True
It is logically equivalent to the original