5.2ex II
Derivations

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

1. Suppose a derivation's premises are 'A>B', 'B>A', and 'AvB'. Which of the following rules could be applied on line 4?
a. >E b. vE c. =I d. None of the above

2. Suppose a derivation's premises are 'A>C', 'B>C', and 'AvB'. Which of the following rules could be applied on line 4?
a. >E b. vE c. =I d. None of the above

3. Suppose a derivation's premises are 'A>C', 'C>B', and 'AvB'. Which of the following rules could be applied on line 4?
a. >E b. vE c. =I d. None of the above

4. The rule of &E requires an input line with main connective ampersand: a conjunction. What about vI? vI requires an input which
a. may be any sentence. b. may be any disjunction. c. may be any conjuction. d. may be any conditional.

5. When one justifies a line using vE, one needs to cite
a. 1 line number. b. 2 line numbers. c. 3 line numbers.

6. When one justifies a line using vI, one needs to cite
a. 1 line number. b. 2 line numbers. c. 3 line numbers.

7. When one justifies a line using =E, one needs to cite
a. 1 line number. b. 2 line numbers. c. 3 line numbers.

8. When one justifies a line using =I, one needs to cite
a. 1 line number. b. 2 line numbers. c. 3 line numbers.

 

 

 

 

 

 

 

 

 

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

 

Show results so far...