🛠️ Công cụ

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.

📖 Lý thuyết chuẩn SGK✍️ 6 Dạng toán có 18+ Ví dụ🎯 18 Câu trắc nghiệm động (MCQ, MSQ, SA)📝 10 Bài tự luận lớn phân cấp

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

⚡ Định nghĩa Mệnh đề toán học

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 đề phủ định $\bar{P}$

• 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 đề kéo theo $P \Rightarrow Q$

• 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 ∀, ∃

⚡ Mệnh đề tương đương $P \Leftrightarrow Q$ & Ký hiệu $\forall, \exists$

• $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

📌 Phương pháp giải Dạng 1

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 đề.

🔍 Ví dụ 1.1 (Nhận biết 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.

🔍 Ví dụ 1.2 (Mệnh đề số 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 đề.

🔍 Ví dụ 1.3 (Mệnh đề chứa biến thành mệnh đề đúng)

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 đề

📌 Phương pháp giải Dạng 2

Dùng kiến thức toán học kiểm tra tính đúng/sai của khẳng định.

🔍 Ví dụ 2.1 (Xét tính đúng sai mệnh đề đại số)

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.

🔍 Ví dụ 2.2 (Xét tính đúng sai mệnh đề hình học)

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.

🔍 Ví dụ 2.3 (Xét tính đúng sai mệnh đề số học)

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

📌 Phương pháp giải Dạng 3

Thêm hoặc bớt từ "không" / "không phải" trước vị ngữ của mệnh đề $P$.

🔍 Ví dụ 3.1 (Phủ định mệnh đề đơn giản)

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.

🔍 Ví dụ 3.2 (Phủ định mệnh đề bất đẳng thức)

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"$.

🔍 Ví dụ 3.3 (Phủ định mệnh đề chia hết)

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 - đủ

📌 Phương pháp giải Dạng 4

• 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$.

🔍 Ví dụ 4.1 (Mệnh đề kéo theo và đảo)

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).

🔍 Ví dụ 4.2 (Phát biểu Điều kiện cần và đủ)

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$".

🔍 Ví dụ 4.3 (Xét tính đúng sai của mệnh đề kéo theo)

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à đủ

📌 Phương pháp giải Dạng 5

$P \Leftrightarrow Q$ đúng khi và chỉ khi cả hai mệnh đề kéo theo $P \Rightarrow Q$ và $Q \Rightarrow P$ đều đúng.

🔍 Ví dụ 5.1 (Xét mệnh đề tương đươ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.

🔍 Ví dụ 5.2 (Phát biểu Điều kiện cần và đủ)

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".

🔍 Ví dụ 5.3 (Mệnh đề tương đương sai)

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

📌 Phương pháp giải Dạng 6

• $\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)$.

🔍 Ví dụ 6.1 (Phủ định mệnh đề chứa ∀)

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"$.

🔍 Ví dụ 6.2 (Phủ định mệnh đề chứa ∃)

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"$.

🔍 Ví dụ 6.3 (Xét tính đúng sai mệnh đề chứa ∀, ∃)

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.

Câu 1:🎲 Câu hỏi động
Trong các phát biểu sau, phát biểu nào là một **mệnh đề toán học**?
Câu 2:🎲 Câu hỏi động
Xét tính đúng sai của mệnh đề $P: "4^2 + 4^2 = {tinh: a^2 + b^2}"$. Khẳng định nào sau đây là đúng?
Câu 3:🎲 Câu hỏi động
Mệnh đề phủ định của mệnh đề $P: "8x + 5 > 0"$ là:
Câu 4:🎲 Câu hỏi động
Mệnh đề kéo theo $P \Rightarrow Q$ chỉ **SAI** trong trường hợp nào sau đây?
Câu 5:🎲 Câu hỏi động
Mệnh đề nào sau đây là một mệnh đề tương đương **ĐÚNG**?
Câu 6:🎲 Câu hỏi động
Mệnh đề phủ định của mệnh đề $P: "\forall x \in \mathbb{R}, x^2 + 1 > 0"$ là:
Đúng / Sai
Câu 7Cho các khẳng định sau về mệnh đề và mệnh đề chứa biến. Xét tính đúng sai của từng khẳng định:
a)Khẳng định '$2x + 7 = 0$' là một mệnh đề chứa biến.
b)Câu hỏi 'Mấy giờ rồi?' là một mệnh đề toán học.
c)Một mệnh đề toán học có thể vừa đúng vừa sai.
d)Khẳng định '$5$ là số nguyên tố' là một mệnh đề toán học.
Đúng / Sai
Câu 8Xét tính đúng sai của các mệnh đề số học và hình học sau:
a)Trong một tam giác, tổng độ dài hai cạnh bất kỳ luôn lớn hơn cạnh còn lại.
b)Số $17$ là một hợp số.
c)Số $2024$ chia hết cho $3$.
d)Bình phương của mọi số thực luôn không âm: $\forall x \in \mathbb{R}, x^2 \ge 0$.
Đúng / Sai
Câu 9Cho mệnh đề $Q$: 'Số $15$ chia hết cho $5$'. Xét các khẳng định sau về mệnh đề phủ định $\bar{Q}$:
a)Mệnh đề phủ định là $\bar{Q}$: 'Số $15$ không chia hết cho $5$'.
b)Mệnh đề $Q$ ban đầu là một mệnh đề ĐÚNG.
c)Mệnh đề phủ định $\bar{Q}$ là một mệnh đề ĐÚNG.
d)Nếu $Q$ đúng thì mệnh đề phủ định $\bar{Q}$ chắc chắn phải sai.
Đúng / Sai
Câu 10Cho mệnh đề kéo theo: 'Nếu tam giác $ABC$ đều thì tam giác $ABC$ cân'. Xét tính đúng sai của các nhận định sau:
a)Mệnh đề kéo theo ban đầu là một mệnh đề ĐÚNG.
b)Mệnh đề đảo là: 'Nếu tam giác $ABC$ cân thì tam giác $ABC$ đều'.
c)Mệnh đề đảo là một mệnh đề ĐÚNG.
d)'Tam giác $ABC$ đều' là điều kiện đủ để 'Tam giác $ABC$ cân'.
Đúng / Sai
Câu 11Cho hai mệnh đề $P$ và $Q$. Xét tính đúng sai của các phát biểu về mệnh đề tương đương $P \Leftrightarrow Q$:
a)$P \Leftrightarrow Q$ đúng khi và chỉ khi $P$ và $Q$ cùng đúng hoặc cùng sai.
b)Phát biểu '$P$ là điều kiện cần và đủ để có $Q$' thể hiện mệnh đề $P \Leftrightarrow Q$.
c)Cụm từ 'khi và chỉ khi' thường được sử dụng để phát biểu mệnh đề tương đương.
d)Chỉ cần mệnh đề kéo theo $P \Rightarrow Q$ đúng thì $P \Leftrightarrow Q$ chắc chắn đúng.
Đúng / Sai
Câu 12Cho mệnh đề $Q: "\exists x \in \mathbb{R}, x^2 = 5"$. Xét các khẳng định sau:
a)Mệnh đề $Q$ là mệnh đề ĐÚNG vì tồn tại $x = \sqrt{5} \in \mathbb{R}$ thỏa mãn.
b)Mệnh đề phủ định $\bar{Q}$ là '$\forall x \in \mathbb{R}, x^2 \ne 5'$.
c)Mệnh đề phủ định $\bar{Q}$ là một mệnh đề ĐÚNG.
d)Ký hiệu $\exists$ biểu thị khái niệm 'với mọi'.
Câu 13:Cho mệnh đề chứa biến $P(x): "x^2 - 5^2 = 0"$. Tìm giá trị nguyên dương của $x$ để $P(x)$ trở thành mệnh đề đúng.
Câu 14:Mệnh đề $Q$: 'Số $13$ là một số nguyên tố'. Cho biết giá trị chân lý của $Q$? (Nhập 'Đúng' hoặc 'Sai')
Câu 15:Phủ định của mệnh đề '$2^3 = 8$' là mệnh đề '$2^3$ ... $8$'. Nhập ký hiệu toán học phù hợp vào dấu 3 chấm (gõ '!=' cho ký hiệu khác).
Câu 16:Phát biểu '$P \Rightarrow Q$' được biểu diễn theo điều kiện: '$P$ là điều kiện ... để có $Q$'. Điền từ còn thiếu vào ô trống ('cần' hoặc 'đủ').
Câu 17:Nhập cụm từ kết nối (gồm 4 từ) dùng để đọc mệnh đề tương đương $P \Leftrightarrow Q$ giữa $P$ and $Q$.
Câu 18:Mệnh đề phủ định của mệnh đề chứa ký hiệu $\forall$ sẽ chứa ký hiệu quantifier nào? (Gõ '\exists' hoặc '\forall')

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 →
Miễn phí · Giao diện mượt mà · Tự động chấm điểm

📝 Bài tập tự luận tổng hợp (10 bài từ dễ đến khó)

📝 Bài tập tự luận Mệnh đề toán học (10 Bài phân cấp 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$).