Mệnh đề kéo theo là gì? Ví dụ mệnh đề kéo theo và bài tập chi tiết

Mệnh đề kéo theo là một trong những khái niệm nền tảng quan trọng nhất trong Logic Toán học và chương trình Toán lớp 10, được sử dụng rộng rãi trong chứng minh toán học và lập luận khoa học. Mệnh đề kéo theo “P ⇒ Q” (đọc là “P kéo theo Q” hoặc “nếu P thì Q”) là mệnh đề chỉ sai khi P đúng và Q sai, trong tất cả các trường hợp còn lại đều đúng. Bài viết dưới đây sẽ giúp bạn hiểu rõ định nghĩa, tính chất và cách áp dụng mệnh đề kéo theo.

1. Mệnh đề là gì?

Trước khi tìm hiểu về mệnh đề kéo theo, cần nắm vững khái niệm mệnh đề:

1.1. Định nghĩa mệnh đề

Mệnh đề là một câu khẳng định có thể xác định được tính đúng hoặc sai (nhưng không thể vừa đúng vừa sai).

• Mệnh đề đúng có chân trị là Đ (True, T, 1)
• Mệnh đề sai có chân trị là S (False, F, 0)

1.2. Ví dụ về mệnh đề

Câu	Có phải mệnh đề?	Chân trị
“3 + 2 = 5”	Có	Đúng
“Hà Nội là thủ đô của Việt Nam”	Có	Đúng
“7 là số chẵn”	Có	Sai
“x + 1 = 3”	Không (câu chứa biến)	−
“Hôm nay trời đẹp quá!”	Không (câu cảm thán)	−
“Mấy giờ rồi?”	Không (câu hỏi)	−

1.3. Ký hiệu mệnh đề

Thường dùng các chữ cái in hoa: P, Q, R, S, … để ký hiệu mệnh đề.

1.4. Các phép toán logic cơ bản

Phép toán	Ký hiệu	Đọc là
Phủ định	¬P hoặc \( \overline{P} \)	“không P”
Hội (và)	P ∧ Q	“P và Q”
Tuyển (hoặc)	P ∨ Q	“P hoặc Q”
Kéo theo	P ⇒ Q	“nếu P thì Q”
Tương đương	P ⇔ Q	“P khi và chỉ khi Q”

2. Mệnh đề kéo theo là gì?

Đây là nội dung cốt lõi về mệnh đề kéo theo:

2.1. Định nghĩa

Mệnh đề kéo theo “P ⇒ Q” (đọc là “P kéo theo Q” hoặc “nếu P thì Q”) là mệnh đề được xác định như sau:

• P ⇒ Q sai khi P đúng và Q sai
• P ⇒ Q đúng trong tất cả các trường hợp còn lại

Trong đó:

• P: gọi là giả thiết (hypothesis) hoặc tiền đề (antecedent)
• Q: gọi là kết luận (conclusion) hoặc hệ quả (consequent)

2.2. Ký hiệu

Ký hiệu	Đọc là
P ⇒ Q	P kéo theo Q
P → Q	Nếu P thì Q
P ⊃ Q	P suy ra Q

2.3. Cách đọc mệnh đề P ⇒ Q

• “Nếu P thì Q”
• “P kéo theo Q”
• “P suy ra Q”
• “P là điều kiện đủ để Q”
• “Q là điều kiện cần của P”
• “Từ P suy ra Q”

2.4. Ví dụ cơ bản

Ví dụ 1: P: “n chia hết cho 6”, Q: “n chia hết cho 2”

P ⇒ Q: “Nếu n chia hết cho 6 thì n chia hết cho 2” → Đúng

Ví dụ 2: P: “Tam giác ABC vuông tại A”, Q: “BC² = AB² + AC²”

P ⇒ Q: “Nếu tam giác ABC vuông tại A thì BC² = AB² + AC²” → Đúng

Ví dụ 3: P: “x > 2”, Q: “x > 5”

P ⇒ Q: “Nếu x > 2 thì x > 5” → Sai (ví dụ x = 3)

2.5. Hiểu đúng về mệnh đề kéo theo

Lưu ý quan trọng: Mệnh đề P ⇒ Q không đòi hỏi P và Q có mối liên hệ về nội dung. Nó chỉ là một phép toán logic.

Ví dụ: “Nếu 1 + 1 = 3 thì mặt trời mọc ở phía Tây” là mệnh đề đúng (vì giả thiết sai).

3. Bảng chân trị của mệnh đề kéo theo

Bảng chân trị thể hiện giá trị của mệnh đề kéo theo:

3.1. Bảng chân trị

P	Q	P ⇒ Q	Giải thích
Đ	Đ	Đ	Giả thiết đúng, kết luận đúng → Đúng
Đ	S	S	Giả thiết đúng, kết luận sai → Sai
S	Đ	Đ	Giả thiết sai → Đúng (vacuously true)
S	S	Đ	Giả thiết sai → Đúng (vacuously true)

3.2. Quy tắc nhớ nhanh

P ⇒ Q chỉ sai khi “Đúng kéo theo Sai”

Hay: “Từ đúng không thể suy ra sai”

3.3. Giải thích trường hợp “Sai ⇒ …”

Tại sao “S ⇒ Đ” và “S ⇒ S” đều đúng?

Khi giả thiết P sai, ta nói mệnh đề P ⇒ Q “đúng một cách tầm thường” (vacuously true).

Ví dụ thực tế: “Nếu tôi là tỷ phú thì tôi sẽ mua nhà cho bạn”

• Nếu tôi không phải tỷ phú (P sai), thì lời hứa không bị vi phạm dù tôi có mua nhà hay không.
• Lời hứa chỉ bị vi phạm khi tôi LÀ tỷ phú mà KHÔNG mua nhà.

3.4. Công thức logic tương đương

\[ P \Rightarrow Q \equiv \neg P \vee Q \]

Nghĩa là: “P ⇒ Q” tương đương với “(không P) hoặc Q”

Kiểm tra bằng bảng chân trị:

P	Q	¬P	¬P ∨ Q	P ⇒ Q
Đ	Đ	S	Đ	Đ
Đ	S	S	S	S
S	Đ	Đ	Đ	Đ
S	S	Đ	Đ	Đ

Hai cột cuối giống nhau ⟹ P ⇒ Q ≡ ¬P ∨ Q ✓

4. Mệnh đề đảo

Khái niệm quan trọng liên quan đến mệnh đề kéo theo:

4.1. Định nghĩa mệnh đề đảo

Mệnh đề đảo của mệnh đề P ⇒ Q là mệnh đề Q ⇒ P.

Nói cách khác: Đổi vị trí giả thiết và kết luận.

4.2. Ví dụ

Mệnh đề gốc: “Nếu n chia hết cho 6 thì n chia hết cho 2” (Đúng)

Mệnh đề đảo: “Nếu n chia hết cho 2 thì n chia hết cho 6” (Sai, ví dụ n = 4)

4.3. Tính chất quan trọng

Mệnh đề đảo không nhất thiết có cùng chân trị với mệnh đề gốc.

P ⇒ Q	Q ⇒ P	Quan hệ
Đúng	Đúng	Có thể xảy ra
Đúng	Sai	Có thể xảy ra
Sai	Đúng	Có thể xảy ra
Sai	Sai	Có thể xảy ra

4.4. Các mệnh đề liên quan

Từ mệnh đề P ⇒ Q, ta có các mệnh đề liên quan:

Tên gọi	Ký hiệu	Dạng
Mệnh đề gốc	P ⇒ Q	Nếu P thì Q
Mệnh đề đảo	Q ⇒ P	Nếu Q thì P
Mệnh đề phủ định	¬P ⇒ ¬Q	Nếu không P thì không Q
Mệnh đề đối ngẫu (phản đảo)	¬Q ⇒ ¬P	Nếu không Q thì không P

4.5. Tính chất đối ngẫu

Mệnh đề gốc và mệnh đề đối ngẫu luôn có cùng chân trị:

\[ (P \Rightarrow Q) \equiv (\neg Q \Rightarrow \neg P) \]

Ví dụ:

• Gốc: “Nếu n chia hết cho 6 thì n chia hết cho 2” (Đúng)
• Đối ngẫu: “Nếu n không chia hết cho 2 thì n không chia hết cho 6” (Đúng)

5. Hai mệnh đề tương đương

Khái niệm mở rộng từ mệnh đề kéo theo:

5.1. Định nghĩa

Hai mệnh đề P và Q được gọi là tương đương, ký hiệu P ⇔ Q, nếu cả hai mệnh đề P ⇒ Q và Q ⇒ P đều đúng.

\[ P \Leftrightarrow Q \equiv (P \Rightarrow Q) \land (Q \Rightarrow P) \]

5.2. Cách đọc

• “P tương đương Q”
• “P khi và chỉ khi Q”
• “P nếu và chỉ nếu Q”
• “P là điều kiện cần và đủ để Q”

