This preview has intentionally blurred sections. Sign up to view the full version.
View Full DocumentThis preview has intentionally blurred sections. Sign up to view the full version.
View Full Document Spring '11
 PLUMMER
 Logic, Equivalence relation, Transitive relation, Symmetric relation, Firstorder logic

Click to edit the document details