5.7ex II
The first rules of replacement:
DN, AS, CM, DM, IM

Multiple Choice: Click on the correct answer and the page will jump forward to the next problem.

 

1. A rule of replacement is different from a rule of inference because...
a. It may be used to make an inference in two directions, thus the double arrow in the statement of the rule. b. It may be used to replace a component of a sentence. c. All of the above. d. None of the above.

2. One may use DN to derive 'AvB' from
a. ~~(AvB) b. ~(AvB) c. ~(Av~B) d. ~Av~B

3. One may use AS to derive 'A&(BvC)' from
a. (A&B)vC b. (BvC)&A c. All of the above. d. None of the above.

4. One may use CM to derive 'A&(BvC)' from
a. (A&B)vC b. (BvC)&A c. All of the above. d. None of the above.

5. One may use DM to derive ~(Av~B) from...
a. ~Av~B b. ~AvB c. ~A&~B d. ~A&~~B

6. One may use IM to derive A>B from ...
a. B>A b. ~A>~B c. ~AvB d. ~BvA

 

 

 

 

 

 

 

 

 

Good, you've come to the end.
You successfully completed...
       

 

Show results so far...