$1. Mệnh đề toán học

Ví dụ:

1. Định lí Ta-lét “Nếu 1 đường thẳng song song với 1 cạnh của tam giác đó và cắt 2 cạnh còn lại thì nó định ra trên 2 cạnh đó những đoạn thẳng tương ứng tỉ lệ”

2. Định lí Ta-lét đảo “Nếu một đường thẳng cắt hai cạnh của tam giác và định ra trên hai cạnh này những đoạn thẳng tương ứng tỉ lệ thì đường thẳng đó song song với cạnh còn lại của tam giác.”

3. Định lí: “Nếu hai đường thẳng cùng song song với đường thẳng thứ ba thì hai đường thẳng đó song song”

P: “tam giác ABC vuông tại A”

Q: “tam giác ABC có \(A{B^2} + A{C^2} = B{C^2}\)”

+) Mệnh đề \(Q \Rightarrow P\) là “Nếu tam giác ABC có \(A{B^2} + A{C^2} = B{C^2}\)thì tam giác ABC vuông tại A”

+) Từ định lí Pytago, ta có:

Tam giác ABC vuông tại A thì \(A{B^2} + A{C^2} = B{C^2}\)

Và: Tam giác ABC có \(A{B^2} + A{C^2} = B{C^2}\) thì vuông tại A.

Do vậy, hai mệnh đề “\(P \Rightarrow Q\)” và “\(Q \Rightarrow P\)” đều đúng.

+) Mệnh đề \(P \Rightarrow Q\) là: “Vì tam giác ABC đều nên tam giác ABC cân và có một góc bằng \({60^o}\)”.

+) Mệnh đề \(Q \Rightarrow P\) là: “Tam giác ABC cân và có một góc bằng \({60^o}\) suy ra tam giác ABC đều”.

Dễ thấy cả hai mệnh đề trên đều đúng.

+) Mệnh đề tương đương: (dùng một trong các cách sau:)

“Tam giác ABC đều tương đương tam giác ABC cân và có một góc bằng \({60^o}\)”

“Tam giác ABC đều là điều kiện cần và đủ để có tam giác ABC cân và có một góc bằng \({60^o}\)”

“Tam giác ABC đều khi và chỉ khi tam giác ABC cân và có một góc bằng \({60^o}\)”

“Tam giác ABC đều nếu và chỉ nếu tam giác ABC cân và có một góc bằng \({60^o}\)”

a) Phát biểu “Mọi số tự nhiên n đều chia hết cho 3” là một phát biểu sai (vì 2 là số tự nhiên nhưng 2 không chia hết cho 3). Đây là một mệnh đề.

b) Phát biểu “Tồn tại số tự nhiên n đều chia hết cho 3” là một phát biểu đúng (chẳng số 3 là số tự nhiên và 3 chia hết cho 3). Đây là một mệnh đề.

a) An: "\(\forall x \in \mathbb R ,{x^2} \ge 0\)"

b) Bình: "\(\exists x \in ,{x^2} < 0\)"

a) Phát biểu mệnh đề phủ định: “Mọi số nguyên đều không chia hết cho 3”

b) Phát biểu mệnh đề phủ định: “Tồn tại số thập phân không viết được dưới dạng phân số”

a) Phát biểu “Tích hai số thực trái dấu là một số thực âm” là một mệnh đề toán học.

b) Phát biểu “Mọi số tự nhiên đều là dương” là một mệnh đề toán học.

c) Phát biểu “Có sự sống ngoài Trái Đất” không là một mệnh đề toán học (vì không liên quan đến sự kiện Toán học nào).

d) Phát biểu “Ngày 1 tháng 5 là ngày Quốc tế Lao động” không là một mệnh đề toán học (vì không liên quan đến sự kiện Toán học nào).

a) \(\overline A \): “\(\frac{5}{{1,2}}\) không là một phân số”.

Đúng vì \(\frac{5}{{1,2}}\) không là phân số (do 1,2 không là số nguyên)

b) \(\overline B \): “Phương trình \({x^2} + 3x + 2 = 0\) vô nghiệm”.

Sai vì phương trình \({x^2} + 3x + 2 = 0\) có hai nghiệm là \(x =  - 1\) và \(x =  - 2\).

c) \(\overline C \): “\({2^2} + {2^3} \ne {2^{2 + 3}}\)”.

Đúng vì \({2^2} + {2^3} = 12 \ne 32 = {2^{2 + 3}}\).

d) \(\overline D \): “Số 2 025 không chia hết cho 15”.

Sai vì 2025 = 15. 135, chia hết cho 15.

a) Với n = 32, ta có các mệnh đề P, Q khi đó là:

P: “Số tự nhiên 32 chia hết cho 16”;

Q: “Số tự nhiên 32 chia hết cho 8”;

Mệnh đề P ⇒ Q: “Nếu số tự nhiên 32 chia hết cho 16 thì số tự nhiên 32 chia hết cho 8”.

Đây là mệnh đề đúng vì 32 chia hết cho 16 và 8.

b) Với n = 40, ta có các mệnh đề P, Q khi đó là:

P: “Số tự nhiên 40 chia hết cho 16”;

Q: “Số tự nhiên 40 chia hết cho 8”;

Mệnh đề đảo của mệnh đề P ⇒ Q là mệnh đề Q ⇒ P: “Nếu số tự nhiên 40 chia hết cho 8 thì số tự nhiên 40 chia hết cho 16”.

Mệnh đề đảo này là mệnh đề sai. Vì 40 chia hết cho 8 nhưng 40 không chia hết cho 16.

4 cách phát biểu mệnh đề \(P \Leftrightarrow Q\):

“Tam giác ABC cân tương đương nó có hai đường cao bằng nhau”

“Tam giác ABC cân là điều kiện cần và đủ để nó có hai đường cao bằng nhau”

“Tam giác ABC cân khi và chỉ khi nó có hai đường cao bằng nhau”

“Tam giác ABC cân nếu và chỉ nếu nó có hai đường cao bằng nhau”