Ngữ nghĩa hình thức (Formal Semantics)

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

Nội dung chi tiết về formal semantics, định nghĩa rigorous về validity, contradiction, logical equivalence, và consistency thông qua models cho SL và QL.

---

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