Modus ponens là quy tắc: từ "nếu p thì q" và "p", suy ra "q". Modus tollens là quy tắc: từ "nếu p thì q" và "không q", suy ra "không p". Cả hai đều hợp lệ — tiền đề đúng thì kết luận chắc chắn đúng — và gần như mọi chuỗi suy luận dài, từ bài chứng minh hình học tới việc dò lỗi máy móc, đều được ghép từ hai viên gạch này.
Bắt đầu từ hai câu chuyện thường ngày
Chuyện thứ nhất. Điều lệ giải bóng đá của trường ghi: "Nếu đội thắng trận tứ kết thì đội vào bán kết." Chiều thứ Sáu, đội lớp 10A thắng trận tứ kết. Không cần hỏi ban tổ chức, ai cũng biết: 10A vào bán kết.
Chuyện thứ hai. Cô giáo dặn: "Nếu bạn nào đã nộp bài trên hệ thống thì tên bạn đó có trong danh sách đã nộp." Mở danh sách ra, không thấy tên Minh. Kết luận: Minh chưa nộp bài.
Chuyện thứ nhất đi xuôi: khẳng định vế "nếu", thu được vế "thì". Chuyện thứ hai đi ngược: phủ định vế "thì", thu được phủ định của vế "nếu". Đó lần lượt là modus ponens và modus tollens.
Tên gọi và cách viết bằng ký hiệu
Tên Latin đầy đủ là modus ponendo ponens — "cách thức khẳng định bằng cách khẳng định", và modus tollendo tollens — "cách thức phủ định bằng cách phủ định". Sách tiếng Việt thường gọi là quy tắc khẳng định và quy tắc phủ định; trong các hệ chứng minh, modus ponens còn có tên quy tắc khử phép kéo theo.
Ký hiệu dùng trong bài:
- p, q: các câu đơn, mỗi câu hoặc đúng hoặc sai.
- p → q: "nếu p thì q" (phép kéo theo). Câu này chỉ sai trong đúng một trường hợp: p đúng mà q sai.
- ¬p: "không p", phủ định của p — đúng khi p sai và ngược lại.
| Quy tắc | Tiền đề 1 | Tiền đề 2 | Kết luận | Hợp lệ? |
|---|---|---|---|---|
| Modus ponens | p → q | p | q | Có |
| Modus tollens | p → q | ¬q | ¬p | Có |
| Khẳng định hậu kiện | p → q | q | p | Không |
| Phủ định tiền kiện | p → q | ¬p | ¬q | Không |
Hai dòng cuối nhìn rất giống hai dòng đầu nhưng là lỗi; chúng có bài riêng. Ở đây chỉ cần nhớ mẹo: đi xuôi từ vế "nếu", đi ngược từ phủ định vế "thì". Mọi lối khác đều không bảo đảm.
Vì sao hai quy tắc này hợp lệ
Lấy bảng chân trị của phép kéo theo, mỗi dòng là một khả năng về đúng (Đ) – sai (S) của p và q:
| Dòng | p | q | p → q | ¬p | ¬q |
|---|---|---|---|---|---|
| 1 | Đ | Đ | Đ | S | S |
| 2 | Đ | S | S | S | Đ |
| 3 | S | Đ | Đ | Đ | S |
| 4 | S | S | Đ | Đ | Đ |
Modus ponens: cần dòng có p → q đúng và p đúng. Dòng 1 và 2 có p đúng, nhưng dòng 2 có p → q sai. Chỉ còn dòng 1 — ở đó q đúng. Không có dòng nào tiền đề đúng hết mà q sai, nên quy tắc hợp lệ.
Modus tollens: cần dòng có p → q đúng và ¬q đúng (tức q sai). Dòng 2 và 4 có q sai, nhưng dòng 2 bị loại vì p → q sai. Chỉ còn dòng 4 — ở đó p sai, tức ¬p đúng. Hợp lệ.
Lý giải bằng lời cho modus tollens: giả sử ngược lại rằng p đúng. Khi đó theo p → q thì q phải đúng — đụng ngay tiền đề ¬q. Vậy giả sử sai, p không thể đúng. Đây là lý do modus tollens thường được coi là "phản chứng thu nhỏ".
Modus tollens là modus ponens nhìn từ phía sau
Câu "nếu p thì q" tương đương với câu phản đảo "nếu không q thì không p" (¬q → ¬p): hai câu đúng – sai giống hệt nhau ở mọi dòng. Áp modus ponens vào câu phản đảo với tiền đề ¬q, ta được ¬p — chính là kết quả của modus tollens. Quan hệ đảo – phản – phản đảo là phần nhập môn của logic phổ thông; ở đây chỉ cần dùng nó như một cách kiểm.
Cẩn thận khi vế đã có sẵn chữ "không"
Quy định thư viện: "Nếu không mang thẻ thì không được mượn sách." Hôm qua Hà đã mượn được sách. Suy ra gì?
Đặt p = "Hà không mang thẻ", q = "Hà không được mượn sách". Tiền đề thứ hai "Hà đã mượn được sách" chính là ¬q. Modus tollens cho ¬p = "không phải Hà không mang thẻ", tức là Hà có mang thẻ. Hai lần phủ định triệt tiêu; viết vội rất dễ ra câu "Hà không mang thẻ", sai hẳn.
Ghép thành chuỗi
Sức mạnh thật sự nằm ở chỗ có thể nối nhiều bước. Thử chuỗi sau về một chiếc xe máy không nổ máy:
- Nếu bugi đánh lửa tốt và có xăng thì máy nổ được. (tiền đề)
- Máy không nổ. (quan sát)
- Vậy không phải "bugi tốt và có xăng" — tức là bugi hỏng hoặc hết xăng. (modus tollens từ 1, 2)
- Nhìn đồng hồ, bình còn xăng. (quan sát)
- Vậy bugi có vấn đề. (từ 3 và 4: loại một ngả của "hoặc")
Bước 3 dùng modus tollens, bước 5 dùng một quy tắc khác (tam đoạn luận lựa chọn). Kết luận chỉ chắc chắn đến mức các tiền đề chắc chắn: nếu tiền đề 1 bỏ sót một nguyên nhân khác — như ắc quy yếu với xe đề điện — thì kết luận cũng hụt theo. Lỗi đó là lỗi tiền đề, không phải lỗi quy tắc.
Trong khoa học, modus tollens là xương sống của việc bác bỏ giả thuyết: "Nếu giả thuyết H đúng thì thí nghiệm phải cho kết quả O; thí nghiệm không cho O; vậy H sai." Thực tế phức tạp hơn vì vế "nếu" thường kèm nhiều giả định phụ (dụng cụ chuẩn, mẫu sạch…), nên kết quả âm tính chỉ cho biết ít nhất một trong số đó sai.
Một chút lịch sử
Cả hai khuôn đã được các nhà logic Khắc kỷ ở Hy Lạp cổ đại nêu tường minh. Trong hệ thống gắn với Chrysippus (khoảng 279–206 TCN) có năm kiểu suy luận "không cần chứng minh"; kiểu thứ nhất có dạng "nếu thứ nhất thì thứ hai; thứ nhất; vậy thứ hai" — tức modus ponens — và kiểu thứ hai là modus tollens. Tên Latin quen dùng ngày nay do các nhà logic thời Trung Cổ đặt. Đến logic hiện đại, modus ponens là quy tắc suy luận chủ chốt trong nhiều hệ tiên đề, trong đó có hệ của Frege trong Begriffsschrift (1879).
Bài tập
Mỗi câu: lập luận dùng quy tắc nào, có hợp lệ không?
- "Nếu hôm nay là Chủ nhật thì chợ phiên họp. Hôm nay là Chủ nhật. Vậy chợ phiên họp." Đáp án: Modus ponens, hợp lệ.
- "Nếu nồi cơm đã chín thì đèn chuyển sang chế độ giữ ấm. Đèn chưa chuyển. Vậy cơm chưa chín." Đáp án: Modus tollens, hợp lệ (với điều kiện tiền đề đúng — nồi không hỏng đèn).
- "Nếu Tú đạt giải thì Tú được tuyên dương. Tú được tuyên dương. Vậy Tú đạt giải." Đáp án: Không hợp lệ — khẳng định hậu kiện. Tú có thể được tuyên dương vì việc tốt khác.
- "Nếu không tưới thì cây héo. Cây không héo. Vậy…?" Hãy điền kết luận đúng. Đáp án: "Cây có được tưới" (modus tollens với p = "không tưới").
- Từ p → q, q → r và ¬r, suy ra được gì về p? Đáp án: ¬p. Modus tollens lần 1: từ q → r và ¬r được ¬q; lần 2: từ p → q và ¬q được ¬p.
Dùng vào đâu
- Bài thi trắc nghiệm suy luận: gặp câu "nếu… thì…" kèm một dữ kiện, chỉ có hai đường đi chắc: xuôi từ vế đầu, ngược từ phủ định vế sau.
- Dò lỗi máy móc, phần mềm: "nếu bộ phận X tốt thì đèn Y sáng; đèn Y tắt" — khoanh vùng nhờ modus tollens.
- Đọc quy định: điều khoản "nếu vi phạm A thì bị xử lý B" — không bị xử lý B thì (nếu điều khoản được áp nghiêm) chưa vi phạm A; còn bị xử lý B thì chưa chắc vì A.
- Học tiếp: bảng chân trị để kiểm lập luận dài hơn, và cách viết chứng minh từng dòng (suy diễn tự nhiên), nơi modus ponens là quy tắc dùng nhiều nhất.
Câu hỏi thường gặp
Modus ponens là gì?
Modus ponens là quy tắc suy luận: nếu "p thì q" đúng và p đúng, thì q đúng. Ví dụ: "Nếu thắng tứ kết thì vào bán kết; đội đã thắng tứ kết; vậy đội vào bán kết." Đây là quy tắc hợp lệ cơ bản nhất của logic mệnh đề.
Modus tollens là gì?
Modus tollens là quy tắc: nếu "p thì q" đúng và q sai, thì p sai. Ví dụ: "Nếu đã nộp bài thì có tên trong danh sách; không có tên; vậy chưa nộp bài." Nó hợp lệ vì giả sử p đúng sẽ buộc q đúng, mâu thuẫn với tiền đề.
Modus ponens và modus tollens khác nhau thế nào?
Modus ponens khẳng định vế "nếu" để thu vế "thì"; modus tollens phủ định vế "thì" để thu phủ định của vế "nếu". Modus tollens chính là modus ponens áp vào câu phản đảo "nếu không q thì không p".
Vì sao từ "nếu p thì q" và "q" không suy ra được "p"?
Vì q có thể đúng do nguyên nhân khác ngoài p. Kiểu suy luận này gọi là khẳng định hậu kiện, một lỗi hình thức: có trường hợp p sai, q đúng mà "nếu p thì q" vẫn đúng.
Modus ponens có trong logic cổ đại không?
Có. Các nhà logic Khắc kỷ, gắn với Chrysippus (thế kỷ III TCN), xếp nó là kiểu suy luận "không cần chứng minh" thứ nhất, còn modus tollens là kiểu thứ hai. Tên Latin do các nhà logic Trung Cổ đặt sau này.