LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science

By Andrea Iacona

Book Overview

1 Basic notion.- 2 Validity.- 3 Formality.- 4 The symbols of propositional logic.- 5 The language L.- 6 Logical consequence in L.- 7 The system Sn.- 8 Derivability in Sn.- 9 The system Sa.- 10 Consistency, soundness, completeness.- 11 Quantification.- 12 The symbols of predicate logic.

• Format: Paperback
• Language: English
• ISBN: 3030648133
• ISBN13: 9783030648138
• Release Date: May 2022
• Publisher: Springer
• Length: 227 Pages
• Weight: 0.75 lbs.
• Dimensions: 0.5" x 6.1" x 9.2"