Cho định lí: “\(\forall x \in \mathbb{R},x \in \mathbb{Z}\) nếu và chỉ nếu \(x + 1 \in \mathbb{Z}\)”.
Phát biểu lại định lí này sử dụng thuật ngữ “điều kiện cần và đủ”.
Xét tính đúng sai của các mệnh đề sau:
a) \(\forall x \in \mathbb{N},{x^3} > x\)
b) \(\exists x \in \mathbb{Z},x \notin \mathbb{N}\)
c) \(\forall x \in \mathbb{R},\) nếu \(x \in \mathbb{Z}\) thì \(x \in \mathbb{Q}\)
a) Mệnh đề “\(\forall x \in \mathbb{N},{x^3} > x\)” sai vì \(0 \in \mathbb{N}\) nhưng \({0^3} = 0.\)
b) Mệnh đề “\(\exists x \in \mathbb{Z},x \notin \mathbb{N}\)” đúng, chẳng hạn \( - 2 \in \mathbb{Z}, - 2 \notin \mathbb{N}.\)
c) Mệnh đề “\(\forall x \in \mathbb{R},\) nếu \(x \in \mathbb{Z}\) thì \(x \in \mathbb{Q}\)” đúng vì \(\mathbb{Z} \subset \mathbb{Q}.\)
Lập mệnh đề phủ định của mỗi mệnh đề sau:
A: “\(\forall x \in \mathbb{R},{x^2} + 4x + 5 \ne 0\)”
B: “\(\forall x \in \mathbb{R},{x^2} + x \ge 1\)”
C: “\(\exists x \in \mathbb{Z},2{x^2} + 3x - 2 = 0\)”
D: “\(\exists x \in \mathbb{Z},{x^2} < x\)”
Phủ định của mệnh đề A là mệnh đề “\(\exists x \in \mathbb{R},{x^2} + 4x + 5 = 0\)”
Phủ định của mệnh đề B là mệnh đề “\(\exists x \in \mathbb{R},{x^2} + x < 1\)”
Phủ định của mệnh đề C là mệnh đề “\(\forall x \in \mathbb{Z},2{x^2} + 3x - 2 \ne 0\)”
Phủ định của mệnh đề D là mệnh đề “\(\forall x \in \mathbb{Z},{x^2} \ge x\)”
Cho các định lí:
P: “Nếu hai tam giác bằng nhau thì diện tích của chúng bằng nhau”.
Q: “Nếu \(a < b\) thì \(a + c < b + c\)” (\(a,b,c \in \mathbb{R}\)).
a) Chỉ ra giả thiết và kết luận của mỗi định lí.
b) Phát biểu lại mỗi định lí đã cho, sử dụng thuật ngữ “điều kiện cần” hoặc “điều kiện đủ”.
c) Mệnh đề đảo của mỗi định lí đó có là định lí không?
Tham khảo:
a)
Mệnh đề P có dạng \(R \Rightarrow T\)với R: “Hai tam giác bằng nhau” và T: “Diện tích của hai tam giác bằng nhau”
Giả thiết là mệnh đề R: “Hai tam giác bằng nhau”
Kết luận là mệnh đề T: “Diện tích của hai tam giác bằng nhau”
Mệnh đề Q có dạng \(A \Rightarrow B\)với A: “\(a < b\)” và B: “\(a + c < b + c\)”
Giả thiết là mệnh đề A: “\(a < b\)”
Kết luận là mệnh đề B: “\(a + c < b + c\)”
b)
+) Mệnh đề P có thể phát biểu lại như sau:
Hai tam giác bằng nhau là điều kiện đủ để có diện tích của chúng bằng nhau.
Diện tích của hai tam giác bằng nhau là điều kiện cần để hai tam giác bằng nhau.
+) Mệnh đề Q có thể phát biểu lại như sau:
\(a < b\) là điều kiện đủ để có \(a + c < b + c\).
\(a + c < b + c\)là điều kiện cần để có \(a < b\).
c)
Mệnh đề đảo của mệnh đề P có dạng \(T \Rightarrow R\), phát biểu là: “Nếu hai tam giác có diện tích bằng nhau thì hai tam giác đó bằng nhau”.
Mệnh đề này sai nên không là định lí.
Chẳng hạn: Tam giác ABC và tam giác DEF, có diện tích bằng nhau nhưng hai tam giác không bằng nhau.
Mệnh đề đảo của mệnh đề Q có dạng \(B \Rightarrow A\), phát biểu là: “Nếu \(a + c < b + c\)thì \(a < b\)”.
Mệnh đề này đúng nên nó cũng là định lí.
Xét tính đúng sai và viết mệnh đề phủ định của các mệnh đề sau:
a) \(\forall x \in \mathbb{R},{x^2} > 0\)
b) \(\exists x \in \mathbb{R},{x^2} = 5x - 4\)
c) \(\exists x \in \mathbb{Z},2x + 1 = 0\)
a) Mệnh đề sai, vì \(x = 0 \in \mathbb{R}\) nhưng \({0^2}\) không lớn hơn 0.
Mệnh đề phủ định của mệnh đề này là: “\(\exists x \in \mathbb{R},{x^2} \le 0\)”
b) Mệnh đề đúng, vì \(x = 1 \in \mathbb{R}\) thỏa mãn \({1^2} = 5.1 - 4\)
Mệnh đề phủ định của mệnh đề này là: “\(\forall x \in \mathbb{N},{x^2} \ne 5x - 4\)”
c) Mệnh đề sai, vì \(2x + 1 = 0 \Leftrightarrow x = - \frac{1}{2} \notin \mathbb{Z}\)
Mệnh đề phủ định của mệnh đề này là: “\(\forall x \in \mathbb{Z},2x + 1 \ne 0\)”
Các phát biểu sau đúng hay sai? Nếu sai hãy phát biểu lại cho đúng.
a) \( - 4 \in \mathbb{Z}\) b) \(5 \in \mathbb{Z}\) c) \(0 \in \mathbb{Z}\)
d) \( - 8 \in \mathbb{N}\) e) \(6 \in \mathbb{N}\) g) \(0 \in \mathbb{N}\)
Phát biểu a : Đúng, vì \( - 4\) là số nguyên âm nên nó là số nguyên.
Phát biểu b: Đúng, vì 5 là số nguyên dương nên nó là số nguyên.
Phát biểu c: Đúng, vì 0 là số nguyên.
Phát biểu d: Sai, vì \( - 8\) là số nguyên âm, không phải là số tự nhiên.
Phát biểu e: Đúng, vì 6 là số tự nhiên.
Phát biểu f: Đúng, vì 0 là số tự nhiê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 \mathbb{R},\;{x^2} \ne 2x - 2\)
b) \(\forall x \in \mathbb{R},\;{x^2} \le 2x - 1\)
c) \(\exists x \in \mathbb{R},\;x + \frac{1}{x} \ge 2\)
d) \(\exists x \in \mathbb{R},\;{x^2} - x + 1 < 0\)
a) Phủ định của mệnh đề “\(\forall x \in \mathbb{R},\;{x^2} \ne 2x - 2\)” là mệnh đề “\(\exists x \in \mathbb{R},\;{x^2} = 2x - 2\)”
Mệnh đề “\(\exists x \in \mathbb{R},\;{x^2} = 2x - 2\)” sai vì \({x^2} \ne 2x - 2\)với mọi số thực x ( vì \({x^2} - 2x + 2 = {(x - 1)^2} + 1 > 0\) hay \({x^2} > 2x - 2\)).
b) Phủ định của mệnh đề “\(\forall x \in \mathbb{R},\;{x^2} \le 2x - 1\)” là mệnh đề “\(\exists x \in \mathbb{R},\;{x^2} > 2x - 1\)”
Mệnh đề “\(\exists x \in \mathbb{R},\;{x^2} > 2x - 1\)” đúng vì có \(x = 2 \in \mathbb{R}:{2^2} > 2.2 - 1\) hay \(4 > 3\) (luôn đúng).
c) Phủ định của mệnh đề “\(\exists x \in \mathbb{R},\;x + \frac{1}{x} \ge 2\)” là mệnh đề “\(\forall x \in \mathbb{R},\;x + \frac{1}{x} < 2\)”.
Mệnh đề “\(\forall x \in \mathbb{R},\;x + \frac{1}{x} < 2\)” sai vì \(x = 2 \in \mathbb{R}\) nhưng \(x + \frac{1}{x} = 2 + \frac{1}{2} > 2\).
d) Phủ định của mệnh đề “\(\exists x \in \mathbb{R},\;{x^2} - x + 1 < 0\)” là mệnh đề “\(\forall x \in \mathbb{R},\;{x^2} - x + 1 \ge 0\)”.
Mệnh đề “\(\forall x \in \mathbb{R},\;{x^2} - x + 1 \ge 0\)” đúng vì \({x^2} - x + 1 = {\left( {x - \frac{1}{2}} \right)^2} + \frac{3}{4} \ge 0\) với mọi số thực x.
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) \(\forall x \in \mathbb{R},{x^2} + 1 \ge 2x\)
c) \(\forall a \in \mathbb{R},\sqrt {{a^2}} = a\)
a) Mệnh đề sai, vì chỉ có \(x = - 3\) thảo mãn \(x + 3 = 0\) nhưng \( - 3 \notin \mathbb{N}\).
Mệnh đề phủ định của mệnh đề này là: “\(\forall x \in \mathbb{N},x + 3 \ne 0\)”.
b) Mệnh đề đúng, vì \({(x - 1)^2} \ge 0\) hay\({x^2} + 1 \ge 2x\) với mọi số thực x.
Mệnh đề phủ định của mệnh đề này là: “\(\exists x \in \mathbb{R},{x^2} + 1 < 2x\)”
c) Mệnh đề sai, vì có \(a = - 2 \in \mathbb{R},\sqrt {{{( - 2)}^2}} = 2 \ne a\)
Mệnh đề phủ định của mệnh đề này là: “\(\exists a \in \mathbb{R},\sqrt {{a^2}} \ne a\)”.
Trong các phát biểu sau, phát biểu nào đúng, phát biểu nào sai?
a) Nếu \(a \in \mathbb{N}\) thì \(a \in \mathbb{Q}\)
b) Nếu \(a \in \mathbb{Z}\) thì \(a \in \mathbb{Q}\)
c) Nếu \(a \in \mathbb{Q}\) thì \(a \in \mathbb{N}\)
d) Nếu \(a \in \mathbb{Q}\) thì \(a \in \mathbb{Z}\)
e) Nếu \(a \in \mathbb{N}\) thì \(a \notin \mathbb{Q}\)
g) Nếu \(a \in \mathbb{Z}\) thì \(a \notin \mathbb{Q}\)
a) Nếu \(a \in \mathbb{N}\) thì \(a \in \mathbb{Q}\) => Đúng
b) Nếu \(a \in \mathbb{Z}\) thì \(a \in \mathbb{Q}\) => Đúng
c) Nếu \(a \in \mathbb{Q}\) thì \(a \in \mathbb{N}\) => Sai. Vì a là số hữu tỉ thì chưa chắc a là số tự nhiên.
d) Nếu \(a \in \mathbb{Q}\) thì \(a \in \mathbb{Z}\) => Sai. Vì a là số hữu tỉ thì chưa chắc a là số nguyên.
e) Nếu \(a \in \mathbb{N}\) thì \(a \notin \mathbb{Q}\) => Sai. Vì các số tự nhiên là các số hữu tỉ
g) Nếu \(a \in \mathbb{Z}\) thì \(a \notin \mathbb{Q}\) => Sai. Vì các số nguyên là các số hữu tỉ
Phát biểu các mệnh đề sau:
a) \(\forall x \in \mathbb{R},\;{x^2} \ge 0\)
b) \(\exists x \in \mathbb{R},\;\dfrac{1}{x} > \;x.\)
a) Mọi số thực có bình phương không âm.
b) Có một số thực nhỏ hơn nghịch đảo của chính nó.
a. P:" Với mọi số thực x thì bình phương của nó luôn lớn hơn hoặc bằng 0"
b, A:"Tồn tại ít nhất một số thực x mà nghịch đảo của nó lớn hơn chính nó"