Text

forall x: Calgary Remix

---

forall x 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), translating (formalizing) 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 truth-functional completeness. Exercises with solutions are available. It is provided in PDF (for screen reading, printing, and a special version for dyslexics) and in LaTeX source code. A proof editor/checker for the proof system used is available at http://proofs.openlogicproject.org/.

---

Availability

No copy data

Detail Information

Series Title

-

Call Number

160 THO f

Publisher

: ., 2019

Collation

-

Language

English

ISBN/ISSN

-

Classification

160

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

-

Subject(s)

Logic

Specific Detail Info

-

Statement of Responsibility

Aaron Thomas Bolduc ... [dan 3 pengarang lainnya]

Other Information

Cataloger

maya

Source

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment