Logic học đại cương
Phán đoán khẳng định hay phủ định điều gì đó và luôn đúng hoặc sai. Phán đoán đơn chia theo chất và lượng thành bốn kiểu A, E, I, O, kèm quy tắc chu diên.
Biện luận phương trình theo tham số
Tam thức ax² + bx + c dương với mọi x khi a > 0 và Δ < 0, không âm khi a > 0 và Δ ≤ 0. Nếu a chứa m phải xét a = 0: hằng số dương vẫn thoả. Ba ví dụ và bảng tra
Lịch sử logic học
Begriffsschrift của Frege (1879) lần đầu đưa ra lượng từ, biến, hàm và hệ tiên đề rõ ràng cho suy luận, nên được coi là mốc ra đời của logic vị từ hiện đại.
Logic trong lời nói hằng ngày
Câu "tất cả… không…" có hai cách hiểu: không ai (∀x ¬P) và không phải tất cả (¬∀x P). Viết "không… nào" hoặc "không phải… nào cũng" để hết mơ hồ.
