open.conted.ox.ac.uk (beta)

Open Educational Resources

Handout 14: Predicate Logic III

Document

PDF icon LOG_HO14.pdf

The tree method sketched, predicate logic with identity (QL=), extensionality, second-order predicate logic.

People: 
Peter Wyss
Date created: 
Thursday, March 14, 2013
License: 
Creative Commons Attribution-NonCommercial-ShareAlike
Attribution for this resource:
Handout 14: Predicate Logic III, © Peter Wyss, licensed under CC BY-NC-SA.
Subjects: 
Philosophy
Keywords: 
predicate logic, formal, identity, extensionality
Courses using this resource: