$P \Leftrightarrow Q$: "Tam giác $ABC$ cân tương đương tam giác $ABC$ có hai đường cao bằng nhau".
$P \Leftrightarrow Q$: "Tam giác $ABC$ cân là điều kiện cần và đủ để có tam giác $ABC$ có hai đường cao bằng nhau".
$P \Leftrightarrow Q$: "Tam giác $ABC$ cân khi và chỉ khi tam giác $ABC$ có hai đường cao bằng nhau".
$P \Leftrightarrow Q$: "Tam giác $ABC$ cân nếu và chỉ nếu tam giác $ABC$ có hai đường cao bằng nhau".