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...
Saved in:
| Main Authors: | , , , , , |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Calgary, Alberta
University of Calgary
2023.
|
| Series: | Open textbook library.
|
| Subjects: | |
| Online Access: | Access online version |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
| LEADER | 00000nam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | OTLid0001139 | ||
| 003 | MnU | ||
| 005 | 20240122145230.0 | ||
| 006 | m o d s | ||
| 007 | cr | ||
| 008 | 220219s2023 mnu o 0 0 eng d | ||
| 040 | |a MnU |b eng |c MnU | ||
| 050 | 4 | |a B72 | |
| 100 | 1 | |a Magnus, P.D. |e author | |
| 245 | 0 | 0 | |a forall x |b Calgary |c P.D. Magnus |
| 264 | 2 | |a Minneapolis, MN |b Open Textbook Library | |
| 264 | 1 | |a Calgary, Alberta |b University of Calgary |c 2023. | |
| 264 | 4 | |c ©2023. | |
| 300 | |a 1 online resource | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 0 | |a Open textbook library. | |
| 505 | 0 | |a 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 | |
| 520 | 0 | |a 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. | |
| 542 | 1 | |f Attribution | |
| 546 | |a In English. | ||
| 588 | 0 | |a Description based on print resource | |
| 650 | 0 | |a Humanities |v Textbooks | |
| 650 | 0 | |a Philosophy |v Textbooks | |
| 700 | 1 | |a Button, Tim |e author | |
| 700 | 1 | |a Trueman, Robert |e author | |
| 700 | 1 | |a Zach, Richard |e author | |
| 700 | 1 | |a Loftis, J. Robert |e author | |
| 700 | 1 | |a Thomas-Bolduc, Aaron |e author | |
| 710 | 2 | |a Open Textbook Library |e distributor | |
| 856 | 4 | 0 | |u https://open.umn.edu/opentextbooks/textbooks/1139 |z Access online version |