Library Catalogue

Image from Google Jackets

forall x Calgary P.D. Magnus

By: Contributor(s): Material type: TextTextSeries: Open textbook libraryDistributor: Minneapolis, MN Open Textbook LibraryPublisher: Calgary, Alberta University of Calgary 2023Copyright date: ©2023Description: 1 online resourceContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
Subject(s): LOC classification:
  • B72
Online resources:
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
Subject: 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.
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

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

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.

Attribution

In English.

Description based on print resource

There are no comments on this title.

to post a comment.

© 2024, Kenya Medical Training College | All Rights Reserved