Bài 1: Mệnh đề toán học
Lý thuyết chi tiết chuẩn SGK Toán 10, phân dạng toán rõ ràng kèm phương pháp giải và 18+ ví dụ minh họa từng dạng, đồ thị JSXGraph, trắc nghiệm động và bài tập tự luận.
I. Lý thuyết trọng tâm Mệnh đề toán học
1. Mệnh đề toán học & Mệnh đề chứa biến
• Mệnh đề toán học (gọi tắt là mệnh đề) là một khẳng định có tính đúng hoặc sai.
• Một khẳng định không thể vừa đúng vừa sai. Những câu cảm thán, câu hỏi, câu mệnh lệnh không phải là mệnh đề.
• Mệnh đề chứa biến: Là khẳng định chứa biến số $x, y,\dots$, tính đúng sai phụ thuộc vào giá trị của biến.
2. Mệnh đề phủ định
• Mệnh đề "Không phải $P$" gọi là mệnh đề phủ định của $P$, ký hiệu là $\bar{P}$.
• Nếu $P$ đúng thì $\bar{P}$ sai. Nếu $P$ sai thì $\bar{P}$ đúng.
3. Mệnh đề kéo theo, mệnh đề đảo & Điều kiện cần, đủ
• Mệnh đề "Nếu $P$ thì $Q$" ký hiệu $P \Rightarrow Q$. Mệnh đề $P \Rightarrow Q$ chỉ sai khi $P$ đúng và $Q$ sai.
• Phát biểu theo điều kiện: "$P$ là điều kiện đủ để có $Q$"; "$Q$ là điều kiện cần để có $P$".
• Mệnh đề đảo: Mệnh đề $Q \Rightarrow P$ là mệnh đề đảo của $P \Rightarrow Q$.
4. Mệnh đề tương đương & Mệnh đề chứa ∀, ∃
• $P \Leftrightarrow Q$ đúng khi cả $P$ và $Q$ cùng đúng hoặc cùng sai. Phát biểu: "$P$ là điều kiện cần và đủ để có $Q$".
• Ký hiệu $\forall$: "Với mọi". Phủ định của $\forall x \in X, P(x)$ là $\exists x \in X, \bar{P}(x)$.
• Ký hiệu $\exists$: "Tồn tại". Phủ định của $\exists x \in X, P(x)$ là $\forall x \in X, \bar{P}(x)$.
II. Minh họa trực quan & Đồ thị tương tác (JSXGraph)
Sơ đồ logic mệnh đề kéo theo và quan hệ bao hàm tập hợp $P subset Q$.
💡 Mô phỏng 1: Tập hợp P nằm hoàn toàn trong tập Q thể hiện mệnh đề P ⇒ Q.
III. Các dạng toán trọng tâm (Mỗi dạng kèm ít nhất 3 ví dụ liền)
Dạng 1: Nhận biết mệnh đề toán học & Mệnh đề chứa biến
Khẳng định toán học đúng hoặc sai là mệnh đề. Câu hỏi, câu cảm thán không phải mệnh đề.
Trong các câu sau, câu nào là mệnh đề toán học?
a) $2 + 3 = 5$.
b) $x + 1 = 0$.
c) Hôm nay trời lạnh quá!
Xem lời giải
• a) Là mệnh đề toán học (đúng).
• b) Là mệnh đề chứa biến (chưa biết đúng sai khi chưa có $x$).
• c) Câu cảm thán $\Rightarrow$ Không phải mệnh đề toán học.
Trong các phát biểu sau, phát biểu nào là mệnh đề?
a) $17$ là số nguyên tố.
b) Số $\pi$ có phải là số vô tỉ không?
Xem lời giải
• a) Mệnh đề toán học đúng.
• b) Câu hỏi $\Rightarrow$ Không là mệnh đề.
Cho $P(x): "x^2 - 9 = 0"$. Tìm hai giá trị của $x$ để $P(x)$ là mệnh đề đúng.
Xem lời giải
• $x^2 - 9 = 0 \Leftrightarrow x = 3$ hoặc $x = -3$.
• $P(3)$ và $P(-3)$ là hai mệnh đề đúng.
Dạng 2: Xét tính đúng sai của mệnh đề
Dùng kiến thức toán học kiểm tra tính đúng/sai của khẳng định.
Xét tính đúng sai của mệnh đề $P$: "$3^2 + 4^2 = 5^2$".
Xem lời giải
• $3^2 + 4^2 = 9 + 16 = 25 = 5^2 \Rightarrow$ Mệnh đề $P$ ĐÚNG.
Xét tính đúng sai của mệnh đề $Q$: "Tổng hai cạnh bất kỳ của một tam giác luôn nhỏ hơn cạnh thứ ba".
Xem lời giải
• Theo bất đẳng thức tam giác, tổng hai cạnh luôn lớn hơn cạnh thứ ba $\Rightarrow$ Mệnh đề $Q$ SAI.
Xét tính đúng sai của mệnh đề $R$: "Số $2024$ chia hết cho 3".
Xem lời giải
• Tổng các chữ số: $2 + 0 + 2 + 4 = 8$ không chia hết cho 3 $\Rightarrow$ Mệnh đề $R$ SAI.
Dạng 3: Lập mệnh đề phủ định
Thêm hoặc bớt từ "không" / "không phải" trước vị ngữ của mệnh đề $P$.
Lập mệnh đề phủ định của $P$: "Số 13 là số chẵn".
Xem lời giải
• $\bar{P}$: "Số 13 không phải là số chẵn" (hoặc "Số 13 là số lẻ"). $P$ sai $\Rightarrow \bar{P}$ đúng.
Lập mệnh đề phủ định của $Q$: "$2^3 > 5$".
Xem lời giải
• Phủ định của $>$ là $\le \Rightarrow \bar{Q}: "2^3 \le 5"$.
Lập mệnh đề phủ định của $R$: "Số 15 chia hết cho 5".
Xem lời giải
• $\bar{R}$: "Số 15 không chia hết cho 5".
Dạng 4: Mệnh đề kéo theo, mệnh đề đảo & Điều kiện cần - đủ
• Mệnh đề kéo theo: $P \Rightarrow Q$. Mệnh đề đảo: $Q \Rightarrow P$.
• $P$ là điều kiện đủ để có $Q$. $Q$ là điều kiện cần để có $P$.
Cho $P$: "Tam giác $ABC$ đều", $Q$: "Tam giác $ABC$ cân". Lập mệnh đề $P \Rightarrow Q$ và mệnh đề đảo $Q \Rightarrow P$.
Xem lời giải
• $P \Rightarrow Q$: "Nếu tam giác $ABC$ đều thì tam giác $ABC$ cân" (ĐÚNG).
• $Q \Rightarrow P$: "Nếu tam giác $ABC$ cân thì tam giác $ABC$ đều" (SAI).
Phát biểu mệnh đề "Nếu $a = b$ thì $a^2 = b^2$" dưới dạng điều kiện đủ và điều kiện cần.
Xem lời giải
• Điều kiện đủ: "$a = b$ là điều kiện đủ để $a^2 = b^2$".
• Điều kiện cần: "$a^2 = b^2$ là điều kiện cần để $a = b$".
Xét tính đúng sai của mệnh đề: "Nếu $1 > 2$ thì $3 > 4$".
Xem lời giải
• Giả thiết $P: "1 > 2"$ SAI. Theo quy tắc logic, mệnh đề $P \Rightarrow Q$ có giả thiết sai thì mệnh đề đó luôn ĐÚNG.
Dạng 5: Mệnh đề tương đương & Điều kiện cần và đủ
$P \Leftrightarrow Q$ đúng khi và chỉ khi cả hai mệnh đề kéo theo $P \Rightarrow Q$ và $Q \Rightarrow P$ đều đúng.
Xét tính đúng sai của mệnh đề: "Tam giác $ABC$ vuông tại $A$ khi và chỉ khi $AB^2 + AC^2 = BC^2$".
Xem lời giải
• Theo định lý Pitago thuận và đảo, hai chiều đều đúng $\Rightarrow$ Mệnh đề tương đương ĐÚNG.
Phát biểu định lý: "Số tự nhiên $n$ chia hết cho 2 khi và chỉ khi chữ số tận cùng của $n$ là số chẵn" dưới dạng điều kiện cần và đủ.
Xem lời giải
• "Chữ số tận cùng của $n$ là số chẵn là điều kiện cần và đủ để số tự nhiên $n$ chia hết cho 2".
Xét mệnh đề: "$x^2 = 4 \Leftrightarrow x = 2$". Mệnh đề này đúng hay sai?
Xem lời giải
• Mệnh đề đảo "$x^2 = 4 \Rightarrow x = 2$" là SAI (vì $x$ có thể bằng $-2$). Do đó mệnh đề tương đương là SAI.
Dạng 6: Mệnh đề chứa ký hiệu ∀, ∃ & Phủ định
• $\overline{\forall x \in X, P(x)} \equiv \exists x \in X, \bar{P}(x)$.
• $\overline{\exists x \in X, P(x)} \equiv \forall x \in X, \bar{P}(x)$.
Lập mệnh đề phủ định của $P: "\forall x \in \mathbb{R}, x^2 + 1 > 0"$.
Xem lời giải
• $\bar{P}: "\exists x \in \mathbb{R}, x^2 + 1 \le 0"$.
Lập mệnh đề phủ định của $Q: "\exists n \in \mathbb{N}, n^2 + 1 \text{ chia hết cho } 3"$.
Xem lời giải
• $\bar{Q}: "\forall n \in \mathbb{N}, n^2 + 1 \text{ không chia hết cho } 3"$.
Xét tính đúng sai của $R: "\exists x \in \mathbb{R}, x^2 = 2"$.
Xem lời giải
• Vì tồn tại $x = \sqrt{2} \in \mathbb{R}$ sao cho $(\sqrt{2})^2 = 2 \Rightarrow$ Mệnh đề $R$ ĐÚNG.
🎯 IV. Bài tập trắc nghiệm tự luyện
Dưới đây là 18 câu hỏi trắc nghiệm động đủ các dạng (MCQ single choice, MSQ Đúng/Sai, SA Điền đáp án) kèm giải thích chi tiết giúp bạn củng cố toàn bộ kiến thức bài học.
Ngân hàng câu hỏi trắc nghiệm Mệnh đề toán học
Rèn luyện trắc nghiệm động với giải thích chi tiết — mở ngay giao diện thi thử trực tuyến!
🚀 Làm bài trắc nghiệm ngay →📝 Bài tập tự luận tổng hợp (10 bài từ dễ đến khó)
Bài 1 (Cơ bản - Nhận biết). Trong các phát biểu sau, câu nào là mệnh đề toán học, câu nào là mệnh đề chứa biến, câu nào không phải là mệnh đề? Xét tính đúng sai của các mệnh đề toán học:
a) $19$ là số nguyên tố.
b) $2x + 1 = 5$.
c) Hãy giữ trật tự trong lớp học!
d) Tích của hai số chẵn liên tiếp chia hết cho $8$.
Xem lời giải Bài 1
• a) Là mệnh đề toán học (ĐÚNG, vì 19 chỉ chia hết cho 1 và 19).
• b) Là mệnh đề chứa biến $x$ (chưa khẳng định tính đúng sai khi chưa biết giá trị của $x$).
• c) Là câu mệnh lệnh $\Rightarrow$ Không phải là mệnh đề.
• d) Là mệnh đề toán học (ĐÚNG, vì hai số chẵn liên tiếp $2k(2k+2) = 4k(k+1)$, tích $k(k+1)$ chia hết cho 2 nên tổng thể chia hết cho 8).
Bài 2 (Cơ bản - Phủ định mệnh đề). Lập mệnh đề phủ định của các mệnh đề sau và xét tính đúng sai của mệnh đề phủ định đó:
a) $P: "2024 \text{ chia hết cho } 4"$.
b) $Q: "5^2 + 12^2 \ne 13^2"$.
c) $R: "2 \text{ là số nguyên tố nhỏ nhất}"$.
Xem lời giải Bài 2
• a) $\bar{P}: "2024 \text{ không chia hết cho } 4"$. Vì $P$ đúng nên $\bar{P}$ SAI.
• b) $\bar{Q}: "5^2 + 12^2 = 13^2"$. Vì $25 + 144 = 169 = 13^2$ đúng nên $\bar{Q}$ ĐÚNG.
• c) $\bar{R}: "2 \text{ không phải là số nguyên tố nhỏ nhất}"$. Vì $R$ đúng nên $\bar{R}$ SAI.
Bài 3 (Thông hiểu - Mệnh đề chứa ∀, ∃). Phủ định các mệnh đề sau và xét tính đúng sai của mệnh đề phủ định thu được:
a) $P: "\forall x \in \mathbb{R}, x^2 - 4x + 4 \ge 0"$.
b) $Q: "\exists n \in \mathbb{N}, n^2 + 1 \text{ chia hết cho } 3"$.
c) $R: "\forall x \in \mathbb{R}, x^2 + 1 > 0"$.
Xem lời giải Bài 3
• a) $\bar{P}: "\exists x \in \mathbb{R}, x^2 - 4x + 4 < 0"$. Vì $x^2 - 4x + 4 = (x-2)^2 \ge 0$ với mọi $x$ nên $P$ đúng $\Rightarrow \bar{P}$ SAI.
• b) $\bar{Q}: "\forall n \in \mathbb{N}, n^2 + 1 \text{ không chia hết cho } 3"$. Với số tự nhiên $n$, $n^2$ chia 3 dư 0 hoặc 1, do đó $n^2+1$ chia 3 dư 1 hoặc 2 (không bao giờ chia hết cho 3). Vậy $\bar{Q}$ ĐÚNG.
• c) $\bar{R}: "\exists x \in \mathbb{R}, x^2 + 1 \le 0"$. Vì $x^2+1 \ge 1 > 0$ với mọi $x$ nên $R$ đúng $\Rightarrow \bar{R}$ SAI.
Bài 4 (Thông hiểu - Mệnh đề kéo theo và mệnh đề đảo). Cho hai cặp mệnh đề sau. Phát biểu mệnh đề kéo theo $P \Rightarrow Q$, mệnh đề đảo $Q \Rightarrow P$, và xét tính đúng sai của mỗi mệnh đề:
a) $P$: "Tam giác $ABC$ vuông tại $A$", $Q$: "Tam giác $ABC$ có $AB^2 + AC^2 = BC^2$".
b) $P$: "Số tự nhiên $n$ có tổng các chữ số chia hết cho $9$", $Q$: "Số tự nhiên $n$ chia hết cho $9$".
Xem lời giải Bài 4
• a) $P \Rightarrow Q$: "Nếu tam giác $ABC$ vuông tại $A$ thì $AB^2 + AC^2 = BC^2$" (ĐÚNG, Định lý Pitago). Mệnh đề đảo $Q \Rightarrow P$: "Nếu tam giác $ABC$ có $AB^2 + AC^2 = BC^2$ thì tam giác $ABC$ vuông tại $A$" (ĐÚNG, Định lý Pitago đảo).
• b) $P \Rightarrow Q$: "Nếu số tự nhiên $n$ có tổng các chữ số chia hết cho 9 thì $n$ chia hết cho 9" (ĐÚNG). Mệnh đề đảo $Q \Rightarrow P$: "Nếu số tự nhiên $n$ chia hết cho 9 thì $n$ có tổng các chữ số chia hết cho 9" (ĐÚNG).
Bài 5 (Vận dụng - Điều kiện cần và đủ). Phát biểu các định lý sau dưới dạng mệnh đề "$P$ là điều kiện đủ để có $Q$" và "$Q$ là điều kiện cần để có $P$":
a) Nếu tứ giác $ABCD$ là hình thoi thì $ABCD$ có hai đường chéo vuông góc với nhau.
b) Nếu số thực $a > b$ thì $a + c > b + c$ với mọi $c \in \mathbb{R}$.
Xem lời giải Bài 5
• a) Điều kiện đủ: "Tứ giác $ABCD$ là hình thoi là điều kiện đủ để $ABCD$ có hai đường chéo vuông góc".
Điều kiện cần: "Tứ giác $ABCD$ có hai đường chéo vuông góc là điều kiện cần để $ABCD$ là hình thoi".
• b) Điều kiện đủ: "$a > b$ là điều kiện đủ để $a + c > b + c$".
Điều kiện cần: "$a + c > b + c$ là điều kiện cần để $a > b$".
Bài 6 (Vận dụng - Mệnh đề tương đương). Phát biểu định lý sau sử dụng cụm từ "khi và chỉ khi" hoặc "điều kiện cần và đủ": "Một tứ giác là hình chữ nhật khi nó có ba góc vuông". Mệnh đề tương đương này đúng hay sai? Giải thích.
Xem lời giải Bài 6
• Phát biểu: "Tứ giác $ABCD$ là hình chữ nhật khi và chỉ khi $ABCD$ có ba góc vuông" (hoặc "Tứ giác $ABCD$ có ba góc vuông là điều kiện cần và đủ để $ABCD$ là hình chữ nhật").
• Mệnh đề tương đương này ĐÚNG vì:
- Chiều thuận: Hình chữ nhật có 4 góc vuông $\Rightarrow$ có 3 góc vuông.
- Chiều đảo: Tứ giác có 3 góc vuông thì góc thứ tư bằng $360^\circ - (90^\circ \times 3) = 90^\circ \Rightarrow$ Tứ giác có 4 góc vuông $\Rightarrow$ là hình chữ nhật.
Bài 7 (Vận dụng - Chứng minh phản chứng). Dùng phương pháp phản chứng để chứng minh mệnh đề sau: "Nếu tổng hai số thực $a + b < 2$ thì ít nhất một trong hai số $a, b$ nhỏ hơn $1$".
Xem lời giải Bài 7
• Giả sử ngược lại, không có số nào nhỏ hơn 1, tức là cả hai số $a$ và $b$ đều lớn hơn hoặc bằng 1 ($a \ge 1$ và $b \ge 1$).
• Cộng hai bất đẳng thức cùng chiều: $a + b \ge 1 + 1 = 2$.
• Kết quả $a + b \ge 2$ mâu thuẫn với giả thiết $a + b < 2$.
• Do đó, giả thiết phản chứng là sai. Mệnh đề ban đầu được chứng minh: Ít nhất một trong hai số $a, b$ phải nhỏ hơn 1.
Bài 8 (Vận dụng - Mệnh đề số học chia hết). Cho mệnh đề chứa biến $P(n): "n^3 - n \text{ chia hết cho } 6"$ với $n \in \mathbb{N}^*$. Chứng minh rằng $P(n)$ là mệnh đề đúng với mọi số tự nhiên $n \ge 1$.
Xem lời giải Bài 8
• Ta phân tích biểu thức: $A = n^3 - n = n(n^2 - 1) = (n - 1)n(n + 1)$.
• Nhận xét: $A$ là tích của 3 số tự nhiên liên tiếp $(n-1), n, (n+1)$.
• Trong 3 số tự nhiên liên tiếp luôn có ít nhất một số chẵn (chia hết cho 2) và đúng một số chia hết cho 3.
• Vì $\gcd(2, 3) = 1$ nên tích $A$ chia hết cho $2 \times 3 = 6$. Vậy $P(n)$ luôn đúng với mọi $n \ge 1$.
Bài 9 (Vận dụng cao - Phản chứng số vô tỉ). Chứng minh mệnh đề toán học sau bằng phương pháp phản chứng: "$\sqrt{2}$ là một số vô tỉ".
Xem lời giải Bài 9
• Giả sử ngược lại $\sqrt{2}$ là số hữu tỉ, nghĩa là $\sqrt{2} = \frac{a}{b}$ với $a, b \in \mathbb{N}^*$ và $\gcd(a, b) = 1$ (phân số tối giản).
• Bình phương 2 vế: $2 = \frac{a^2}{b^2} \Rightarrow a^2 = 2b^2 \Rightarrow a^2$ là số chẵn $\Rightarrow a$ là số chẵn.
• Đặt $a = 2k (k \in \mathbb{N}^*)$, thay vào ta có $(2k)^2 = 2b^2 \Rightarrow 4k^2 = 2b^2 \Rightarrow b^2 = 2k^2 \Rightarrow b^2$ chẵn $\Rightarrow b$ chẵn.
• Suy ra cả $a$ và $b$ cùng chia hết cho 2, mâu thuẫn với điều kiện $\gcd(a, b) = 1$.
• Vậy giả thiết phản chứng sai $\Rightarrow \sqrt{2}$ là số vô tỉ (ĐPCM).
Bài 10 (Vận dụng cao / Thực tế toán học & Logic hệ thống). Trong hệ thống điều khiển tự động Smart Home, kỹ sư lập trình quy tắc:
"Nếu cảm biến phát hiện nhiệt độ phòng vượt quá $30^\circ\text{C}$ và có người trong phòng (Mệnh đề $P$) thì máy điều hòa tự động kích hoạt chế độ làm mát $24^\circ\text{C}$ (Mệnh đề $Q$)".
a) Phát biểu mệnh đề đảo và mệnh đề phủ định của quy tắc logic trên.
b) Cho ví dụ thực tế giải thích tại sao mệnh đề đảo không phải lúc nào cũng đúng trong vận hành hệ thống.
c) Phân tích ý nghĩa của "điều kiện cần" và "điều kiện đủ" giúp kỹ sư không vi phạm lỗi logic khi lập trình.
Xem lời giải Bài 10
• a) Mệnh đề đảo $Q \Rightarrow P$: "Nếu máy điều hòa kích hoạt làm mát $24^\circ\text{C}$ thì nhiệt độ phòng vượt quá $30^\circ\text{C}$ và có người trong phòng".
Phủ định của quy tắc: "Nhiệt độ phòng vượt quá $30^\circ\text{C}$ và có người trong phòng nhưng máy điều hòa không kích hoạt làm mát $24^\circ\text{C}$".
• b) Trong thực tế, máy điều hòa có thể kích hoạt làm mát khi người dùng chủ động bấm điều khiển từ xa, hoặc theo kịch bản hẹn giờ sẵn, mặc dù nhiệt độ phòng chưa tới $30^\circ\text{C}$. Vì vậy mệnh đề đảo $Q \Rightarrow P$ không đúng hoàn toàn.
• c) $P$ là điều kiện đủ để $Q$: chỉ cần thỏa mãn $P$ thì hệ thống bắt buộc bật điều hòa $Q$. Nhưng $Q$ kích hoạt chưa chắc duy nhất do $P$ (vì $Q$ có thể do các điều kiện đủ khác trigger). Việc phân biệt giúp kỹ sư tránh nhầm lẫn giữa điều kiện kích hoạt duy nhất (cần và đủ $\Leftrightarrow$) với điều kiện kích hoạt một chiều ($\Rightarrow$).