Logic mệnh đề là phần toán học nghiên cứu cách ghép những câu chỉ có thể đúng hoặc sai bằng các phép nối “và”, “hoặc”, “không”, “nếu… thì”, “khi và chỉ khi”, rồi tính câu ghép đúng hay sai dựa trên từng thành phần. Công cụ chính là bảng chân trị: liệt kê mọi tổ hợp đúng sai của các mệnh đề đơn và đọc ra kết quả. Hai mệnh đề cho bốn dòng, ba mệnh đề cho tám dòng, n mệnh đề cho 2 mũ n dòng.
Đây là chương mở đầu của hầu hết giáo trình toán rời rạc năm nhất, và là chương sinh viên hay coi nhẹ nhất cho tới khi gặp phép kéo theo. Bài đi qua năm phép nối, giải thích chỗ gây khó chịu nhất là vì sao giả thiết sai thì cả câu vẫn đúng, các tương đương cần thuộc, những lỗi suy luận phổ biến, và cách dùng AI để luyện mà không bị dẫn sai.
Mệnh đề là gì và năm phép nối cơ bản
Mệnh đề là một câu khẳng định có giá trị chân lý xác định: hoặc đúng (ký hiệu Đ, hay 1), hoặc sai (S, hay 0), không có giá trị thứ ba. “Hà Nội là thủ đô của Việt Nam” là mệnh đề đúng. “7 là số chẵn” là mệnh đề sai. Còn “Mấy giờ rồi?” hay “Học bài đi!” không phải mệnh đề, vì câu hỏi và câu mệnh lệnh không đúng cũng không sai. Câu “x lớn hơn 3” cũng chưa phải mệnh đề chừng nào x chưa được gán giá trị; loại câu chứa biến như vậy gọi là vị từ, thuộc logic vị từ, phần học tiếp theo.
Từ các mệnh đề đơn, ký hiệu bằng chữ p, q, r, ta ghép thành mệnh đề phức bằng năm phép nối. Phủ định, viết ¬p, đọc “không p”, đảo giá trị của p. Hội, viết p ∧ q, đọc “p và q”, chỉ đúng khi cả hai cùng đúng. Tuyển, viết p ∨ q, đọc “p hoặc q”, đúng khi ít nhất một trong hai đúng; đây là “hoặc” bao hàm, cả hai cùng đúng thì vẫn đúng, khác với “hoặc” loại trừ trong câu “cơm hoặc phở” ở quán ăn. Kéo theo, viết p → q, đọc “nếu p thì q”. Tương đương, viết p ↔ q, đọc “p khi và chỉ khi q”, đúng khi hai vế cùng giá trị.
Thứ tự ưu tiên thường dùng: phủ định trước, rồi hội, rồi tuyển, rồi kéo theo, cuối cùng là tương đương. Tuy vậy các giáo trình có quy ước hơi khác nhau, nên khi viết bài nộp hay hỏi AI, cách an toàn là đặt ngoặc đầy đủ. Viết (¬p) ∨ q thay vì ¬p ∨ q tốn thêm hai ký tự nhưng không ai đọc nhầm.
Bảng chân trị đầy đủ cho hai mệnh đề
Bảng dưới liệt kê bốn tổ hợp giá trị của p và q cùng kết quả của các phép nối. Đây là bảng nên tự chép tay một lần, vì mọi bài tập sau đều quy về việc tra những dòng này.
| p | q | ¬p | p ∧ q | p ∨ q | p → q | p ↔ q |
|---|---|---|---|---|---|---|
| Đ | Đ | S | Đ | Đ | Đ | Đ |
| Đ | S | S | S | Đ | S | S |
| S | Đ | Đ | S | Đ | Đ | S |
| S | S | Đ | S | S | Đ | Đ |
Cách dùng bảng để kiểm một mệnh đề phức: thêm cột cho từng biểu thức con, tính từ trong ra ngoài. Ví dụ để kiểm (p → q) ∧ (q → p) có giống p ↔ q không, bạn lập cột p → q được Đ, S, Đ, Đ, cột q → p được Đ, Đ, S, Đ, rồi lấy hội của hai cột được Đ, S, S, Đ, trùng khớp cột cuối của bảng. Hai biểu thức có cùng cột kết quả trên mọi dòng gọi là tương đương logic.
Biểu thức đúng trên mọi dòng gọi là hằng đúng, ví dụ p ∨ ¬p. Biểu thức sai trên mọi dòng gọi là mâu thuẫn, ví dụ p ∧ ¬p. Khi số biến tăng, bảng nở rất nhanh: năm biến đã cần 32 dòng, mười biến cần 1.024 dòng. Đó là lý do người ta học thêm các luật biến đổi ở mục sau thay vì lúc nào cũng lập bảng.
Vì sao “nếu p thì q” vẫn đúng khi p sai
Chỗ gây tranh cãi nhất của bảng là hai dòng cuối ở cột kéo theo: khi p sai, p → q luôn đúng, bất kể q ra sao. Sinh viên thường thấy vô lý: câu “nếu 2 cộng 2 bằng 5 thì Mặt Trăng làm bằng phô mai” lại được coi là đúng. Vướng mắc nằm ở chỗ ta đọc “nếu… thì” theo nghĩa nhân quả của đời thường, trong khi logic mệnh đề chỉ quan tâm một điều: câu kéo theo có bị vi phạm hay không.
Thử nghĩ p → q như một lời hứa. Thầy giáo nói: “Nếu em làm đủ bài tập thì em được cộng điểm chuyên cần.” Lời hứa chỉ bị phá khi em làm đủ bài mà không được cộng, tức p đúng còn q sai. Nếu em không làm đủ bài, dù thầy cộng hay không, thầy cũng chưa nuốt lời; lời hứa không nói gì về trường hợp đó. Logic gán giá trị đúng cho mọi trường hợp không bị vi phạm, nên chỉ có đúng một dòng sai.
Cách nhìn thứ hai thuần đại số: p → q tương đương với ¬p ∨ q. Bạn kiểm được bằng bảng, cột ¬p ∨ q ra đúng Đ, S, Đ, Đ. Dạng này rất có ích khi biến đổi biểu thức và khi viết điều kiện trong chương trình. Cách nhìn thứ ba đến từ chính toán học: các định lý dạng “với mọi x, nếu x chia hết cho 4 thì x chẵn” phải đúng cả với những x không chia hết cho 4. Nếu gán giá trị sai cho các trường hợp tiền đề sai, gần như không định lý nào sống sót. Quy ước này vì vậy không tuỳ tiện; nó là lựa chọn khiến toán học vận hành trơn tru.
Các tương đương logic nên thuộc lòng
Luật De Morgan. ¬(p ∧ q) tương đương ¬p ∨ ¬q, và ¬(p ∨ q) tương đương ¬p ∧ ¬q. Phủ định của “trời mưa và lạnh” là “trời không mưa hoặc không lạnh”, không phải “trời không mưa và không lạnh”. Đây là luật bị dùng sai nhiều nhất, trong cả bài tập lẫn điều kiện viết trong mã nguồn.
Phản đảo. p → q tương đương ¬q → ¬p. “Nếu chia hết cho 4 thì chẵn” tương đương “nếu không chẵn thì không chia hết cho 4”. Phép chứng minh phản đảo dựa trên luật này: thay vì chứng minh trực tiếp, bạn chứng minh mệnh đề phản đảo khi nó dễ hơn.
Mệnh đề đảo không tương đương. q → p, gọi là mệnh đề đảo, nói chung khác p → q. “Số chẵn thì chia hết cho 4” sai, vì 6 là phản ví dụ, trong khi mệnh đề gốc đúng.
Phủ định của kéo theo. ¬(p → q) tương đương p ∧ ¬q. Muốn bác bỏ “nếu p thì q”, bạn chỉ cần một trường hợp p đúng mà q sai, không cần chứng minh “nếu p thì không q”.
Luật phân phối. p ∧ (q ∨ r) tương đương (p ∧ q) ∨ (p ∧ r), và p ∨ (q ∧ r) tương đương (p ∨ q) ∧ (p ∨ r). Chiều thứ hai không có bản tương tự trong số học thông thường nên hay bị quên.
Luật hấp thụ. p ∨ (p ∧ q) tương đương p, và p ∧ (p ∨ q) tương đương p. Luật này giúp rút gọn những điều kiện viết dài dòng về dạng gọn.
Bốn lỗi suy luận phổ biến, nhận ra bằng bảng chân trị
Một lập luận hợp lệ là lập luận mà mỗi khi mọi tiền đề đúng, kết luận cũng đúng. Cách kiểm bằng bảng chân trị: tìm xem có dòng nào các tiền đề đều Đ mà kết luận lại S không. Chỉ cần một dòng như vậy, lập luận không hợp lệ.
- Khẳng định hệ quả: từ “nếu p thì q” và “q đúng” suy ra “p đúng”. Ví dụ: nếu máy hỏng nguồn thì máy không lên; máy không lên; vậy máy hỏng nguồn. Sai, vì máy có thể không lên do hỏng màn hình. Trên bảng, dòng p sai, q đúng làm cả hai tiền đề đúng mà kết luận sai.
- Phủ định tiền đề: từ “nếu p thì q” và “p sai” suy ra “q sai”. Nếu học chăm thì đỗ; bạn ấy không học chăm; vậy bạn ấy trượt. Sai cùng một lý do: dòng p sai, q đúng.
- Nhầm “hoặc” bao hàm với loại trừ: từ “p hoặc q” và “p đúng” suy ra “q sai”. Chỉ hợp lệ khi đề bài nói rõ đó là hoặc loại trừ.
- Phủ định sai câu có “và”, “hoặc”: lấy phủ định từng vế mà giữ nguyên phép nối, trái với luật De Morgan.
Ngược lại, hai dạng suy luận hợp lệ cơ bản là modus ponens (có p → q và p, suy ra q) và modus tollens (có p → q và ¬q, suy ra ¬p). Phân biệt bốn dạng sai và hai dạng đúng này bằng bảng chân trị một lần, bạn sẽ nhận ra chúng trong rất nhiều lập luận hằng ngày, từ lời quảng cáo đến bình luận trên mạng.
Dùng AI để luyện logic mệnh đề mà không bị dẫn sai
Chatbot giải thích khái niệm logic khá trôi chảy, nhưng khi lập bảng chân trị dài nó vẫn có thể điền sai một ô và kết luận rất tự tin. Quy trình dưới giúp bạn dùng nó như người kèm, còn phần kiểm vẫn nằm trong tay bạn.
- Tự lập bảng chân trị trước, trên giấy, rồi mới hỏi. Câu lệnh mẫu: “Mình đang học logic mệnh đề. Đây là bảng chân trị mình tự lập cho biểu thức (p → q) ∨ ¬r, gồm tám dòng như sau… Kiểm từng dòng, chỉ ra dòng nào sai và giải thích vì sao, chưa cần đưa bảng đúng.”
- Nhờ AI ra đề có đáp án giữ lại: “Cho mình năm biểu thức ba biến, vài cái là hằng đúng, vài cái không. Chưa nói đáp án, mình tự làm rồi gửi lại.”
- Khi AI nói hai biểu thức tương đương, đòi nó trình bày chuỗi biến đổi từng bước, mỗi bước gọi tên luật (De Morgan, phân phối, phản đảo). Bước nào không gọi được tên luật là bước đáng ngờ.
- Kiểm chéo bằng một cách độc lập: tự viết vài dòng chương trình duyệt mọi tổ hợp Đ và S, hoặc dùng một công cụ tạo bảng chân trị. Hai nguồn khớp nhau mới coi là xong.
- Nhờ AI dịch câu tiếng Việt sang ký hiệu, rồi tự dịch ngược lại. Câu như “không phải ai đi học muộn cũng bị nhắc” rất dễ dịch sai phạm vi của phủ định; dịch ngược giúp lộ ra chỗ lệch.
Với bài tập có chấm điểm, dùng AI để hiểu và để kiểm, còn lời giải nộp là của bạn. Nhiều trường đã có quy định riêng về việc dùng AI trong bài tập; đọc kỹ đề cương môn học trước khi dùng.
Logic mệnh đề trong lập trình và tìm kiếm thông tin
Mọi câu lệnh if trong chương trình đều là một mệnh đề phức. Điều kiện “không phải (đã đăng nhập và là quản trị viên)” theo De Morgan bằng “chưa đăng nhập hoặc không phải quản trị viên”. Người mới lập trình hay viết điều kiện lồng ba bốn tầng rồi tự rối; biến đổi bằng các luật tương đương thường rút gọn được đáng kể. Chiều ngược lại cũng quan trọng: khi sửa một điều kiện, lập bảng chân trị nhỏ cho bản cũ và bản mới để chắc hai bản cho cùng kết quả trên mọi trường hợp.
Các ngôn ngữ lập trình còn có cơ chế đánh giá rút gọn: với “p và q”, nếu p đã sai thì máy không tính q nữa; với “p hoặc q”, nếu p đã đúng thì bỏ qua q. Về giá trị chân lý, kết quả vẫn y như bảng, nhưng thứ tự viết điều kiện quyết định vế sau có được chạy hay không, ví dụ phải kiểm “danh sách khác rỗng” trước khi lấy phần tử đầu tiên.
Ngoài lập trình, logic mệnh đề có mặt trong tìm kiếm tài liệu: nhiều thư viện số và cơ sở dữ liệu học thuật cho dùng toán tử AND, OR, NOT. Tìm “đồ thị AND (thuật toán OR ứng dụng) NOT hoá học” chính là viết một biểu thức logic. Ở tầng sâu hơn, mạch điện tử trong máy tính là các cổng thực hiện đúng những phép nối này, và bài toán kiểm xem một biểu thức có cách gán làm nó đúng hay không, gọi là bài toán SAT, là một trong những bài toán trung tâm của khoa học máy tính lý thuyết.
Câu hỏi thường gặp
Logic mệnh đề khác logic vị từ ở điểm nào?
Logic mệnh đề coi mỗi câu là một khối đúng hoặc sai, không nhìn vào bên trong. Logic vị từ cho phép câu chứa biến và lượng từ “với mọi”, “tồn tại”, như “với mọi số tự nhiên n, n cộng 1 lớn hơn n”. Phần lớn định lý toán cần logic vị từ, nhưng các phép nối và bảng chân trị học ở logic mệnh đề vẫn dùng nguyên vẹn bên trong.
Có cách nào kiểm tương đương logic nhanh hơn lập bảng không?
Có hai cách thường dùng. Một là biến đổi bằng các luật đã biết cho tới khi hai vế giống nhau. Hai là tìm phản ví dụ: chỉ cần một cách gán giá trị làm hai biểu thức cho kết quả khác nhau là đủ kết luận chúng không tương đương. Với biểu thức nhiều biến, cách thứ hai thường nhanh hơn nhiều so với lập đủ bảng.
Tại sao các giáo trình dùng ký hiệu khác nhau cho cùng một phép nối?
Ký hiệu logic hình thành qua nhiều trường phái nên không thống nhất hoàn toàn. Phép hội có nơi viết dấu chấm hoặc dấu và; phép kéo theo có nơi dùng mũi tên đôi. Khi học, bám theo ký hiệu của giáo trình môn mình, và khi hỏi AI nên nói rõ ký hiệu nào nghĩa là gì để tránh nó hiểu theo quy ước khác.
Biểu thức có n biến thì bảng chân trị có bao nhiêu dòng?
Có 2 mũ n dòng, vì mỗi biến nhận hai giá trị độc lập với nhau. Hai biến cho bốn dòng, ba biến tám dòng, bốn biến mười sáu dòng. Để không sót dòng, liệt kê giống cách đếm nhị phân: biến cuối đổi giá trị liên tục, biến đầu đổi chậm nhất, chỉ đổi một lần ở giữa bảng.
Học logic mệnh đề có ích gì cho người không làm toán?
Có, ở mức thói quen suy nghĩ. Phân biệt mệnh đề với mệnh đề đảo, nhận ra lỗi khẳng định hệ quả, phủ định đúng một câu có “và” hay “hoặc” là những kỹ năng dùng hằng ngày khi đọc hợp đồng, đọc quy định, viết yêu cầu cho người khác, và khi viết câu lệnh cho AI sao cho điều kiện không bị hiểu sai.
AI có giải được mọi bài logic mệnh đề không?
Về nguyên tắc, bài logic mệnh đề luôn giải được bằng cách duyệt hết bảng chân trị, nên một chương trình viết đúng sẽ không sai. Chatbot ngôn ngữ thì khác: nó sinh câu trả lời theo xác suất chứ không thật sự duyệt bảng, nên vẫn có thể sai ở bảng dài. Dùng nó để giải thích, còn kết quả nên kiểm bằng công cụ tính toán hoặc bằng tay.