Formal Logic

3 books

Study of logical systems using formal languages and symbolic notation. Examines propositional and predicate logic, proof systems, and semantics.

Goals

To understand formal logical systems and notation. To analyze valid inference using formal methods. To examine proof techniques and logical properties. To develop skills in formal reasoning and proof construction.

Books

  • Cover of Logicomix: an epic search for truth

    Logicomix: an epic search for truth

    Apostolos K. Doxiadēs, Christos H. Papadimitriou, Alecos Papadatos, 2009

  • Cover of A Beginner's Guide to Mathematical Logic

    A Beginner's Guide to Mathematical Logic

    Raymond M. Smullyan, 2014

  • Cover of Logic

    Logic

    Graham Priest, 2017

The curriculum is published by Integer School LLC under CC BY-SA 4.0. You may share and adapt it, with credit. No one pays us to include a book, and we earn nothing if you buy one.