Hiểu cách hoạt động
Ôn quan hệ suy ra/đảo, tương đương, phủ định lượng từ và phép toán tập hợp. Phản ví dụ cần thuộc đúng miền; phủ định mọi đổi thành tồn tại và ngược lại. Tập hợp không đếm lặp, giao/hợp khác nhau, phần bù phải có tập nền; ngoặc đầu mút quyết định lấy hay loại.