5.3. Bảng chân trị

P	Q	P ⇒ Q	Q ⇒ P	P ⇔ Q
Đ	Đ	Đ	Đ	Đ
Đ	S	S	Đ	S
S	Đ	Đ	S	S
S	S	Đ	Đ	Đ

Quy tắc nhớ: P ⇔ Q đúng khi P và Q có cùng chân trị.

5.4. Ví dụ

Ví dụ 1: P: “Tam giác ABC cân tại A”, Q: “Tam giác ABC có AB = AC”

P ⇔ Q đúng vì cả P ⇒ Q và Q ⇒ P đều đúng.

Ví dụ 2: P: “n chia hết cho 6”, Q: “n chia hết cho 2 và chia hết cho 3”

P ⇔ Q đúng.

6. Điều kiện cần và điều kiện đủ

Ứng dụng quan trọng của mệnh đề kéo theo:

6.1. Điều kiện đủ

Nếu P ⇒ Q là mệnh đề đúng thì:

• P là điều kiện đủ để có Q
• Nghĩa là: Chỉ cần P đúng thì Q đúng

Ví dụ: “n chia hết cho 6” là điều kiện đủ để “n chia hết cho 2”.

6.2. Điều kiện cần

Nếu P ⇒ Q là mệnh đề đúng thì:

• Q là điều kiện cần của P
• Nghĩa là: Muốn P đúng thì Q phải đúng

Ví dụ: “n chia hết cho 2” là điều kiện cần của “n chia hết cho 6”.

6.3. Điều kiện cần và đủ

Nếu P ⇔ Q là mệnh đề đúng thì:

• P là điều kiện cần và đủ để có Q
• Q là điều kiện cần và đủ để có P

6.4. Bảng tổng hợp

Mệnh đề đúng	P là … của Q	Q là … của P
P ⇒ Q	Điều kiện đủ	Điều kiện cần
Q ⇒ P	Điều kiện cần	Điều kiện đủ
P ⇔ Q	Điều kiện cần và đủ	Điều kiện cần và đủ

6.5. Ví dụ phân tích

Xét mệnh đề: “Nếu tứ giác ABCD là hình vuông thì ABCD là hình thoi”

• “ABCD là hình vuông” là điều kiện đủ để “ABCD là hình thoi”
• “ABCD là hình thoi” là điều kiện cần để “ABCD là hình vuông”

6.6. Mẹo phân biệt

Điều kiện đủ: “Có nó thì đủ” (đủ để kết luận)

Điều kiện cần: “Cần có nó” (thiếu nó thì không được)

7. Các dạng phát biểu mệnh đề kéo theo

Các cách diễn đạt khác nhau của mệnh đề kéo theo P ⇒ Q:

7.1. Các cách phát biểu tương đương

STT	Cách phát biểu	Ví dụ
1	Nếu P thì Q	Nếu trời mưa thì đường ướt
2	P kéo theo Q	Trời mưa kéo theo đường ướt
3	P suy ra Q	Trời mưa suy ra đường ướt
4	Từ P suy ra Q	Từ trời mưa suy ra đường ướt
5	P là điều kiện đủ để Q	Trời mưa là ĐK đủ để đường ướt
6	Q là điều kiện cần của P	Đường ướt là ĐK cần của trời mưa
7	Q nếu P	Đường ướt nếu trời mưa
8	Q khi P	Đường ướt khi trời mưa
9	P chỉ nếu Q	Trời mưa chỉ nếu đường ướt

7.2. Lưu ý về “chỉ nếu”

“P chỉ nếu Q” có nghĩa là P ⇒ Q (không phải Q ⇒ P)

Giải thích: “P chỉ xảy ra nếu Q xảy ra” nghĩa là Q là điều kiện cần của P.

7.3. Dạng phát biểu trong định lý toán học

Định lý: Nếu [giả thiết] thì [kết luận]

Ví dụ:

• “Nếu tam giác ABC vuông tại A thì BC² = AB² + AC²” (Định lý Pythagoras)
• “Nếu n là số nguyên tố lớn hơn 2 thì n là số lẻ”

8. Phủ định của mệnh đề kéo theo

Cách phủ định mệnh đề kéo theo:

8.1. Công thức phủ định

\[ \neg(P \Rightarrow Q) \equiv P \land \neg Q \]

Phủ định của “Nếu P thì Q” là “P và không Q”

8.2. Chứng minh bằng bảng chân trị

