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