Bài 1. Mệnh đề

Chào mừng các em học sinh bước vào ngưỡng cửa trường Trung học Phổ thông (THPT) và bắt đầu hành trình chinh phục chương trình Toán 10!

Nếu như ở bậc THCS, các em đã quen với việc giải toán bằng các con số và hình vẽ cụ thể, thì lên lớp 10, Toán học mở ra một chân trời mới sâu sắc hơn: Tư duy Logic học chuẩn mực.

• Làm thế nào các kỹ sư phần mềm viết nên hàng triệu dòng lệnh máy tính không bao giờ bị lỗi logic?
• Làm thế nào các hệ thống Trí tuệ nhân tạo (AI) có thể suy luận: "Nếu phát hiện người đi bộ băng qua đường thì xe tự lái phải phanh gấp"?
• Làm thế nào các luật sư lập luận sắc bén trước tòa án để bảo vệ công lý?

Tất cả các hệ thống lập luận của nhân loại đều bắt nguồn từ một viên gạch nền tảng: Mệnh đề (Proposition).

Trong bài học mở màn của chương trình Toán 10, chúng ta sẽ khám phá ngôn ngữ của logic toán học, học cách phân biệt chân trị Đúng/Sai, làm chủ các cấu trúc "Nếu... thì...", "Điều kiện cần và đủ", cùng hai ký hiệu toán học bất hủ: $\forall$ (Với mọi) và $\exists$ (Tồn tại)!

Khởi động — Thử thách phản xạ nhanh 5 câu (5 phút)

1. Phân loại câu: Trong các câu sau, câu nào là mệnh đề?
   a) "Hôm nay trời đẹp quá!"
   b) "Số 17 là số nguyên tố."
2. Xét tính đúng sai: Mệnh đề: "Tổng ba góc trong một tam giác bằng $180^\circ$" là Đúng hay Sai?
3. Phủ định: Cho mệnh đề $P$: "Số 15 chia hết cho 2". Hãy phát biểu mệnh đề phủ định $\bar{P}$ và xét tính đúng/sai của $\bar{P}$.
4. Điều kiện cần và đủ: Điền từ thích hợp vào chỗ trống: "Để một số tự nhiên chia hết cho 5 thì tận cùng của nó bằng 0 là điều kiện ..." (cần hay đủ?)
5. Ký hiệu lượng từ: Mệnh đề: "Mọi số thực bình phương lên đều không âm" được viết bằng ký hiệu toán học như thế nào?

Mẹo hay

Mẹo nhẩm siêu tốc:

• Câu 1: Câu b là khẳng định chắc chắn đúng $\implies$ Câu b là mệnh đề. Câu a là câu cảm thán nên không phải mệnh đề.
• Câu 2: Đúng (Định lý hình học cơ bản).
• Câu 3: $\bar{P}$: "Số 15 không chia hết cho 2". Mệnh đề $\bar{P}$ là Đúng.
• Câu 4: Tận cùng bằng 0 thì chắc chắn chia hết cho 5, nhưng tận cùng bằng 5 cũng chia hết cho 5. Vậy tận cùng bằng 0 là điều kiện đủ (nhưng không phải điều kiện cần).
• Câu 5: $\forall x \in \mathbb{R}, \ x^2 \ge 0$.

Lý thuyết trọng tâm

1. Mệnh đề toán học là gì?

Ghi nhớ

Định nghĩa Mệnh đề: Mệnh đề toán học (gọi tắt là mệnh đề) là một câu khẳng định có thể xác định được tính đúng hoặc sai:

• Một mệnh đề không thể vừa đúng vừa sai.
• Nếu khẳng định đó đúng, ta nói mệnh đề có chân trị Đúng (ký hiệu $Đ$ hoặc $T$ - True).
• Nếu khẳng định đó sai, ta nói mệnh đề có chân trị Sai (ký hiệu $S$ hoặc $F$ - False).

Những câu KHÔNG PHẢI là mệnh đề:

