forall x: Calgary là một giáo trình đầy đủ tính năng về logic hình thức. Sách bao gồm các khái niệm chính của logic như hệ quả và tính hợp lệ của lập luận, cú pháp của logic mệnh đề hàm chân lý (TFL) và ngữ nghĩa bảng chân lý, cú pháp của logic bậc nhất (vị ngữ) (FOL) với phép đồng nhất (diễn giải bậc nhất), ký hiệu hóa tiếng Anh trong TFL và FOL, và hệ thống chứng minh suy luận tự nhiên kiểu Fitch cho cả TFL và FOL. Sách cũng đề cập đến một số chủ đề nâng cao như logic modal, tính đúng đắn và tính đầy đủ chức năng. Bài tập kèm lời giải được cung cấp. Sách được cung cấp ở định dạng PDF (để đọc trên màn hình, in ấn và có phiên bản đặc biệt dành cho người mắc chứng khó đọc), HTML (với các tính năng hỗ trợ tiếp cận bổ sung) và mã nguồn LaTeX.

Abstract:

forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions are available. It is provided in PDF (for screen reading, printing, and a special version for dyslexics), HTML (with additional accessibility features), and in LaTeX source code.

Ngôn ngữ:	eng
Tác giả:	Button, Tim, Zach, Richard, Trueman, Robert
Thông tin nhan đề:	forall x: Calgary
Nhà xuất bản:	University of Calgary
Loại hình:	Tài nguyên giáo dục mở / Bộ sưu tập: Ngôn ngữ
Bản quyền:	https://creativecommons.org/licenses/by/4.0/
Nguồn gốc:	https://open.umn.edu/opentextbooks/textbooks/forall-x-calgary
Mô tả vật lý:	347p.
Năm xuất bản:	2023