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⇔Q Mệnh đề P⇔Q đúng khi cả hai mệnh đề kéo theo P⇒Q và Q⇒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⇔Q là “P khi và chỉ khi Q” Mệnh đề P⇔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.
|