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

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.

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?