Dùng kí hiệu “(forall )” hoặc “(exists )” để viết các mệnh đề sau:
a) Có một số nguyên không chia hết cho chính nó.
b) Mọi số thực cộng với 0 đều bằng chính nó.
Phương pháp giải
a) Viết mệnh đề về dạng “(exists x in X,;P(x))”.
b) Viết mệnh đề về dạng “(forall x in X,;P(x))”.
Hướng dẫn giải
a) Mệnh đề đã cho được viết là: “ ∈ Z, x không chia hết cho x”.
b) Mệnh đề đã cho được viết là: “ ∈ R, x + 0 = x”.