Starting with symbolizing sentences and sentential connectives, this work proceeds to the rules of logical inference and sentential derivation, examines the concepts of truth and validity, and presents a series of truth tables. Subsequent topics include terms, predicates, and universal quantifiers; universal specification and laws of identity; axioms for addition; and universal generalization. 1964 edition. Index.
發表於2025-01-01
First Course in Mathematical Logic 2025 pdf epub mobi 電子書 下載
圖書標籤: 邏輯學
First Course in Mathematical Logic 2025 pdf epub mobi 電子書 下載