P	Q	P ⇒ Q	¬(P ⇒ Q)	¬Q	P ∧ ¬Q
Đ	Đ	Đ	S	S	S
Đ	S	S	Đ	Đ	Đ
S	Đ	Đ	S	S	S
S	S	Đ	S	Đ	S

Cột ¬(P ⇒ Q) và P ∧ ¬Q giống nhau ⟹ ¬(P ⇒ Q) ≡ P ∧ ¬Q ✓

8.3. Ví dụ

Mệnh đề: “Nếu trời mưa thì tôi ở nhà”

Phủ định: “Trời mưa và tôi không ở nhà”

Mệnh đề: “Nếu x > 2 thì x² > 4”

Phủ định: “x > 2 và x² ≤ 4”

8.4. Lỗi thường gặp

SAI: Phủ định của “Nếu P thì Q” là “Nếu P thì không Q” ❌

SAI: Phủ định của “Nếu P thì Q” là “Nếu không P thì không Q” ❌

ĐÚNG: Phủ định của “Nếu P thì Q” là “P và không Q” ✓

8.5. Ứng dụng trong chứng minh phản chứng

Để chứng minh P ⇒ Q là SAI, ta cần tìm ví dụ mà P đúng nhưng Q sai.

Ví dụ: Phản bác “Nếu n chẵn thì n chia hết cho 4”

Tìm n chẵn mà không chia hết cho 4: n = 6 ✓

9. Mối quan hệ với các phép toán logic khác

Liên hệ giữa mệnh đề kéo theo và các phép toán khác:

9.1. Biểu diễn qua phép ∨ và ¬

\[ P \Rightarrow Q \equiv \neg P \vee Q \]

9.2. Biểu diễn qua phép ∧ và ¬

\[ P \Rightarrow Q \equiv \neg(P \land \neg Q) \]

9.3. Quan hệ với mệnh đề đối ngẫu

\[ P \Rightarrow Q \equiv \neg Q \Rightarrow \neg P \]

9.4. Quy tắc suy luận quan trọng

Tên quy tắc	Công thức
Modus Ponens	\( [(P \Rightarrow Q) \land P] \Rightarrow Q \)
Modus Tollens	\( [(P \Rightarrow Q) \land \neg Q] \Rightarrow \neg P \)
Tam đoạn luận	\( [(P \Rightarrow Q) \land (Q \Rightarrow R)] \Rightarrow (P \Rightarrow R) \)

9.5. Các hằng đẳng logic

• \( P \Rightarrow P \equiv \text{Đúng} \) (luôn đúng)
• \( P \Rightarrow \text{Đúng} \equiv \text{Đúng} \)
• \( \text{Sai} \Rightarrow Q \equiv \text{Đúng} \)
• \( P \Rightarrow \text{Sai} \equiv \neg P \)

10. Ứng dụng của mệnh đề kéo theo

Mệnh đề kéo theo có nhiều ứng dụng quan trọng:

10.1. Trong chứng minh toán học

• Chứng minh trực tiếp: Giả sử P đúng, suy ra Q đúng
• Chứng minh phản chứng: Giả sử Q sai, suy ra P sai
• Chứng minh quy nạp: P(k) ⇒ P(k+1)

10.2. Trong lập trình

Cấu trúc điều kiện if-then:

if (P) then
    Q
end if

10.3. Trong đời sống

• Luật pháp: “Nếu vi phạm thì bị phạt”
• Quy tắc: “Nếu đèn đỏ thì dừng xe”
• Lời hứa: “Nếu đạt điểm 10 thì được thưởng”

10.4. Trong khoa học

• Giả thuyết khoa học: “Nếu giả thuyết đúng thì kết quả thí nghiệm sẽ là…”
• Định luật: “Nếu nhiệt độ tăng thì thể tích khí tăng”

11. Ví dụ và bài tập minh họa có lời giải chi tiết

Để nắm vững kiến thức về mệnh đề kéo theo, hãy làm các bài tập sau:

Bài tập 1: Xác định chân trị mệnh đề kéo theo

Đề bài: Xác định tính đúng/sai của các mệnh đề sau:

a) “Nếu 6 chia hết cho 3 thì 6 chia hết cho 9”

b) “Nếu 7 là số chẵn thì 7 chia hết cho 2”

Lời giải:

a) P: “6 chia hết cho 3” → Đúng

Q: “6 chia hết cho 9” → Sai

P ⇒ Q: Đúng ⇒ Sai → Sai

b) P: “7 là số chẵn” → Sai

