Chứng minh hình thức (Formal Proofs)

Bài viết đang được viết. Sẽ xuất bản sớm.

Nội dung chi tiết về proof systems trong SL và QL, các quy tắc suy luận (rules of inference): Modus Ponens, Modus Tollens, ¬¬O, subproofs, ∀E, ∀I, ∃E, ∃I, indirect proof.

---

Chuẩn bị từ giáo trình: P.D. Magnus, forall x: An Introduction to Formal Logic (CC BY 4.0).