Định nghĩa.
Nếu \(A ⇒B\) là một mệnh đề đúng và mệnh đề \(B ⇒A\) cũng là mệnh đề đúng thì ta nói \(A\) tương đương với \(B\), kí hiệu là \(A ⇔B\)
Khi \(A ⇔B\), ta cũng nói \(A\) là điều kiện cần và đủ để có \(B\) hoặc \(A\) khi và chỉ khi \(B\) hay \(A\) nếu và chỉ nếu \(B\).