forall x Calgary

forall x Calgary

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 in...

Full description

Saved in:
Bibliographic Details
Main Authors: Magnus, P.D (Author), Button, Tim (Author), Trueman, Robert (Author), Zach, Richard (Author), Loftis, J. Robert (Author), Thomas-Bolduc, Aaron (Author)
Format: Electronic eBook
Language:English
Published: Calgary, Alberta University of Calgary 2023.
Series:Open textbook library.
Subjects:
Humanities > Textbooks
Philosophy > Textbooks
Online Access:Access online version
Tags: Add Tag
No Tags, Be the first to tag this record!
Table of Contents:
  • Preface
  • Key notions of logic
  • Truth-functional logic
  • Truth tables
  • Natural deduction for TFL
  • First-order logic
  • Interpretations
  • Natural deduction for FOL
  • Modal logic
  • Metatheory
  • Appendices
  • Glossary

Similar Items