Browse by Subject Area

Our shared collection with BCcampus breaks down resources by subject area. You can also filter by ancillaries, accessibility criteria, review or adoption status, as you search for the best fit in your courses. We’re always here to help if you’re not sure where to start.

You can also browse a growing collection of Made-in-Manitoba resources by visiting our PressbooksEDU catalogue.

Browse by Subject Area

Our shared collection with BCcampus breaks down resources by subject area. You can also filter by ancillaries, accessibility criteria, review or adoption status, as you search for the best fit in your courses. We’re always here to help if you’re not sure where to start.

You can also browse a growing collection of Made-in-Manitoba resources by visiting our PressbooksEDU catalogue.

textbook cover image

Creative Commons License
forall x: An Open Introduction to Formal Logic - Fall 2021 Edition (Calgary) by Aaron Thomas-Bolduc, Richard Zach; University of Calgary is licensed under a Creative Commons Attribution 4.0 International License, except where otherwise noted.

forall x: An Open Introduction to Formal Logic - Fall 2021 Edition (Calgary)

Description: 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.

January 28, 2022 | Updated: April 25, 2022
Author: Aaron Thomas-Bolduc, Richard Zach; University of Calgary

Subject Areas
Humanities, Philosophy

Original source
forallx.openlogicproject.org

Notifications
Stay informed about updates to this textbook

Adoptions (faculty):
Contact us if you are using this textbook in your course

Further Adaptations:
Contact us if you are adapting this book

  • WEBSITE External website. This icon is licensed under a Creative Commons
		Attribution 3.0 License. Copyright Yusuke Kamiyamane. Ancillary resources: Exercise solutions 0.47 MB

There are currently no reviews for this book.

Be the first to request to review this textbook