Substitution Instances Practice vElim (1)

Substitution Instances Practice vElim (1) - Cube(a) 8. C...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
1 of 2 P RACTICE WITH S UBSTITUTION I NSTANCES ( E LIM ) Instructions: Label each argument that contains a correct substitution instance of the rule Elim correct. (Ignore the fact that none of the proofs below are complete or correct as a whole. Instead, focus your attention exclusively on the step where the vElim justification is provided and ask whether that step, taken by itself, is a correct substitution instance of the rule.) 1. 2. 1. A (B C) 1. Cube(a) (Tet(c) Small(a)) 2. A 2. Tet(c) 3. D C 3. SameRow(a,c) 4. B C 4. Small(a) 5. D C 5. SameRow(a,c) 6. D C Elim 1, 2-3, 4-5 6. SameRow(a,c) Elim 1, 2-3, 4-5 3. 4. 1. (Cube(a) Cube(c)) Tet(b) 1. A B C 2. a=c 2. A 3. Cube(a) Cube(c) 3. C 4. Tet(b) 4. B 5. Cube(a) 5. C 6. Cube(a) Tet(b) 6. C 7. Cube(c) 7. C 8.
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Background image of page 2
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Cube(a) 8. C Elim 1, 2-3, 4-5, 6-7 9. Cube(a) Tet(b) 10. Cube(a) Tet(b) Elim 3, 5-6, 7-9 2 of 2 5. 6. 1. A B 1. A B 2. A 2. B 3. D C 3. D 4. B 4. C 5. C D 5. D 6. D C Elim 1, 2-3, 4-5 6. D Elim 1, 2-3, 4-5 7. 8. 1. Large(a) 2. Small(c) Small(a) 1. (A C) B 3. Small(c) 2. A C 4. Small(c) Tet(b) 3. A 5. Small(a) 4. C 6. a=a 5. E 7. Small(c) 6. B 8. Small(c) Tet(b) 7. B D 9. c=c 8. E 10. Small(c) Tet(b) Elim 2, 3-4, 5-8 9. E Elim 1, 2-5, 6-8 9. 10. 1. A (B C) 1. Cube(a) Small(a) 2. A 2. Cube(a) 3. A C 3. Cube(a) 4. B C 4. Small(a) 5. A C 5. Small(a) 6. B 6. Cube(a) Elim 1 7. A C Elim 1, 2-3, 4-6...
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.

Page1 / 2

Substitution Instances Practice vElim (1) - Cube(a) 8. C...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online