Dùng kí hiệu “$\forall$ ” hoặc “$\exists$ ” để viết các mệnh đề sau:

a) Có một số nguyên không chia hết cho chính nó;

b) Mọi số thực cộng với 0 đều bằng chính nó.

Lập mệnh đề phủ định của mỗi mệnh đề sau và xét tính đúng sai của mỗi mệnh đề phủ định đó:

a) $\forall x\in ℝ$ , x² ≠ 2x – 2;

b) $\forall x\in ℝ$ , x² ≤ 2x – 1;

c) $\exists x\in ℝ,x+\frac{1}{x}\ge 2$ ;

d) $\exists x\in ℝ$ , x² – x + 1 < 0.

Hãy phát biểu một định lí toán học ở dạng mệnh đề kéo theo P ⇒ Q.

Xét hai mệnh đề:

P: “Số tự nhiên n chia hết cho 6”; Q: “Số tự nhiên n chia hết cho 3”.

Xét mệnh đề R: “Nếu số tự nhiên n chia hết cho 6 thì số tự nhiên n chia hết cho 3”.

Mệnh đề R có dạng phát biểu như thế nào?

Cho tam giác ABC. Từ các mệnh đề:

P: “Tam giác ABC đều”, Q: “Tam giác ABC cân và có một góc bằng 60°”, hãy phát biểu hai mệnh đề P ⇒ Q và Q ⇒ P và xác định tính đúng sai của mỗi mệnh đề đó. Nếu cả hai mệnh đề trên đều đúng, hãy phát biểu mệnh đề tương đương.

Cho tam giác ABC. Xét các mệnh đề:

P: “Tam giác ABC cân”;

Q: “Tam giác ABC có hai đường cao bằng nhau”.

Phát biểu mệnh đề P ⇔ Q bằng bốn cách.

Cho mệnh đề “n chia hết cho 3” với n là số tự nhiên.

a) Phát biểu “Mọi số tự nhiên n đều chia hết cho 3” có phải là mệnh đề không?

b) Phát biểu “Tồn tại số tự nhiên n chia hết cho 3” có phải là mệnh đề không?