Sử dụng kí hiệu $\forall ,\exists$ để viết các mệnh đề sau:

a) Mọi số thực cộng với số đối của nó đều bằng 0;

b) Có một số tự nhiên mà bình phương bằng 9.

Xét tính đúng, sai và viết mệnh đề phủ định của các mệnh đề sau đây:

a) $\exists x\in \mathbb{N}$, x + 3 = 0;

b) $\exists x\in \mathbb{N}$, x² + 1 ≥ 2x;

c) $\forall a\in ℝ,\sqrt{a^2}=a.$

Xét tính đúng sai và viết mệnh đề phủ định của các mệnh đề sau:

a) $\forall x\in ℝ,x^2>0;$

b) $\exists x\in ℝ,x^2=5x-4;$

c) $\exists x\in \mathbb{Z},2x+1=0.$

Trong các khẳng định sau, khẳng định nào là mệnh đề, khẳng định nào là mệnh đề chứa biến?

Cho các mệnh đề sau:

P: “Giá trị tuyệt đối của mọi số thực đều lớn hơn hoặc bằng chính nó”;

Q: “Có số tự nhiên sao cho bình phương của nó bằng 10”;

R: “Có số thực x sao cho x² + 2x – 1 = 0”.

a) Xét tính đúng sai của mỗi mệnh đề trên.

b) Sử dụng kí hiệu ∀, ∃ để viết lại các mệnh đề đã cho.

Xét hai mệnh đề:

P: “Tứ giác ABCD là hình vuông”;

Q: “Tứ giác ABCD là hình chữ nhật có hai đường chéo vuông góc với nhau”.

a) Phát biểu mệnh đề P ⇒ Q và mệnh đề đảo của nó.

b) Hai mệnh đề P và Q có tương đương không? Nếu có, sử dụng thuật “điều kiện cần và đủ” hoặc “khi và chỉ khi” để phát biểu định lí P ⇔ Q.

Xét hai mệnh đề:

P: “Tứ giác ABCD là hình bình  hành”;

Q: “Tứ giác ABCD có hai đường chéo cắt nhau tại trung điểm mỗi đường”.

a) Phát biểu mệnh đề P ⇒ Q và xét tính đúng sai của nó.

b) Phát biểu mệnh đề đảo của mệnh đề P ⇒ Q.

Sử dụng thuật ngữ “điều kiện cần và đủ”, phát biểu các định lí sau:

a) Một phương trình bậc hai có hai nghiệm phân biệt khi và chỉ khi biệt thức của nó dương;

b) Một hình bình hành là hình thoi thì nó có hai đường chéo vuông góc với nhau và ngược lại.