Chapter 8, Level 1 Self Quiz: DI

Quiz Content

not completed
. The last step of the example gives the line numbers needed for its derivation. You are to determine the correct implication rule that justifies the step.
The three steps are: 1. Tilde P. 2. T horseshoe U slash tilde P dot (T horseshoe U). 3. Tilde P dot (T horseshoe U) 1, 2, blank.

not completed
. The last step of the example gives the line numbers needed for its derivation. You are to determine the correct implication rule that justifies the step.
 The three steps are: 1. P. 2. Q slash P dot Q. 3. P dot Q 1, 2, blank.

not completed
. The last step of the example gives the line numbers needed for its derivation. You are to determine the correct implication rule that justifies the step.
 The three steps are: 1. P. 2. (R horseshoe S) wedge Q slash P dot [(R horseshoe S) wedge Q]. 3. P dot [(R horseshoe S) wedge Q] 1, 2, blank.

Back to top