Mệnh đề tương đương Cho hai mệnh đề $P$ và $Q$. Mệnh đề có dạng “$P$ nếu và chỉ nếu $Q$” được gọi là mệnh đề tương đương và ký hiệu là $P \Leftrightarrow Q$ Mệnh đề $P \Leftrightarrow Q$ đúng khi cả hai mệnh đề kéo theo $P \Rightarrow Q$ và $Q \Rightarrow P$ đều đúng và sai trong các trường hợp còn lại Đôi khi người ta còn phát biểu mệnh đề $P \Leftrightarrow Q$ là “$P$ khi và chỉ khi $Q$” Mệnh đề $P \Leftrightarrow Q$ đúng nếu cả hai mệnh đề $P$ và $Q$ cùng đúng hoặc cùng sai. Khi đó, ta nói rằng hai mệnh đề $P$ và $Q$ tương đương với nhau.
|