forall x Calgary : an introduction to formal logic

Magnus, P. D. (author.). Button, Tim, (author.). Trueman, Robert, (author.). Zach, Richard, (author.). Loftis, J. Robert, (contributor.). Thomas-Bolduc, Aaron, (contributor.). University of Calgary, (issuing body.). BCcampus, (distributor.).

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), 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. A proof editor/checker for the proof system used is available at proofs.openlogicproject.org."--BCcampus website

Record details

Physical Description: 1 online resource (ix, 427 pages) : illustrations
remote
Edition: Fall 2023 edition.
Publisher: Calgary : forallx.openlogicproject.org, 2023.
Distributor: [Victoria, B.C.] : BCcampus

Content descriptions

General Note:	"This version is revision 2ddb05f (2023-11-10)."--forall x website
Formatted Contents Note:	Key notions of logic -- Truth-functional logic -- Truth tables -- Natural deduction for TFL -- First-order logic -- Interpretations -- Natural deduction for FOL -- Modal logic -- Metatheory.
Information Relating to Copyright Status:	This work is licensed under the Creative Commons Attribution 4.0 International license (CC BY 4.0).
Source of Description Note:	This bibliographical record is available under the Creative Commons CC0 "No Rights Reserved" license. Description based on online resource; title from pdf title page (viewed on November 29, 2023).