• Câu nghi vấn (hỏi): "Hôm nay bạn học bài chưa?"
• Câu cảm thán: "Bông hoa này thơm quá!"
• Câu cầu khiến, mệnh lệnh: "Hãy giữ trật tự!"
• Câu chưa xác định được tính đúng/sai do tính chủ quan: "Môn Toán rất khó".

2. Mệnh đề chứa biến

Ghi nhớ

Mệnh đề chứa biến: Là câu khẳng định chứa một hoặc nhiều biến số (như $x, y, n\dots$), bản thân câu đó chưa phải là mệnh đề vì chưa biết đúng hay sai. Tuy nhiên, với mỗi giá trị cụ thể của biến thuộc tập xác định, câu đó trở thành một mệnh đề toán học.

Ví dụ: Câu $P(n)$: "$n$ chia hết cho 3" là mệnh đề chứa biến $n \in \mathbb{N}$:

• Với $n = 9 \implies P(9)$: "9 chia hết cho 3" là mệnh đề Đúng.
• Với $n = 10 \implies P(10)$: "10 chia hết cho 3" là mệnh đề Sai.

3. Mệnh đề Phủ định

Ghi nhớ

Định nghĩa Mệnh đề Phủ định: Cho mệnh đề $P$. Mệnh đề "Không phải $P$" được 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.

Cách thành lập mệnh đề phủ định: Thêm hoặc bớt từ "không" hoặc "không phải" trước vị ngữ của mệnh đề $P$.

• $P$: "$\sqrt{2}$ là số hữu tỉ" (Sai) $\implies \bar{P}$: "$\sqrt{2}$ không phải là số hữu tỉ" (Đúng).
• $Q$: "Tam giác $ABC$ là tam giác cân" $\implies \bar{Q}$: "Tam giác $ABC$ không phải là tam giác cân".

4. Mệnh đề Kéo theo & Mệnh đề Đảo

Ghi nhớ

Định nghĩa Mệnh đề Kéo theo: Cho hai mệnh đề $P$ và $Q$. Mệnh đề "Nếu $P$ thì $Q$" được gọi là mệnh đề kéo theo, ký hiệu là $P \implies Q$.

• Mệnh đề $P \implies Q$ chỉ SAI khi $P$ đúng mà $Q$ sai.
• Trong tất cả các trường hợp còn lại, $P \implies Q$ đều ĐÚNG.

Thuật ngữ Điều kiện cần và Điều kiện đủ: Trong các định lý toán học dạng $P \implies Q$:

• $P$ được gọi là giả thiết, $Q$ được gọi là kết luận.
• $P$ là điều kiện đủ để có $Q$.
• $Q$ là điều kiện cần để có $P$.

Ghi nhớ

Mệnh đề Đảo: Cho mệnh đề kéo theo $P \implies Q$. Mệnh đề $Q \implies P$ được gọi là mệnh đề đảo của $P \implies Q$. Chú ý: Mệnh đề đảo của một mệnh đề đúng chưa chắc đã là mệnh đề đúng!

5. Mệnh đề Tương đương

Ghi nhớ

Định nghĩa Mệnh đề Tương đương: Cho hai mệnh đề $P$ và $Q$. Mệnh đề "P khi và chỉ khi Q" (hoặc "P tương đương Q") được gọi là mệnh đề tương đương, ký hiệu là:

$$P \iff Q$$

• Mệnh đề $P \iff Q$ ĐÚNG khi cả hai mệnh đề $P$ và $Q$ cùng đúng hoặc cùng sai (cùng chân trị).
• Mệnh đề $P \iff Q$ SAI khi một mệnh đề đúng còn mệnh đề kia sai.

Khi $P \iff Q$ là một định lý đúng, ta nói:

• "$P$ là điều kiện cần và đủ để có $Q$".

6. Ký hiệu Lượng từ $\forall$ (Với mọi) và $\exists$ (Tồn tại)

Trong toán học, để diễn đạt các tính chất tổng quát hoặc sự tồn tại:

