Vận dụng (M3)

Cho là một vị từ hai biến xác định trên miền dữ liệu . Xét hai mệnh đề phức hợp sau:

Mệnh đề

Mệnh đề

Chứng minh rằng ta luôn có phép kéo theo logic là một hằng đúng với mọi vị từ . Chiều ngược lại có luôn đúng không? Nếu không, hãy đưa ra một phản ví dụ toán học cụ thể trên tập số thực .

Đáp án đúng: