Part II: First Order Logic

 

Part II: First Order Logic

  1. Names and Predicates
  2. “all” and “some”
  3. Reasoning with Quantifiers
  4. Universal Derivation
  5. Relations, Functions, Identity, and Multiple Quantifiers
  6. Summary of First Order Logic

License

Icon for the Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License

Elementary Formal Logic Copyright © 2020 by Jenna Woodrow and Craig DeLancey is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License, except where otherwise noted.

Share This Book