Q: “7 chia hết cho 2” → Sai

P ⇒ Q: Sai ⇒ Sai → Đúng (đúng một cách tầm thường)

Bài tập 2: Viết mệnh đề đảo

Đề bài: Phát biểu mệnh đề đảo và xét tính đúng/sai:

“Nếu tứ giác ABCD là hình chữ nhật thì ABCD có hai đường chéo bằng nhau”

Lời giải:

Mệnh đề gốc: “Nếu ABCD là HCN thì ABCD có hai đường chéo bằng nhau” → Đúng

Mệnh đề đảo: “Nếu ABCD có hai đường chéo bằng nhau thì ABCD là HCN” → Sai

(Phản ví dụ: Hình thang cân cũng có hai đường chéo bằng nhau nhưng không phải HCN)

Bài tập 3: Xác định điều kiện cần, điều kiện đủ

Đề bài: Cho mệnh đề đúng: “Nếu số tự nhiên n chia hết cho 6 thì n chia hết cho 3”

Hãy cho biết đâu là điều kiện cần, đâu là điều kiện đủ.

Lời giải:

Mệnh đề: P ⇒ Q với P: “n ⋮ 6”, Q: “n ⋮ 3”

• “n chia hết cho 6” là điều kiện đủ để “n chia hết cho 3”
• “n chia hết cho 3” là điều kiện cần để “n chia hết cho 6”

Bài tập 4: Phủ định mệnh đề kéo theo

Đề bài: Viết phủ định của mệnh đề: “Nếu hôm nay là chủ nhật thì tôi được nghỉ”

Lời giải:

Mệnh đề: P ⇒ Q

• P: “Hôm nay là chủ nhật”
• Q: “Tôi được nghỉ”

Phủ định: P ∧ ¬Q

Phủ định: “Hôm nay là chủ nhật và tôi không được nghỉ”

Bài tập 5: Chứng minh mệnh đề tương đương

Đề bài: Chứng minh P ⇒ Q ≡ ¬P ∨ Q bằng bảng chân trị

Lời giải:

P	Q	¬P	P ⇒ Q	¬P ∨ Q
Đ	Đ	S	Đ	Đ
Đ	S	S	S	S
S	Đ	Đ	Đ	Đ
S	S	Đ	Đ	Đ

Hai cột P ⇒ Q và ¬P ∨ Q giống nhau nên P ⇒ Q ≡ ¬P ∨ Q (đpcm)

Bài tập 6: Phân tích mệnh đề trong định lý

Đề bài: Phân tích giả thiết và kết luận của định lý: “Nếu hai tam giác có ba cạnh tương ứng bằng nhau thì hai tam giác đó bằng nhau”

Lời giải:

• Giả thiết (P): Hai tam giác có ba cạnh tương ứng bằng nhau
• Kết luận (Q): Hai tam giác đó bằng nhau

Mệnh đề đảo: “Nếu hai tam giác bằng nhau thì chúng có ba cạnh tương ứng bằng nhau” → Đúng

⟹ Hai mệnh đề tương đương: “Hai tam giác bằng nhau khi và chỉ khi chúng có ba cạnh tương ứng bằng nhau”

Bài tập 7: Xây dựng bảng chân trị cho P ⇔ Q

Đề bài: Lập bảng chân trị cho mệnh đề P ⇔ Q

Lời giải:

P ⇔ Q ≡ (P ⇒ Q) ∧ (Q ⇒ P)

P	Q	P ⇒ Q	Q ⇒ P	P ⇔ Q
Đ	Đ	Đ	Đ	Đ
Đ	S	S	Đ	S
S	Đ	Đ	S	S
S	S	Đ	Đ	Đ

Nhận xét: P ⇔ Q đúng khi P và Q có cùng chân trị

Bài tập 8: Xác định mệnh đề đối ngẫu

Đề bài: Viết mệnh đề đối ngẫu và xét tính đúng/sai:

“Nếu n² chẵn thì n chẵn”

Lời giải:

Mệnh đề gốc: P ⇒ Q: “Nếu n² chẵn thì n chẵn” → Đúng

Mệnh đề đối ngẫu: ¬Q ⇒ ¬P: “Nếu n lẻ thì n² lẻ” → Đúng

(Theo tính chất: Mệnh đề gốc và mệnh đề đối ngẫu luôn có cùng chân trị)

Bài tập 9: Bài toán thực tế

Đề bài: Xét tính đúng/sai của mệnh đề và lý giải:

