Propositional & Predicate Logic

A topic within Foundations & Logic, itself one of 13 topics in that field and part of Mathematics.

Reading on Propositional & Predicate Logic

2 works

Book2005

forall x: An Introduction to Formal Logic

P.D. Magnus

Builds formal validity from explicit translation into symbolic logic and truth tables rather than rules to memorise, so an argument's validity becomes something the reader can check for themselves.

link checked 17 Sept 2026

Mathematics · Foundations & Logic

FreeEntry

Book1847

The Mathematical Analysis of Logic

George Boole

Recasts logical reasoning as an algebra of classes obeying arithmetic-like laws, treating deductive inference as a calculation to be checked rather than an art to be judged.

link checked 17 Sept 2026

Mathematics · Foundations & Logic

FreeIntermediate

Reading on Propositional & Predicate Logic

forall x: An Introduction to Formal Logic

The Mathematical Analysis of Logic

Other topics in Foundations & Logic