P là điều kiện đủ của Q nếu hễ có P thì chắc chắn có Q. Q là điều kiện cần của P nếu không có Q thì không thể có P. Hai cách nói này mô tả cùng một quan hệ “nếu P thì Q”, nhìn từ hai đầu. Ví dụ: chia hết cho 4 là điều kiện đủ để chia hết cho 2; chia hết cho 2 là điều kiện cần để chia hết cho 4.
Khi P vừa cần vừa đủ cho Q, ta nói “P khi và chỉ khi Q”. Khái niệm nghe đơn giản nhưng là nguồn của nhiều lỗi suy luận nhất trong toán học, luật, y học và quản lý, chủ yếu vì ngôn ngữ tự nhiên dùng “nếu”, “chỉ khi”, “miễn là” lẫn lộn. Phần dưới cho cách phân biệt chắc chắn, các mệnh đề liên quan, hai lỗi kinh điển, và vì sao nguyên nhân trong đời thực hiếm khi là điều kiện cần hay đủ theo nghĩa chặt.
Định nghĩa qua phép kéo theo
Mọi quan hệ cần và đủ quy về một mệnh đề điều kiện “nếu P thì Q”. Trong mệnh đề này, P đủ cho Q (có P là đủ để bảo đảm Q) và Q cần cho P (muốn có P thì phải có Q). Hình dung bằng tập hợp sẽ dễ hơn: nếu mọi phần tử của tập P đều thuộc tập Q, tức P nằm trong Q, thì thuộc P là đủ để thuộc Q, và thuộc Q là cần để thuộc P. Tập con là điều kiện đủ; tập chứa là điều kiện cần.
Điều kiện cần là điều kiện loại trừ: thiếu nó thì chắc chắn không có kết quả, nhưng có nó chưa chắc có kết quả. Có oxy là điều kiện cần để que diêm cháy; có oxy mà không quẹt thì không cháy. Điều kiện đủ là điều kiện bảo đảm: có nó thì chắc chắn có kết quả, nhưng không có nó vẫn có thể có kết quả theo đường khác. Được tuyển thẳng là điều kiện đủ để vào một trường đại học, nhưng không phải điều kiện cần, vì còn có đường xét điểm thi.
Một điều kiện có thể cần mà không đủ, đủ mà không cần, vừa cần vừa đủ, hoặc không cần cũng không đủ. Ví dụ về điều kiện vừa cần vừa đủ: một số tự nhiên chia hết cho 6 khi và chỉ khi nó chia hết cho cả 2 và 3. Trong toán học, các định lý dạng “khi và chỉ khi” có giá trị đặc biệt vì chúng cho một đặc trưng tương đương: kiểm tra vế này thay cho vế kia mà không mất thông tin.
Mẹo phân biệt qua cách nói tiếng Việt
Phần lớn nhầm lẫn bắt nguồn từ việc đọc sai từ nối. Dưới đây là các cách nói thường gặp và quan hệ logic đúng của chúng, với P và Q bất kỳ.
- “Nếu P thì Q”, “hễ P là Q”, “P kéo theo Q”: P đủ cho Q.
- “P chỉ khi Q”: P cần Q, tức nếu P thì Q. Đây là cách nói dễ đọc ngược nhất. “Được cấp học bổng chỉ khi có điểm trên 8” nghĩa là ai được học bổng thì có điểm trên 8, không có nghĩa ai có điểm trên 8 thì được học bổng.
- “P nếu Q”: Q đủ cho P, tức nếu Q thì P. Chữ “nếu” đứng giữa câu đổi chiều so với “nếu” đầu câu.
- “P miễn là Q”, “chỉ cần Q là P”: Q đủ cho P.
- “Không P trừ khi Q”, “muốn P thì phải Q”: Q cần cho P, tức nếu P thì Q.
- “P khi và chỉ khi Q”, “P nếu và chỉ nếu Q”: hai chiều, P vừa cần vừa đủ cho Q.
Mẹo kiểm tra nhanh khi bối rối: tự hỏi “nếu thiếu cái này thì cái kia có thể xảy ra không?”. Nếu không thể, cái bị thiếu là điều kiện cần. Rồi hỏi “nếu có cái này thì cái kia có chắc xảy ra không?”. Nếu chắc, nó là điều kiện đủ. Văn bản quy phạm như quy chế tuyển sinh, điều kiện hợp đồng thường liệt kê điều kiện cần (“phải đáp ứng các điều kiện sau”) mà người đọc hay hiểu thành điều kiện đủ, rồi bất ngờ khi đáp ứng đủ danh sách vẫn bị từ chối vì còn bước xét duyệt khác.
Đảo, phản, phản đảo: mệnh đề nào tương đương
Từ một mệnh đề “nếu P thì Q” có thể lập ba mệnh đề liên quan. Chỉ một trong ba luôn có cùng giá trị chân lý với mệnh đề gốc. Ví dụ dùng mệnh đề gốc: “Nếu một tứ giác là hình vuông thì nó là hình chữ nhật.”
| Tên | Dạng | Ví dụ | Quan hệ với mệnh đề gốc |
|---|---|---|---|
| Mệnh đề gốc | Nếu P thì Q | Hình vuông thì là hình chữ nhật (đúng) | — |
| Mệnh đề đảo | Nếu Q thì P | Hình chữ nhật thì là hình vuông (sai) | Không tương đương |
| Mệnh đề phản | Nếu không P thì không Q | Không phải hình vuông thì không phải hình chữ nhật (sai) | Không tương đương; tương đương với mệnh đề đảo |
| Mệnh đề phản đảo | Nếu không Q thì không P | Không phải hình chữ nhật thì không phải hình vuông (đúng) | Luôn tương đương |
Phản đảo tương đương với mệnh đề gốc là cơ sở của phép chứng minh gián tiếp: muốn chứng minh “nếu n bình phương là số chẵn thì n chẵn”, ta chứng minh mệnh đề phản đảo “nếu n lẻ thì n bình phương lẻ”, dễ hơn nhiều.
Một mệnh đề đúng mà mệnh đề đảo của nó cũng đúng thì P và Q tương đương, tức điều kiện vừa cần vừa đủ. Trong sách giáo khoa toán phổ thông, câu hỏi “định lý đảo có đúng không” chính là câu hỏi điều kiện đủ đã cho có đồng thời là điều kiện cần không. Định lý Pythagoras là ví dụ đẹp: cả định lý thuận lẫn định lý đảo đều đúng, nên “tam giác vuông tại C” khi và chỉ khi “bình phương cạnh đối diện C bằng tổng bình phương hai cạnh kia”.
Hai lỗi kinh điển: khẳng định hậu kiện và phủ định tiền kiện
Từ “nếu P thì Q” có hai suy luận hợp lệ: có P suy ra Q (modus ponens), và không Q suy ra không P (modus tollens). Và có hai suy luận nhìn rất giống nhưng không hợp lệ. Khẳng định hậu kiện: có Q suy ra P. “Nếu doanh nghiệp gian lận thuế thì lợi nhuận báo cáo thấp bất thường; lợi nhuận báo cáo của doanh nghiệp này thấp bất thường; vậy doanh nghiệp gian lận.” Lợi nhuận thấp có thể do thị trường xấu, đầu tư lớn, hay quản lý kém. Đây là nhầm điều kiện cần thành điều kiện đủ.
Phủ định tiền kiện: không P suy ra không Q. “Nếu học trường chuyên thì đỗ đại học tốp đầu; em không học trường chuyên; vậy em không đỗ.” Ngay cả khi tiền đề thứ nhất đúng, vẫn có vô số con đường khác dẫn tới kết quả. Đây là nhầm điều kiện đủ thành điều kiện cần.
Hai lỗi này phổ biến không chỉ vì người ta cẩu thả. Trong giao tiếp, câu điều kiện thường được hiểu theo nghĩa hai chiều: khi cha mẹ nói “nếu con làm xong bài thì được đi chơi”, trẻ hiểu đúng ngầm ý rằng không làm xong thì không được đi chơi. Nhà ngữ dụng học gọi đây là sự “làm giàu nghĩa” của câu điều kiện qua hàm ý hội thoại. Cách hiểu đó hợp lý trong lời hứa và lời đe doạ, nhưng mang nó sang văn bản khoa học, pháp lý hay quy trình kỹ thuật là sai. Khi đọc một quy định, hãy tự hỏi người soạn có thực sự định nói hai chiều không, và nếu cần thì yêu cầu viết rõ “khi và chỉ khi”.
Bài toán chọn thẻ của Wason
Năm 1966, Peter Wason đưa ra một bài toán trở thành một trong những thí nghiệm được nghiên cứu nhiều nhất về suy luận. Trên bàn có bốn thẻ, mỗi thẻ một mặt có chữ cái, mặt kia có chữ số. Mặt đang lộ là E, K, 4 và 7. Quy tắc: “nếu một thẻ có nguyên âm ở một mặt thì mặt kia là số chẵn”. Hỏi phải lật những thẻ nào, và chỉ những thẻ nào, để kiểm tra quy tắc có bị vi phạm không?
Đáp án là E và 7. Thẻ E phải lật vì nếu mặt sau là số lẻ, quy tắc bị vi phạm (kiểm tra modus ponens). Thẻ 7 phải lật vì nếu mặt sau là nguyên âm, quy tắc bị vi phạm (kiểm tra modus tollens). Thẻ 4 không cần lật: quy tắc không nói gì về mặt sau của số chẵn, nên chữ cái nào cũng không vi phạm; chọn thẻ 4 chính là khẳng định hậu kiện. Trong các thí nghiệm gốc, chỉ một thiểu số nhỏ người tham gia trả lời đúng; phần lớn chọn E và 4, hoặc chỉ E.
Điều thú vị là cùng cấu trúc logic, khi nội dung đổi sang quy tắc xã hội quen thuộc, kết quả thay đổi hẳn. Với quy tắc “nếu một người uống bia thì người đó phải trên tuổi quy định”, và bốn thẻ là “uống bia”, “uống nước ngọt”, “25 tuổi”, “16 tuổi”, phần lớn người tham gia chọn đúng “uống bia” và “16 tuổi”. Leda Cosmides (1989) giải thích bằng một cơ chế phát hiện kẻ gian lận hình thành qua tiến hoá; các nhà nghiên cứu khác đề xuất giải thích bằng sơ đồ suy luận thực dụng về quyền và nghĩa vụ. Cuộc tranh luận chưa ngã ngũ, nhưng bài học thực tế đã rõ: người ta suy luận điều kiện tốt hơn khi nội dung cụ thể và gần với kinh nghiệm, nên khi viết quy định, ví dụ cụ thể giúp người đọc hiểu đúng hơn công thức trừu tượng.
Điều kiện trong thế giới thật: nguyên nhân INUS của Mackie
Khi nói “chập điện gây ra vụ cháy”, chập điện không phải điều kiện cần (nhà có thể cháy vì nguyên nhân khác), cũng không phải điều kiện đủ (chập điện mà không có vật dễ cháy gần đó thì không cháy). Vậy “gây ra” nghĩa là gì? Năm 1965, triết gia J. L. Mackie đề xuất khái niệm điều kiện INUS: nguyên nhân là một phần không đủ nhưng không thừa của một tổ hợp điều kiện không cần nhưng đủ để gây ra kết quả.
Áp vào ví dụ: tổ hợp “chập điện, có vật dễ cháy gần đó, không có hệ thống chữa cháy tự động” đủ để gây cháy. Tổ hợp này không cần, vì còn những tổ hợp khác dẫn tới cháy. Chập điện một mình không đủ, nhưng trong tổ hợp đó nó không thừa: bỏ nó đi thì tổ hợp không còn đủ. Phân tích này giải thích vì sao các bên trong một vụ việc có thể chỉ ra những “nguyên nhân” khác nhau mà không ai nói sai: mỗi người nhấn vào một thành phần khác của cùng tổ hợp.
Khung INUS có hệ quả thực tiễn. Trong dịch tễ học, mô hình “nguyên nhân thành phần” của Kenneth Rothman có cấu trúc tương tự: một bệnh có nhiều tổ hợp nguyên nhân đủ, mỗi tổ hợp gồm nhiều thành phần. Trong quản lý, nó cho thấy vì sao tìm “nguyên nhân gốc rễ duy nhất” của một sự cố thường là ảo tưởng: sự cố xảy ra khi nhiều điều kiện cùng hội tụ, và có thể ngăn nó bằng cách gỡ bất kỳ thành phần nào trong tổ hợp, thường là thành phần rẻ nhất để gỡ. Mô hình lớp phô mai Thuỵ Sĩ của James Reason trong an toàn hệ thống dựa trên trực giác giống vậy.
Câu hỏi thường gặp
Điều kiện cần và đủ trong toán học khác gì trong đời sống?
Trong toán học, quan hệ là tuyệt đối: điều kiện đủ bảo đảm kết quả trong mọi trường hợp, không ngoại lệ. Trong đời sống và khoa học thực nghiệm, ta thường chỉ có điều kiện “gần đủ” hay “gần cần”, tức làm tăng hay giảm mạnh xác suất. Nói “tập thể dục là điều kiện cần để khoẻ mạnh” là cách nói phóng đại; chính xác hơn là tập thể dục làm tăng khả năng giữ sức khoẻ tốt.
Làm sao chứng minh một điều kiện không phải là điều kiện đủ?
Chỉ cần một phản ví dụ: một trường hợp có điều kiện đó mà không có kết quả. Muốn chứng minh không phải điều kiện cần, cũng chỉ cần một phản ví dụ: một trường hợp có kết quả mà thiếu điều kiện đó. Ngược lại, chứng minh một điều kiện là cần hoặc đủ thì phải lập luận cho mọi trường hợp, đó là lý do bác bỏ dễ hơn chứng minh.
Câu “không có lửa làm sao có khói” nói lên điều kiện gì?
Câu này khẳng định lửa là điều kiện cần của khói: có khói thì phải có lửa. Từ đó người ta suy ra thấy khói thì có lửa, là suy luận hợp lệ nếu tiền đề đúng. Vấn đề nằm ở tiền đề, vì khói theo nghĩa đen có thể sinh từ phản ứng hoá học hay hơi nước, và theo nghĩa bóng, tin đồn có thể xuất hiện mà không có sự thật nào đằng sau.
Trong lập trình, điều kiện cần và đủ xuất hiện ở đâu?
Rõ nhất ở kiểm tra điều kiện và xác thực. Kiểm tra mật khẩu đúng thường là điều kiện cần nhưng không đủ để cho phép một thao tác nhạy cảm, vì còn cần kiểm tra quyền. Lỗi bảo mật kinh điển là viết mã coi điều kiện cần như điều kiện đủ, chẳng hạn cho phép truy cập chỉ vì người dùng đã đăng nhập mà không kiểm tra tài nguyên đó có thuộc về họ không.
Mệnh đề đảo của một định lý đúng có hay đúng không?
Không có quy tắc chung; phải chứng minh riêng. Nhiều định lý có đảo đúng, như định lý Pythagoras hay tính chất đường trung trực. Nhiều định lý có đảo sai: mọi số nguyên tố lớn hơn 2 đều lẻ, nhưng không phải số lẻ nào cũng là số nguyên tố. Thói quen tốt khi học một định lý là tự hỏi mệnh đề đảo có đúng không, và tìm phản ví dụ nếu không.