forallx: the Mississippi State edition

By The Logic Machine Shop

This introduction to formal logic covers truth functional (i.e., propositional) logic and first-order logic. The content of truth functional logic is explained, and then truth tables and natural deduction are used to investigate validity. The content of first-order logic and the quantifier rules are given in the final section of the book.

• Format: Paperback
• Language: English
• ISBN: B0CRBKG23D
• ISBN13: 9798865977643
• Release Date: January 2024
• Publisher: Independently published
• Length: 215 Pages
• Weight: 0.87 lbs.
• Dimensions: 9.0" x 0.5" x 6.0"