Обратное к \(P \Rightarrow Q\) — это \(Q \Rightarrow P\): условие и заключение меняются местами. Истинность исходного следования НЕ гарантирует истинность обратного — его нужно проверять отдельно.