\(P \Leftrightarrow Q\) означает, что истинны ОБА следования сразу: \(P \Rightarrow Q\) и \(Q \Rightarrow P\). Если истинно только одно направление, знак равносильности ставить нельзя — только одну стрелку.