Part II: First Order Logic Last updated Save as PDF Page ID16848 Contributed by Craig DeLanceyProfessor (Philosophy) at SUNY OswegoSourced from OpenSUNY 2.1: 11. Names and predicates2.2: 12. “All” and “some”2.3: 13. Reasoning with quantifiers2.4: 14. Universal derivation2.5: 15. Relations, functions, identity, and multiple quantifiers2.6: 16. Summary of first order logic2.1: 11. Names and predicates2.2: 12. “All” and “some”2.3: 13. Reasoning with quantifiers2.4: 14. Universal derivation2.5: 15. Relations, functions, identity, and multiple quantifiers2.6: 16. Summary of first order logic