Xét hai mệnh đề:
P: “Số tự nhiên n chia hết cho 2”
Q: “n là số tự nhiên chẵn”
Ta có: mệnh đề \(P \Rightarrow Q\) và mệnh đề \(Q \Rightarrow P\) đều đúng. Vậy mệnh đề tương đương\(P \Leftrightarrow Q\) đúng.
Phát biểu dưới dạng cần và đủ: “n là số tự nhiên chẵn là điều kiện cần và đủ để có số tự nhiên n chia hết cho 2”
Cho các mệnh đề
P: “a và b chia hết cho c”;
Q: “a + b chia hết cho c”.
a) Hãy phát biểu định lí \(P \Rightarrow Q\). Nêu giả thiết, kết luận của định lí và phát biểu định lí này dưới dạng điều kiện cần, điều kiện đủ.
b) Hãy phát biểu mệnh đề đảo của mệnh đề \(P \Rightarrow Q\) rồi xác định tính đúng sai của mệnh đề đảo này.
Phát biểu mệnh đề đảo của mỗi mệnh đề sau và xác định tính đúng sai của mệnh đề này.
P: “Nếu số tự nhiên n có chữ số tận cùng là 5 thì n chia hết cho 5”;
Q: “Nếu tứ giác ABCD là hình chữ nhật thì tứ giác ABCD có hai đường chéo bằng nhau”
Hãy xác định tính đúng sai của mệnh đề sau:
“Một số tự nhiên chia hết cho 5 nếu số đó có chữ số tận cùng bằng 0 hoặc 5 và ngược lại”.
Phát biểu mệnh đề phủ định của mỗi mệnh đề sau và xác định tính đúng sai của mệnh đề phủ định đó.
P: “2 022 chia hết cho 5”
Q: “Bất phương trình 2x + 1 > 0 có nghiệm”.
Trong tiết học môn Toán, Nam phát biểu: “Mọi số thực đều có bình phương khác 1”.
Mai phát biểu: “Có một số thực mà bình phương của nó bằng 1”
a) Hãy cho biết bạn nào phát biểu đúng.
b) Dùng kí hiệu \(\forall ,\exists \) để viết lại các phát biểu của Nam và Mai dưới dạng mệnh đề.
Với hai số thực a và b, xét mệnh đề P: “\({a^2} < {b^2}\)” và Q: “\(0 < a < b\)”
a) Hãy phát biểu mệnh đề \(P \Rightarrow Q\);
b) Hãy phát biểu mệnh đề đảo của mệnh đề ở câu a.
c) Xác định tính đúng sai của mỗi mệnh đề ở câu a và câu b.
Xác định tính đúng sai của mệnh đề sau và tìm mệnh đề phủ định của nó.
Q: “\(\exists \;n \in \mathbb{N},n\) chia hết cho \(n + 1\)”
Phát biểu bằng lời mệnh đề sau và cho biết mệnh đề đó đúng hay sai.
"\(\forall x \in \mathbb R,\;{x^2} + 1 \le 0.\)"
Dùng kí hiệu \(\forall ,\exists \) để viết các mệnh đề sau:
P: “Mọi số tự nhiên đều có bình phương lớn hơn hoặc bằng chính nó”
Q: “Có một số thực cộng với chính nó bằng 0”
