home / content / format / download / contact

forall x

forall x is an Open Education Resource (OER) introductory textbook in formal logic. It covers translation, proofs, and formal semantics for sentential and predicate logic.

It is available under a Creative Commons license. There is no charge to use the book either as a text for a course or for self-directed study, and you are welcome to revise it to fit your needs. It is available as a free download, and you can make hardcopies without owing anything.

If you have any thoughts or questions about the book, please e-mail me.