Substitution Instances Practice and-Rules

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

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

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

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

View Full Document
2 of 2 Part II. Instructions:
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

{[ snackBarMessage ]}

### What students are saying

• As a current student on this bumpy collegiate pathway, I stumbled upon Course Hero, where I can find study resources for nearly all my courses, get online help from tutors 24/7, and even share my old projects, papers, and lecture notes with other students.

Kiran Temple University Fox School of Business â€˜17, Course Hero Intern

• I cannot even describe how much Course Hero helped me this summer. Itâ€™s truly become something I can always rely on and help me. In the end, I was not only able to survive summer classes, but I was able to thrive thanks to Course Hero.

Dana University of Pennsylvania â€˜17, Course Hero Intern

• The ability to access any universityâ€™s resources through Course Hero proved invaluable in my case. I was behind on Tulane coursework and actually used UCLAâ€™s materials to help me move forward and get everything together on time.

Jill Tulane University â€˜16, Course Hero Intern