Edition |
Fall 2020 edition. |
Description |
1 online resource (viii, 405 pages) |
|
text file |
|
PDF |
Physical Medium |
polychrome |
Note |
This work is licensed under the Creative Commons Attribution CC-BY. |
|
This bibliographic record is available under the Creative Commons CC0 "No Rights Reserved" license. |
Summary |
"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), 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 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) and in LaTeX source code. A proof editor/checker for the proof system used is available at proofs.openlogicproject.org."--BCcampus website. |
Local Note |
Open Educational Resources (OER). Open Textbooks |
|
Promoted: Local to Global Cooperative Open Textbook Library |
Subject |
Logic -- Textbooks.
|
|
Logic. |
Genre/Form |
Textbooks.
|
Subject |
Electronic books.
|
|
Electronic books. |
Genre/Form |
Electronic books.
|
|
Textbooks.
|
Added Author |
Button, Tim, author.
|
|
Loftis, J. Robert.
forall x, Lorain County remix. Selections.
|
|
Thomas-Bolduc, Aaron, contributor, editor.
|
|
Zach, Richard, contributor, editor.
|
|
BC Open Textbook Project, distributor.
|
|
BCcampus.
|
Added Title |
forall x
|
|
forall x : an introduction to formal logic, Calgary |
|
Introduction to formal logic |
|