UBC Faculty Research and Publications

forall x : (UBC edition) : An introduction to formal logic Magnus, P. D.; Ichikawa, Jonathan Jenkins


This is an open-access introductory logic textbook, prepared by Jonathan Ichikawa, based on P.D. Magnus’s forallx. This book is an introduction to sentential logic and first-order predicate logic with identity, logical systems that significantly influenced twentieth-century analytic philosophy. It contains content, practice exercises, symbolic notations, and solutions to selected exercises. [Text and source code for this open textbook is available via GitHub].

Item Citations and Data


Attribution-ShareAlike 4.0 International