1. Ký hiệu $\forall$ (đọc là "với mọi" hoặc "tất cả"): Mệnh đề "$\forall x \in X, P(x)$" khẳng định rằng: Với tất cả các phần tử $x$ thuộc tập $X$, tính chất $P(x)$ đều đúng.
   • Mệnh đề này ĐÚNG khi $P(x)$ đúng với mọi $x \in X$.
   • Mệnh đề này SAI chỉ cần chỉ ra ít nhất 1 phần tử $x_0 \in X$ mà $P(x_0)$ sai (gọi là phản ví dụ - counterexample).
2. Ký hiệu $\exists$ (đọc là "tồn tại" hoặc "có ít nhất một"): Mệnh đề "$\exists x \in X, P(x)$" khẳng định rằng: Có ít nhất một phần tử $x \in X$ làm cho $P(x)$ đúng.
   • Mệnh đề này ĐÚNG khi chỉ ra được ít nhất một phần tử $x_0 \in X$ thỏa mãn $P(x_0)$ đúng.
   • Mệnh đề này SAI khi không có bất kỳ phần tử nào trong $X$ thỏa mãn $P(x)$ (tức $P(x)$ sai với mọi $x \in X$).

Quan trọng

Quy tắc Phủ định Mệnh đề Lượng từ:

• Phủ định của "với mọi" là "tồn tại":$$\overline{\forall x \in X, P(x)} \iff \exists x \in X, \overline{P(x)}$$
• Phủ định của "tồn tại" là "với mọi":$$\overline{\exists x \in X, P(x)} \iff \forall x \in X, \overline{P(x)}$$

Phòng thí nghiệm Tương tác: Máy Kiểm Tra Chân Trị Logic (Truth Table Simulator)

Hãy tương tác trực tiếp với bảng chân trị logic! Chọn chân trị của mệnh đề $P$ và $Q$ để máy tính logic tự động xác định chân trị của các mệnh đề phức hợp:

4 Dạng toán trọng tâm & Phương pháp giải chi tiết

Dạng 1: Nhận biết Mệnh đề Toán học & Xét tính Đúng / Sai

Phương pháp giải:

1. Kiểm tra câu có phải là một khẳng định chắc chắn đúng hoặc chắc chắn sai hay không:
   • Câu hỏi, câu cảm thán, câu cầu khiến $\implies$ Không phải mệnh đề.
   • Câu khẳng định sự thật toán học hoặc sai sự thật toán học $\implies$ Là mệnh đề.
2. Kiểm tra tính đúng/sai bằng các kiến thức số học, đại số, hình học đã học.

Ví dụ 1

Trong các câu sau, câu nào là mệnh đề? Nếu là mệnh đề, hãy xét tính đúng/sai của nó: a) "Số 2026 chia hết cho 3."
b) "Bạn có thích học môn Toán không?"
c) "Tam giác có ba cạnh bằng nhau là tam giác đều."
d) "$x + 5 > 10$."

Lời giải chi tiết: a) Câu "Số 2026 chia hết cho 3" là một câu khẳng định có thể xác định được đúng/sai $\implies$ Là mệnh đề. Tổng các chữ số: $2 + 0 + 2 + 6 = 10$, không chia hết cho 3. Do đó đây là mệnh đề Sai.

b) Câu "Bạn có thích học môn Toán không?" là câu hỏi nghi vấn $\implies$ Không phải mệnh đề.

c) Câu "Tam giác có ba cạnh bằng nhau là tam giác đều" là một định nghĩa toán học khẳng định đúng đắn $\implies$ Là mệnh đề Đúng.

d) Câu "$x + 5 > 10$" là khẳng định chứa biến $x$, tính đúng sai phụ thuộc vào giá trị của $x$ $\implies$ Đây là mệnh đề chứa biến, chưa phải là mệnh đề toán học hoàn chỉnh.

Dạng 2: Lập Mệnh đề Phủ định và Xét tính Đúng / Sai

Phương pháp giải:

