Mind Map

BÀI 1. MỆNH ĐỀ

1. Mệnh đề, mệnh đề chứa biến

Câu khẳng định đúng là mệnh đề.

Câu khẳng định sai cũng là mệnh đề.

Câu "n chia hết cho 2" là mệnh đề chứa biến.

2. Mệnh đề phủ định

Mệnh đề phủ định của \(P\) kí hiệu là \(\bar{P}.\)

Để phủ định một mệnh đề ta thêm chữ "không".

3. Mệnh đề kéo theo, mệnh đề đảo

Mệnh đề kéo theo kí hiệu là \(P\Rightarrow Q\).

Mệnh đề đảo của \(P\Rightarrow Q\) là \(Q\Rightarrow P\).

4. Mệnh đề tương đương

Hai mệnh đề tương đương kí hiệu là \(P\Leftrightarrow Q\)

5. Mệnh đề có chứa kí hiệu ∀, ∃

Kí hiệu ∀ đọc là "với mọi".

Kí hiệu ∃ đọc là "tồn tại".

Ví dụ – Mệnh đề và Logic Toán

CÁC VÍ DỤ MINH HỌA

Ví dụ 1

Trong các câu sau, câu nào là mệnh đề? Câu nào không là mệnh đề?

    a) Phương trình $x^2-5x+6=0$ có hai nghiệm nguyên.
    b) 6 là số nguyên tố.
    c) Dấu hiệu chia hết cho 3 là gì?
    d) Bạn có ý thức tự học đấy!
Ví dụ 2

Xét câu “$x < 7$”. Hãy tìm hai giá trị thực của $x$ sao cho từ câu đã cho, ta nhận được một mệnh đề đúng và một mệnh đề sai.

Ví dụ 3
Phát biểu mệnh đề phủ định của mỗi mệnh đề sau và xác định tính đúng sai của mệnh đề phủ định đó.
P: “9 là số chính phương”.
Q: “Phương trình $x^2 - 7x + 12 = 0$ có nghiệm”.
Ví dụ 4
Cho hai câu sau:
$P$: "Tam giác $ABC$ đều";
$Q$: "Tam giác $ABC$ có ba cạnh bằng nhau".
Phát biểu mệnh đề "$P \Rightarrow Q$" và cho biết tính đúng sai của mệnh đề đó.
Ví dụ 5
Phát biểu mệnh đề đảo của mệnh đề "Nếu $a+b$ chia hết cho $c$ thì $a$ và $b$ chia hết cho $c$" và xác định tính đúng sai của mệnh đề đảo này.
Ví dụ 6
Cho hai câu sau:
$P$: “Tam giác $ABC$ đều”;
$Q$: “Tam giác $ABC$ có ba cạnh bằng nhau”.
Hãy phát biểu mệnh đề tương đương $P \Leftrightarrow Q$ và xác định tính đúng sai của mệnh đề tương đương này.
Ví dụ 7
Viết các mệnh đề sau bằng cách sử dụng kí hiệu $\forall, \exists$ và xét tính đúng sai của chúng.
a) Bình phương mọi số thực đều dương;
b) Có một số nguyên cộng với hai bằng không.
Ví dụ 8
Xét tính đúng sai và lấy phủ định của các mệnh đề sau:
a) $P$: "$\forall x\in\mathbb{R},\,x^2-4x+5>0$"
b) $Q$: "$\exists x\in\mathbb{Z},\,3x+9=0$".