1 of 1
PRACTICE WITH SUBSTITUTION INSTANCES (=ELIM AND =INTRO)
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. a=b
3.
1 of 2
PRACTICE WITH SUBSTITUTION INSTANCES (ELIM AND INTRO)
Part I. Instructions:
Mark correct each argument that contains a correct substitution instance of the rule
Elim.
1.
2.
1. A (B C)
2. A
1. Cube(a) (Tet(c) Small(a)
Elim 1
2. Tet(c) Small(a)
3.
E
1 of 2
PRACTICE WITH SUBSTITUTION INSTANCES ( LIM)
E
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, focu