Lesson 01
Proposition, true/false, câu nào không phải mệnh đề (câu hỏi, mệnh lệnh).
Lesson 02
¬ ∧ ∨ → ↔, dựng bảng chân lý 2ⁿ dòng cho công thức bất kỳ.
Lesson 03
Tautology/contradiction, De Morgan, phân phối, contrapositive.
Lesson 04
Valid vs sound, modus ponens/tollens, tam đoạn luận giả thiết.
Lesson 05
Vị từ, lượng từ ∀ (mọi) / ∃ (tồn tại), phủ định lượng từ.
Lesson 06
Chứng minh trực tiếp, phản chứng (reductio ad absurdum), phản ví dụ.
Lesson 07
Syllogism kiểu Aristotle, sơ đồ Venn, các kiểu hợp lệ.
Lesson 08
Deduction, induction, abduction; sức mạnh của lập luận quy nạp.