MỆNH ĐỀ-TẬP HỢP  §1. MỆNH ĐỀ VÀ MỆNH ĐỀ CHỨA BIẾN

3. Mệnh đề kéo theo

+Cho hai mệnh đề P và Q. Mệnh đề “Nếu P thì Q” được là mệnh đề kéo theo

+Kí hiệu là P  Q.

+ Mệnh đề kéo theo chỉ sai khi P đúng Q sai.

* PQ cịn được phát biểu là “P kéo theo Q”,

“P suy ra Q” hay “Vì P nên Q”

Ví dụ: Cho tứ giác ABCD. Xét hai mệnh đề

P : “ Tứ giác ABCD là một hình chữ nhật “

Q : “ Tứ giác ABCD là một hình bình hành “

PQ: “ Nếu tứ giác ABCD là hình chữ nhật thì tứ giác ABCD là hình bình hành “.

QP “ Nếu tứ giác ABCD là hình bình hành thì tứ giác ABCD là hình chữ nhật “.

* Trong tốn học, định lí là một mệnh đề đúng, thường cĩ dạng : P  Q

P gọi là giả thiết, Q gọi là kết luận. Hoặc

P(x) là điều kiện đủ để cĩ Q(x)

Q(x) là điều kiện cần để cĩ P(x)

Hoặc điều kiện đủ để cĩ Q(x) là P(x)

điều kiện cần để cĩ P(x) là Q(x)