1. Thêm hoặc bớt từ "không" / "không phải" trước vị ngữ.
2. Hoặc phủ định dấu quan hệ:
   • Dấu $=$ phủ định là $\ne$.
   • Dấu $>$ phủ định là $\le$.
   • Dấu $<$ phủ định là $\ge$.
   • Dấu $\ge$ phủ định là $<$.
   • Dấu $\le$ phủ định là $>$.
3. Nhớ quy tắc: $P$ và $\bar{P}$ luôn có chân trị trái ngược nhau.

Ví dụ 2

Hãy phát biểu mệnh đề phủ định $\bar{P}$ của các mệnh đề sau và cho biết $\bar{P}$ đúng hay sai: a) $P$: "Số 1 là số nguyên tố".
b) $Q$: "Phương trình $x^2 + 1 = 0$ có nghiệm thực".
c) $R$: "$(-3)^2 = 9$".

Lời giải chi tiết: a) Mệnh đề phủ định là: $\bar{P}$: "Số 1 không phải là số nguyên tố". Vì số nguyên tố là số tự nhiên lớn hơn 1 và chỉ có 2 ước là 1 và chính nó, nên số 1 không phải số nguyên tố. Do đó $P$ sai $\implies \bar{P}$ là mệnh đề Đúng.

b) Mệnh đề phủ định là: $\bar{Q}$: "Phương trình $x^2 + 1 = 0$ vô nghiệm thực". Vì $x^2 \ge 0 \implies x^2 + 1 \ge 1 > 0$ với mọi $x \in \mathbb{R}$, nên phương trình vô nghiệm thực. Do đó $Q$ sai $\implies \bar{Q}$ là mệnh đề Đúng.

c) Mệnh đề phủ định là: $\bar{R}$: "$(-3)^2 \ne 9$". Vì $(-3)^2 = 9$ là đúng nên $R$ đúng $\implies \bar{R}$ là mệnh đề Sai.

Dạng 3: Mệnh đề Kéo theo, Mệnh đề Đảo & Điều kiện Cần / Đủ

Phương pháp giải:

1. Mệnh đề $P \implies Q$: "Nếu $P$ thì $Q$".
   • Chỉ SAI khi $P$ Đúng mà $Q$ Sai.
2. Mệnh đề đảo: $Q \implies P$.
3. Phát biểu dạng điều kiện:
   • "$P$ là điều kiện đủ để có $Q$".
   • "$Q$ là điều kiện cần để có $P$".
   • Nếu cả $P \implies Q$ và $Q \implies P$ đều đúng $\implies P \iff Q$ ("$P$ là điều kiện cần và đủ để có $Q$").

Ví dụ 3

Cho hai mệnh đề:
$P$: "Tứ giác $ABCD$ là hình thoi".
$Q$: "Tứ giác $ABCD$ có hai đường chéo vuông góc với nhau".

a) Phát biểu mệnh đề kéo theo $P \implies Q$ và xét tính đúng sai.
b) Phát biểu mệnh đề đảo $Q \implies P$ và xét tính đúng sai.
c) Sử dụng thuật ngữ "điều kiện cần", "điều kiện đủ" để phát biểu mệnh đề $P \implies Q$.

Lời giải chi tiết: a) Phát biểu $P \implies Q$: "Nếu tứ giác $ABCD$ là hình thoi thì tứ giác $ABCD$ có hai đường chéo vuông góc với nhau". Theo tính chất hình thoi, hai đường chéo luôn vuông góc với nhau. Do đó mệnh đề $P \implies Q$ là Đúng.

b) Phát biểu mệnh đề đảo $Q \implies P$: "Nếu tứ giác $ABCD$ có hai đường chéo vuông góc với nhau thì tứ giác $ABCD$ là hình thoi". Khẳng định này Sai, vì một tứ giác có hai đường chéo vuông góc chưa chắc đã là hình thoi (ví dụ hình cánh diều hoặc tứ giác có hai đường chéo vuông góc nhưng không cắt nhau tại trung điểm mỗi đường).

c) Phát biểu bằng điều kiện cần và đủ:

