Mệnh đề đảo là gì?
Một mệnh đề kéo theo có dạng P ⇒ Q (đọc là "nếu P thì Q"), trong đó P là giả thiết còn Q là kết luận. Mệnh đề đảo của nó là Q ⇒ P: ta chỉ việc đổi chỗ giả thiết và kết luận cho nhau. Điều quan trọng: một mệnh đề đúng thì mệnh đề đảo của nó chưa chắc đúng.
Các bước
- Xác định P và Q trong mệnh đề gốc P ⇒ Q.
- Lập mệnh đề đảo bằng cách đổi chỗ: Q ⇒ P.
- Xét tính đúng sai của cả P ⇒ Q và Q ⇒ P.
- Kết luận: nếu cả hai đúng thì P ⇔ Q (điều kiện cần và đủ).
Điều kiện cần, điều kiện đủ
Khi P ⇒ Q đúng: P là điều kiện đủ để có Q, còn Q là điều kiện cần để có P. Khi P ⇔ Q (cả P ⇒ Q và Q ⇒ P cùng đúng), P là điều kiện cần và đủ của Q. Bảng chân trị của P ⇔ Q chỉ đúng khi P và Q cùng đúng hoặc cùng sai.
Ví dụ hình học
Xét P: "Tứ giác là hình vuông", Q: "Tứ giác là hình chữ nhật". Ở đây P ⇒ Q đúng (mọi hình vuông đều là hình chữ nhật) nhưng Q ⇒ P sai, nên hai mệnh đề không tương đương. Ngược lại, "Tam giác cân" ⇔ "Tam giác có hai góc bằng nhau" là hai mệnh đề tương đương: đây là điều kiện cần và đủ.
Vì sao cần hiểu điều này?
Phân biệt đảo và tương đương giúp bạn:
- 🧭 Không nhầm "nếu... thì..." với "khi và chỉ khi...".
- 📐 Chứng minh định lí thuận và định lí đảo tách bạch.
- 🧠 Dùng đúng chữ "điều kiện cần", "điều kiện đủ" trong lập luận.
- ✅ Kiểm tra một tính chất có phải dấu hiệu nhận biết hay không.