1. Lý thuyết

+ Kí hiệu \(\forall \) đọc là “với mọi”

+ Kí hiệu \(\exists \) đọc là “tồn tại”

+ Mệnh đề “\(\forall x \in X,P(x)\)”

Đúng nếu với mọi \({x_0} \in X\), \(P({x_0})\) là mệnh đề đúng.

Sai nếu có \({x_0} \in X\) sao cho \(P({x_0})\) là mệnh đề sai.

+ Mệnh đề “\(\exists x \in X,P(x)\)”

Đúng nếu có \({x_0} \in X\) sao cho \(P({x_0})\) là mệnh đề đúng.

Sai nếu mọi \({x_0} \in X\) ta có \(P({x_0})\) là mệnh đề sai.

+ Mệnh đề phủ định

Phủ định của mệnh đề \(\forall x \in X,P(x)\) là \(\exists x \in X,\overline {P(x)} \).

Phủ định của mệnh đề \(\exists x \in X,P(x)\) là \(\forall x \in X,\overline {P(x)} \).

2. Ví dụ minh họa

A: “Mọi số tự nhiên đều không âm”

B: “Với mọi số thực x, \(\sqrt x \) là số vô tỉ”

C: “Có số tự nhiên n sao cho \(n(n + 2)\) là số chính phương”

+ Viết lại các mệnh đề, sử dụng kí hiệu \(\forall ,\;\exists \)

A: “\(\forall n \in \mathbb{N},n \ge 0\)”

B: “\(\forall x \in \mathbb{R}|\sqrt x \) là số vô tỉ”

C: “\(\exists n \in \mathbb{N}|n(n + 3)\) là số chính phương”

+ Xét tính đúng sai:

Mệnh đề A đúng.

Mệnh đề B sai vì \(x = 1 \in \mathbb{R},\sqrt x = 1\) không là số vô tỉ.

Mệnh đề C đúng, vì \(n = 1\) thì \(n(n + 3) = 4\) là số chính phương.