• "Tứ giác $ABCD$ là hình thoi là điều kiện đủ để tứ giác đó có hai đường chéo vuông góc".
• "Tứ giác $ABCD$ có hai đường chéo vuông góc là điều kiện cần để tứ giác đó là hình thoi".

Dạng 4: Phát biểu & Phủ định Mệnh đề Lượng từ $\forall$ và $\exists$

Phương pháp giải:

1. Mệnh đề $\forall x \in X, P(x)$:
   • Muốn chứng minh ĐÚNG: Phải chứng minh với mọi $x$ tổng quát.
   • Muốn chứng minh SAI: Chỉ cần chỉ ra $1$ giá trị $x_0$ cụ thể làm $P(x_0)$ sai.
2. Mệnh đề $\exists x \in X, P(x)$:
   • Muốn chứng minh ĐÚNG: Chỉ cần chỉ ra $1$ giá trị $x_0$ cụ thể làm $P(x_0)$ đúng.
   • Muốn chứng minh SAI: Phải chứng minh $P(x)$ sai với mọi $x$.
3. Quy tắc đổi lượng từ khi phủ định:$$\overline{\forall} \longrightarrow \exists \quad \text{và} \quad \overline{\exists} \longrightarrow \forall$$và đồng thời phủ định tính chất $P(x)$.

Ví dụ 4

Cho các mệnh đề sau: a) $A$: "$\forall x \in \mathbb{R}, \ x^2 \ge 0$".
b) $B$: "$\exists n \in \mathbb{N}, \ n^2 + 1 \text{ là số nguyên tố}"$.
c) $C$: "$\forall x \in \mathbb{R}, \ x^2 - 4x + 5 > 0$".

Hãy xét tính đúng sai của mỗi mệnh đề trên và viết mệnh đề phủ định của chúng.

Lời giải chi tiết: a)

• Xét tính đúng sai: Bình phương của mọi số thực luôn không âm ($x^2 \ge 0 \ \forall x \in \mathbb{R}$). Do đó mệnh đề $A$ là Đúng.
• Mệnh đề phủ định:$$\bar{A}: \text{"}\exists x \in \mathbb{R}, \ x^2 < 0\text{"}$$

b)

• Xét tính đúng sai: Chọn $n = 1 \in \mathbb{N} \implies n^2 + 1 = 1^2 + 1 = 2$ (là số nguyên tố chẵn duy nhất). Đã chỉ ra được một giá trị $n=1$ thỏa mãn, do đó mệnh đề $B$ là Đúng.
• Mệnh đề phủ định:$$\bar{B}: \text{"}\forall n \in \mathbb{N}, \ n^2 + 1 \text{ không phải là số nguyên tố}\text{"}$$

c)

• Xét tính đúng sai: Ta biến đổi tam thức:$$x^2 - 4x + 5 = (x^2 - 4x + 4) + 1 = (x - 2)^2 + 1$$Vì $(x - 2)^2 \ge 0 \implies (x - 2)^2 + 1 \ge 1 > 0$ với mọi $x \in \mathbb{R}$. Do đó mệnh đề $C$ là Đúng.
• Mệnh đề phủ định:$$\bar{C}: \text{"}\exists x \in \mathbb{R}, \ x^2 - 4x + 5 \le 0\text{"}$$

5 Ứng dụng Khoa học Thực tiễn & Công nghệ Hiện đại

