Khẳng định hậu kiện là lỗi suy luận: từ "nếu p thì q" và "q" mà kết luận "p". Phủ định tiền kiện là lỗi: từ "nếu p thì q" và "không p" mà kết luận "không q". Cả hai đều không hợp lệ vì cùng vấp một trường hợp: p sai mà q vẫn đúng — điều câu "nếu p thì q" hoàn toàn cho phép.
Hậu kiện, tiền kiện là gì
Trong câu điều kiện "nếu p thì q", phần đứng sau "nếu" gọi là tiền kiện (vế điều kiện, antecedent), phần đứng sau "thì" gọi là hậu kiện (vế hệ quả, consequent). Viết bằng ký hiệu: p → q, với p là tiền kiện, q là hậu kiện; dấu ¬ đặt trước một câu nghĩa là "không".
Với một câu điều kiện có bốn cách "lấy thêm một dữ kiện rồi kết luận". Hai cách hợp lệ (modus ponens và modus tollens) đã có bài riêng. Bài này nói về hai cách còn lại — trông giống hệt, nghe rất xuôi, nhưng là lỗi.
| Tên | Khuôn | Hợp lệ? | Phản ví dụ (p, q) |
|---|---|---|---|
| Khẳng định tiền kiện (modus ponens) | p → q; p; vậy q | Có | Không có |
| Phủ định hậu kiện (modus tollens) | p → q; ¬q; vậy ¬p | Có | Không có |
| Khẳng định hậu kiện | p → q; q; vậy p | Không | p sai, q đúng |
| Phủ định tiền kiện | p → q; ¬p; vậy ¬q | Không | p sai, q đúng |
Mẹo nhớ: khẳng định thì khẳng định tiền kiện, phủ định thì phủ định hậu kiện. Đổi chỗ hai chữ "tiền", "hậu" là sinh lỗi.
Hai lỗi qua ví dụ
Khẳng định hậu kiện: thấy hệ quả, đoán nguyên nhân
Ví dụ đời thường: "Nếu nhà bên có khách thì trước cổng có xe lạ đỗ. Sáng nay trước cổng có xe lạ. Vậy nhà bên có khách."
Câu điều kiện có thể hoàn toàn đúng, dữ kiện cũng đúng, mà kết luận vẫn sai: chiếc xe của người đi chợ ghé đỗ nhờ, hoặc của thợ đến sửa đường ống. Tiền đề chỉ nói "có khách ⇒ có xe", không nói "có xe ⇒ có khách".
Ví dụ toán học, nơi phản ví dụ rõ như ban ngày:
Nếu tam giác ABC đều thì ABC có hai góc bằng nhau. Tam giác ABC có hai góc bằng nhau. Vậy ABC là tam giác đều.
Lấy tam giác có các góc 70°, 70°, 40°: có hai góc bằng nhau (q đúng), không đều (p sai), và câu "đều thì có hai góc bằng nhau" vẫn đúng. Tiền đề đúng hết, kết luận sai — lập luận không hợp lệ.
Phủ định tiền kiện: thiếu điều kiện này, tưởng là mất hệ quả
Ví dụ đời thường: "Nếu tưới nước tối nay thì sáng mai vườn rau ướt. Tối nay không tưới. Vậy sáng mai vườn không ướt."
Đêm có thể mưa, hoặc sương xuống dày. Tiền đề nói tưới là một cách làm vườn ướt, không nói đó là cách duy nhất.
Ví dụ toán học:
Nếu một số chia hết cho 6 thì nó là số chẵn. Số 4 không chia hết cho 6. Vậy 4 không phải số chẵn.
Kết luận sai rành rành, trong khi cả hai tiền đề đều đúng. Đó là phản ví dụ cho cả khuôn.
Bảng chân trị chỉ ra cùng một dòng thủ phạm
Ghi Đ là đúng, S là sai. Phép kéo theo p → q chỉ sai ở dòng p đúng, q sai.
| Dòng | p | q | p → q | Khẳng định hậu kiện (tiền đề: p → q, q; kết luận p) | Phủ định tiền kiện (tiền đề: p → q, ¬p; kết luận ¬q) |
|---|---|---|---|---|---|
| 1 | Đ | Đ | Đ | Tiền đề đúng, kết luận đúng | Tiền đề ¬p sai — bỏ qua |
| 2 | Đ | S | S | Tiền đề sai — bỏ qua | Tiền đề sai — bỏ qua |
| 3 | S | Đ | Đ | Tiền đề đúng, kết luận p sai | Tiền đề đúng, kết luận ¬q sai |
| 4 | S | S | Đ | Tiền đề q sai — bỏ qua | Tiền đề đúng, kết luận đúng |
Dòng 3 là "dòng phản ví dụ" của cả hai lỗi: p sai, q đúng. Trong mọi ví dụ ở trên, phản ví dụ đều là một tình huống kiểu dòng 3 — có xe nhưng không có khách, vườn ướt nhưng không tưới, có hai góc bằng nhau nhưng không đều, số chẵn nhưng không chia hết cho 6.
Nhận xét thú vị: hai lỗi này là "anh em" của nhau. Phủ định tiền kiện trên p → q thực chất là khẳng định hậu kiện trên câu phản đảo ¬q → ¬p, nên chúng hỏng vì cùng một lý do.
Vì sao người ta mắc mà không thấy
Lời nói hằng ngày hay ngầm hiểu "nếu" là "khi và chỉ khi"
Câu "nếu con làm xong bài tập thì được xem phim" thường được hiểu ngầm là "không làm xong thì không được xem". Trong giao tiếp, cách hiểu đó có lý do riêng (là chuyện của hàm ý hội thoại). Nhưng khi đã chuyển sang suy luận chặt — bài thi logic, điều khoản hợp đồng, đặc tả phần mềm — phải đọc "nếu" đúng nghĩa của nó: một chiều. Muốn hai chiều thì phải viết p ↔ q ("p khi và chỉ khi q").
Khẳng định hậu kiện là hình dạng của việc đoán nguyên nhân
Bác sĩ thấy sốt và ho thì nghĩ tới cúm; thợ thấy nước rỉ thì nghĩ tới ống vỡ. Đi từ hệ quả về nguyên nhân là cách người ta đặt giả thuyết, và nó có giá trị — nhưng giá trị đó là khả năng, không phải chắc chắn. Lỗi chỉ xuất hiện khi người suy luận coi kết luận như đã chứng minh xong.
Ví dụ có kết luận đúng làm ta mất cảnh giác
"Nếu một số chia hết cho 4 thì nó chẵn; 8 chẵn; vậy 8 chia hết cho 4." Kết luận đúng nên khó thấy lập luận hỏng. Cách luyện mắt: mỗi lần nghi ngờ, giữ nguyên khuôn và thay nội dung (6 thay cho 8) — khuôn hỏng sẽ lộ ra ngay.
Sửa lập luận cho hợp lệ
Có ba cách, tuỳ điều mình thật sự biết:
- Bổ sung chiều ngược lại. Nếu biết thêm q → p (chẳng hạn "chỉ khi có khách thì cổng mới có xe lạ"), thì từ q suy ra p bằng modus ponens. Lúc đó tiền đề mạnh hơn và phải chịu trách nhiệm là đúng.
- Chuyển sang modus tollens. Thay vì "không tưới nên vườn không ướt", dùng chiều hợp lệ: "vườn không ướt nên tối qua không tưới".
- Hạ độ chắc của kết luận. "Trước cổng có xe lạ, có thể nhà bên có khách — cần kiểm thêm." Đây là bước từ suy diễn sang suy luận giả thuyết, và nói thẳng như vậy là trung thực.
Ranh giới: bài này chỉ bàn lỗi hình thức, kiểm được bằng khuôn. Những lỗi dựa vào nội dung hay cảm xúc — đánh tráo khái niệm, công kích cá nhân, lưỡng phân giả — là ngụy biện phi hình thức, thuộc mảng tranh biện.
Bài tập
Gọi tên khuôn và cho biết có hợp lệ không.
- "Nếu Bình bị ốm thì Bình nghỉ học. Bình nghỉ học. Vậy Bình bị ốm." Đáp án: Khẳng định hậu kiện — không hợp lệ (Bình có thể nghỉ vì việc gia đình).
- "Nếu Bình bị ốm thì Bình nghỉ học. Bình không nghỉ học. Vậy Bình không ốm." Đáp án: Modus tollens — hợp lệ.
- "Nếu x = 3 thì x² = 9. x ≠ 3. Vậy x² ≠ 9." Đáp án: Phủ định tiền kiện — không hợp lệ. Phản ví dụ: x = −3 cho x² = 9.
- "Nếu x = 3 thì x² = 9. x² = 9. Vậy x = 3." Đáp án: Khẳng định hậu kiện — không hợp lệ, cùng phản ví dụ x = −3. Đây là lỗi hay gặp khi giải phương trình: từ x² = 9 chỉ được x = 3 hoặc x = −3.
- "Bình nghỉ học khi và chỉ khi Bình ốm. Bình nghỉ học. Vậy Bình ốm." Đáp án: Hợp lệ, vì tiền đề là "khi và chỉ khi" (hai chiều). Có hợp lệ hay không tuỳ vào chữ nối trong tiền đề, không tuỳ vào việc câu nghe quen.
Dùng vào đâu
- Giải phương trình: bình phương hai vế là một phép "kéo theo một chiều" — nghiệm mới có thể không phải nghiệm cũ, nên phải thử lại. Đó là khẳng định hậu kiện bị chặn bằng bước kiểm tra.
- Đọc kết quả xét nghiệm, kiểm định: "nếu mắc bệnh thì xét nghiệm dương tính" không cho phép suy ngược chắc chắn từ dương tính về mắc bệnh.
- Lập trình: nhánh if không có else chỉ hứa điều gì xảy ra khi điều kiện đúng; đừng ngầm suy điều gì xảy ra khi điều kiện sai.
- Học tiếp: kiểm một lập luận bất kỳ bằng bảng chân trị — cách tổng quát để bắt mọi lỗi hình thức, không riêng hai lỗi này.
Câu hỏi thường gặp
Khẳng định hậu kiện là gì?
Là lỗi suy luận có dạng "nếu p thì q; q; vậy p". Nó không hợp lệ vì q có thể đúng do nguyên nhân khác ngoài p. Ví dụ: "Nếu tam giác đều thì có hai góc bằng nhau; tam giác này có hai góc bằng nhau; vậy nó đều" — sai với tam giác cân không đều.
Phủ định tiền kiện là gì?
Là lỗi suy luận có dạng "nếu p thì q; không p; vậy không q". Ví dụ: "Nếu tưới thì vườn ướt; không tưới; vậy vườn không ướt" — bỏ qua khả năng trời mưa. Câu điều kiện không nói p là cách duy nhất dẫn tới q.
Hai lỗi này khác modus ponens, modus tollens thế nào?
Modus ponens khẳng định tiền kiện, modus tollens phủ định hậu kiện — đều hợp lệ. Hai lỗi đảo ngược: khẳng định hậu kiện và phủ định tiền kiện. Cả hai lỗi có chung phản ví dụ là trường hợp p sai, q đúng.
Khi nào từ q suy ra p được?
Khi có thêm tiền đề "nếu q thì p", hoặc tiền đề gốc là "p khi và chỉ khi q". Lúc đó lập luận trở thành modus ponens trên chiều ngược lại và hợp lệ.
Khẳng định hậu kiện có phải lúc nào cũng vô dụng?
Không. Nó là hình dạng của việc đoán nguyên nhân từ dấu hiệu, như chẩn đoán bệnh hay dò hỏng hóc. Kết luận rút ra theo cách đó là một giả thuyết đáng kiểm tra, chỉ sai khi bị coi như đã chứng minh chắc chắn.