“Nếu một học sinh được điểm 10 môn Toán thì học sinh đó giỏi”

Lời giải:

P: “Học sinh được điểm 10 môn Toán”

Q: “Học sinh đó giỏi”

Phân tích:

• Nếu P đúng (HS được 10 điểm Toán) → Q đúng (HS giỏi ít nhất môn Toán) → P ⇒ Q đúng
• Mệnh đề này đúng trong ngữ cảnh học tập

Mệnh đề đảo: “Nếu học sinh giỏi thì được điểm 10 môn Toán” → Sai (HS có thể giỏi Văn nhưng không được 10 Toán)

Bài tập 10: Suy luận logic

Đề bài: Cho các mệnh đề sau đều đúng:

• (1) Nếu trời mưa thì đường ướt
• (2) Đường không ướt

Kết luận gì?

Lời giải:

Áp dụng quy tắc Modus Tollens:

\[ [(P \Rightarrow Q) \land \neg Q] \Rightarrow \neg P \]

Với:

• P: “Trời mưa”
• Q: “Đường ướt”
• P ⇒ Q đúng (mệnh đề 1)
• ¬Q đúng (mệnh đề 2: đường không ướt)

Kết luận: ¬P đúng, tức là “Trời không mưa”

Bài tập 11: Chứng minh tam đoạn luận

Đề bài: Cho P ⇒ Q và Q ⇒ R đều đúng. Chứng minh P ⇒ R đúng.

Lời giải:

Lập bảng chân trị:

P	Q	R	P⇒Q	Q⇒R	(P⇒Q)∧(Q⇒R)	P⇒R
Đ	Đ	Đ	Đ	Đ	Đ	Đ
Đ	Đ	S	Đ	S	S	S
Đ	S	Đ	S	Đ	S	Đ
Đ	S	S	S	Đ	S	S
S	Đ	Đ	Đ	Đ	Đ	Đ
S	Đ	S	Đ	S	S	Đ
S	S	Đ	Đ	Đ	Đ	Đ
S	S	S	Đ	Đ	Đ	Đ

Khi (P⇒Q)∧(Q⇒R) đúng thì P⇒R cũng đúng ⟹ Tam đoạn luận đúng

Bài tập 12: Phát biểu định lý dưới dạng điều kiện cần và đủ

Đề bài: Phát biểu lại định lý sau dưới các dạng khác nhau:

“Một số chia hết cho 6 khi và chỉ khi nó chia hết cho cả 2 và 3”

Lời giải:

Đặt P: “n ⋮ 6”, Q: “n ⋮ 2 và n ⋮ 3”

Định lý: P ⇔ Q

Các cách phát biểu tương đương:

1. “Để số n chia hết cho 6, điều kiện cần và đủ là n chia hết cho cả 2 và 3”
2. “n chia hết cho 6 nếu và chỉ nếu n chia hết cho cả 2 và 3”
3. “n chia hết cho 6 tương đương với việc n chia hết cho cả 2 và 3”
4. “Chia hết cho 6 là điều kiện cần và đủ để chia hết cho cả 2 và 3” (và ngược lại)

12. Kết luận

Qua bài viết trên, VJOL đã giúp bạn hiểu rõ về mệnh đề kéo theo cùng các kiến thức quan trọng liên quan. Tóm tắt những điểm cần nhớ:

• Định nghĩa: P ⇒ Q đọc là “nếu P thì Q”, chỉ sai khi P đúng và Q sai
• Bảng chân trị: Đ⇒Đ=Đ, Đ⇒S=S, S⇒Đ=Đ, S⇒S=Đ
• Quy tắc nhớ: “Từ đúng không thể suy ra sai”
• Mệnh đề đảo: Q ⇒ P (không nhất thiết có cùng chân trị với mệnh đề gốc)
• Mệnh đề đối ngẫu: ¬Q ⇒ ¬P (luôn có cùng chân trị với mệnh đề gốc)
• Điều kiện đủ: P là điều kiện đủ để Q (trong P ⇒ Q)
• Điều kiện cần: Q là điều kiện cần của P (trong P ⇒ Q)
• Tương đương: P ⇔ Q ≡ (P ⇒ Q) ∧ (Q ⇒ P)
• Phủ định: ¬(P ⇒ Q) ≡ P ∧ ¬Q
• Công thức quan trọng: P ⇒ Q ≡ ¬P ∨ Q

Hy vọng bài viết đã giúp bạn nắm vững kiến thức về mệnh đề kéo theo và có thể áp dụng vào giải toán hiệu quả!