1. Đại số Boolean & Thiết Kế Vi Mạch Bán Dẫn (Chipset & CPU): Mọi bộ vi xử lý máy tính (Intel Core, Apple M-series) đều được xây dựng từ hàng tỷ bóng bán dẫn transistor thực hiện các phép toán logic mệnh đề cơ bản: AND (Giao), OR (Hợp), NOT (Phủ định). Giá trị Đúng/Sai tương ứng với mức điện áp cao ($1$) và mức điện áp thấp ($0$).
2. Hệ Thống Trí Tuệ Nhân Tạo & Khối Luật Suy Diễn (Rule-based AI): Các hệ chuyên gia y tế (như chẩn đoán bệnh tự động MYCIN) sử dụng hàng nghìn mệnh đề kéo theo dạng "Nếu [triệu chứng A] và [xét nghiệm B dương tính] thì [kết luận bệnh C]".
3. Cấu Trúc Rẽ Nhánh Điều Kiện Trong Lập Trình: Các câu lệnh if...else, vòng lặp while trong Python, Java, C++ chính là sự thể hiện trực tiếp của mệnh đề logic: chương trình chỉ thực hiện một khối mã khi biểu thức điều kiện trả về chân trị True.
4. Khoa Học Dữ Liệu & Truy Vấn Cơ Sở Dữ Liệu SQL: Các câu lệnh lọc dữ liệu WHERE age >= 18 AND status = 'active' là việc áp dụng các phép toán logic mệnh đề để trích xuất tập dữ liệu thỏa mãn điều kiện từ hàng triệu bản ghi.
5. Logic Học Pháp Lý & Xây Dựng Hợp Đồng Thông Minh (Smart Contracts): Các hợp đồng kinh tế và hợp đồng thông minh trên mạng lưới Blockchain (Ethereum) hoạt động dựa trên logic mệnh đề không thể chối cãi: "Nếu bên B hoàn thành bàn giao hàng hóa đúng hạn thì tiền tự động chuyển từ ví điện tử của bên A sang bên B".

10 Câu hỏi Trắc nghiệm Tương tác Tự chấm (100% Đề mới)

Bài tập Tự luyện & Thử thách Thực tế

Bài tập Tự luyện

1. Xét tính đúng sai & Lập mệnh đề đảo: Cho mệnh đề kéo theo: "Nếu tứ giác $ABCD$ là hình vuông thì tứ giác $ABCD$ có bốn cạnh bằng nhau". a) Mệnh đề trên đúng hay sai? Xác định giả thiết và kết luận.
   b) Phát biểu mệnh đề đảo và xét tính đúng/sai của mệnh đề đảo đó.
   c) Dùng thuật ngữ "điều kiện cần", "điều kiện đủ" để diễn đạt lại định lý trên.

2. Mệnh đề lượng từ: Viết các khẳng định sau bằng ký hiệu toán học chứa lượng từ $\forall$ hoặc $\exists$, sau đó lập mệnh đề phủ định của chúng: a) Mọi số tự nhiên đều có căn bậc hai là một số thực.
   b) Tồn tại một số thực $x$ thỏa mãn phương trình $x^2 + 2x - 3 = 0$.
   c) Tổng bình phương của hai số thực bất kỳ luôn lớn hơn hoặc bằng không.

Thử thách Thực tế: Thiết Kế Khối Logic Rẽ Nhánh Cho Xe Tự Lái (Autonomous Vehicle Logic)

Bối cảnh: Nhóm kỹ sư trí tuệ nhân tạo lập trình khối quyết định phanh khẩn cấp cho xe tự lái dựa trên 3 cảm biến:

• Mệnh đề $P$: "Camera phát hiện vật cản phía trước dưới 10 mét".
• Mệnh đề $Q$: "Cảm biến Radar LiDAR xác nhận khoảng cách vật cản đang giảm nhanh".
• Mệnh đề $R$: "Tốc độ xe hiện tại trên 40 km/h".

Hệ thống kích hoạt lệnh phanh khẩn cấp $K$ theo luật logic:

Nhiệm vụ:

1. Hãy giải thích bằng ngôn ngữ thông thường: Trong những trường hợp cụ thể nào thì xe tự lái sẽ tự động phanh khẩn cấp?
2. Nếu Camera bị bẩn khiến mệnh đề $P$ luôn bị Sai ($P = \text{False}$), xe có kích hoạt phanh khẩn cấp được không? Nêu giải pháp an toàn dự phòng của kỹ sư phần mềm.
3. Viết mệnh đề phủ định của điều kiện kích hoạt phanh khẩn cấp.