5.1ex II
Derivation Basics

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

1. When we use the rule "&E", we cite how many line numbers in the justifictaion?
a. 1 b. 2 c. 3

2. When we use the rule "&I", we cite how many line numbers in the justifictaion?
a. 1 b. 2 c. 3

3. When we use the rule ">E", we cite how many line numbers in the justifictaion?
a. 1 b. 2 c. 3

4. In order to break "A&B" down into its parts, a derivation could use
a. &I b. &E c. >E

5. In order to derive "(A>B)&(DvL)" from two premises, "A>B" and "DvL", one can always use which rule?
a. &I b. &E c. >E

6. Which of the following rules is not defined in tutorial 5.1?
a. &I b. >I c. >E d. &E

7. If one's premises on lines 1 and 2 are 'A>B' and 'A&N', then on line 3, which rule could not be used.
a. &I b. &E c. >E

 

 

 

 

 

 

 

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

 

Show results so far...