Substitution Instances Practice =Rules

Substitution Instances Practice =Rules - =Elim 1, 2 7. 8....

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
1 of 1 P RACTICE WITH S UBSTITUTION I NSTANCES (=E LIM AND =I NTRO ) Part I. Instructions: Circle each argument that contains a correct substitution instance of the rule =Elim . 1. 2. 3. 1. Cube(a) 1. SameRow(a,b) 1. a=b 2. a = b 2. SameCol(a,b) 2. c=b 3. Cube(b) =Elim 1, 2 3. a=b =Elim 1, 2 3. a=c =Elim 1, 2 4. 5. 6. 1. RightOf(d,b) 1. b=e 1. a=b 2. a=b 2. RightOf(d,e) 2. b=c 3. LeftOf(a,d) =Elim 1, 2 3. RightOf(d,b) =Elim 1, 2 3. c=a
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: =Elim 1, 2 7. 8. 9. FrontOf(c,d) a=e 1. Large(b) d=f Small(a) 2. c=b FrontOf(c,f) =Elim 1, 2 Large(e) =Elim 1, 2 3. Large(c) =Elim 1, 2 Part II. Instructions: Circle each argument that contains a correct substitution instance of the rule =Intro . 10. 11. 12. 1. c=c =Intro 1. d=c =Intro 1. a=a =Intro 13. 14. 15. 1. b=a =Intro 1. b=b =Intro 1. f=f =Intro...
View Full Document

This note was uploaded on 05/26/2011 for the course PHIL 202 taught by Professor Fricke during the Spring '08 term at University of Arizona- Tucson.

Ask a homework question - tutors are online