Hiểu cách hoạt động
Mệnh đề là câu khẳng định có giá trị đúng hoặc sai xác định; câu hỏi/cảm thán không tự là mệnh đề. Mệnh đề chứa biến cần miền và giá trị biến hoặc lượng từ. Phủ định đổi giá trị chân lí: phủ định “mọi x thuộc D có P(x)” là “tồn tại x thuộc D không P(x)”, không giữ nguyên mọi. P⇒Q chỉ sai khi P đúng, Q sai; P là điều kiện đủ của Q, Q là điều kiện cần của P. Mệnh đề đảo Q⇒P không tự đúng; tương đương P⇔Q cần cả hai chiều. Phân biệt phản ví dụ bác khẳng định mọi với một ví dụ minh họa chưa chứng minh mọi.