Files

Download

Download Full Text (858 KB)

Download LaTeX files (116 KB)

Description

In formal logic, sentences and arguments in English are translated into mathematical languages with well-defined properties. If all goes well, properties of the argument that were hard to discern become clearer. This book covers translation, formal semantics, and proof theory for both sentential logic and quantified logic. Each chapter contains practice exercises; solutions to selected exercises appear in an appendix.

Publication Date

12-27-2014

Disciplines

Logic and Foundations of Mathematics

Forall x: An introduction to formal logic

Share

COinS