MỆNH ĐỀ KÉO THEO CHO HAI MỆNH ĐỀ P VÀ Q. • MỆNH ĐỀ "NẾU P THÌ Q...

3. Mệnh đề kéo theo

Cho hai mệnh đề P và Q.

• Mệnh đề "Nếu P thì Q" được gọi là mệnh đề kéo theo và kí hiệu là P

⇒

Q.

• Mệnh đề P

⇒

Q chỉ sai khi P đúng và Q sai.

Chú ý: Các định lí toán học thường có dạng P

⇒

_Q.

Khi đó: – P là giả thiết, Q là kết luận;

– P là điều kiện đủ để có Q;

– Q là điều kiện cần để có P.