Substitution Instances Practice and-Rules

Substitution Instances Practice and-Rules - Mark each...

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 AND I NTRO ) Part I. Instructions: Mark correct each argument that contains a correct substitution instance of the rule Elim . 1. 2. 1. A (B C) 1. Cube(a) (Tet(c) Small(a)) 2. A Elim 1 2. Tet(c) Small(a) Elim 1 3. 4. 1. Cube(a) Small(a) ¬ Tet(a) 1. A ( ¬ B C) 2. Small(a) ¬ Tet(a) Elim 1 2. C Elim 1 5. 6. 1. (B C) (B A) 1. A ¬ C 2. B Elim 1 2. ¬ C Elim 1 7. 8. 1. (B C) (B A) 1. BackOf(a,b) (SameRow(a,c) b=f) 2. B C 2. BackOf(a,b) Elim 1 3. B Elim 2 3. SameRow(a,c) b=f Elim 1 4. B A 4. b=f Elim 3 5. B Elim 4 5. BackOf(a,f) Ana Con 2, 4 6. B Elim 1, 2-3, 4-5 9. 10. 1. (B C) A 1. Cube(a) Tet(c) Tet(d) Tet(e) Tet(f) 2. B Elim 1 2. Tet(c) Tet(d) Elim 1
Background image of page 1

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

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

Unformatted text preview: Mark each argument that contains correct substitution instances of the rule ∧ Intro . 11. 12. 1. A 1. Cube(a) 2. B ∨ C 2. Small(a) 3. A ∧ (B ∨ C) ∧ Intro 1, 2 3. Cube(a) ∧ Small(a) ∧ Intro 1, 2 13. 14. 1. SameRow(f,c) 1. ¬ B 2. BackOf(f,a) 2. C 3. SameRow(f,c) ∧ BackOf(f,a) ∧ Intro 1 3. C ∧ ¬ B ∧ Intro 1, 2 15. 16. 1. B 1. A ∧ C 2. B ∧ B ∧ Intro 1 2. B 2. A ∧ B ∧ Intro 1, 2 17. 18. 1. Large(f) 1. A 2. Large(f) ∧ Tet(f) ∧ Intro 1 2. B 3. C 4. A ∧ B ∧ C ∧ Intro 1, 2, 3 19. 20. 1. A ∧ (B ∨ D) 1. B ∨( A ∧ C) 2. ¬ (B ∨ C) 2. ¬ B ∧ D 3. ¬ (B ∨ C) ∧ (A ∧ (B ∨ D)) ∧ Intro 1, 2 3. (B ∨ A) ∧ ( ¬ B ∧ D) ∧ Intro 1, 2...
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 Arizona.

Page1 / 2

Substitution Instances Practice and-Rules - Mark each...

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