David W. Agler

Textbook

In the Spring of 2009, I began writing Symbolic Logic: Syntax, Semantics, and Proof. The first edition took the form of lecture notes and handouts that I distributed in the summer of 2009, a course packet in the fall of 2009, and finally I used it as a textbook in the Summer 2010, Fall 2010, and Spring 2011 semesters.

The development of the textbook benefited greatly from the feedback I received from instructors and students at Penn State: Deniz Durmus (Spring 2011); Mark Fisher (Spring 2011); Cameron O'Mara (Summer 2011); Ryan Pollock (Fall 2011), Christopher Allaman, Ashley Brooks, Aurora Cooper, Maureen Dunn, Elliannies Duran, Ariel Endresen, Nayib Felix, Joy Garcia, Alex Kirk, Edward Lackner, Brooke Santkiewicz, Ariel Valdez, Isaac Bishop, Kristin Nuss, Karintha Parker, Sarah Mack, Amanda Wise, Meghan Barnett, Alexander McCormack, and Kevin Bogle.

The textbook is in its 2nd printing. The erratum (list of corrections from the first printing) can be found here: Errata for Symbolic Logic: Syntax, Semantics, and Proof. I warmly welcome any constructive feedback you may have about the book. I'm always looking for new ways to make logic easier to learn!

Handouts

Slides

S5: PL - Propositional Logic Proofs
S9: RL - Variable Assignments (Slides)

Other Handouts

Practice Exams

Starred exams are the practice examples we will use to review during the review sessions.

Videos

PL - Derivations / Proofs

Predicate Logic (RL) - Symbols, Syntax, Semantics, Translation

RL: Symbols
RL: Basic Syntax
RL: Semantics (Models)
RL: Valuation of Unquantified Formulas
RL: Valuations, Part 2 (Quantified Wffs)
RL: Basic Translation
RL: Semantics with Variable Assignments (Part 1)
RL: Semantics with Variable Assignments (Part 2)

RL - Truth Trees

RL Trees: Introduction
RL Trees: Negated decomposition
RL Trees: Completed open branch
RL Trees: Recovering a model from a completed open branch

RL - Proofs

RL, Proofs: Introduction
RL, Proofs: Universal Elimination
RL, Proofs: Existential Introduction
RL, Proofs: Universal Introduction
RL, Proofs: Existential Elimination
RL, Proofs (Practice), Part 1
RL, Proofs (Practice), Part 2

LOGIC