Chapter 8, Level 1 Self Quiz: BI

. 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. Q horseshoe (R wedge S). 2. Tilde (R wedge S) slash tilde Q. 3. Tilde Q 1, 2, blank.

. 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. (R horseshoe S) wedge (P horseshoe Q). 2. Tilde (R horseshoe S) slash P horseshoe Q. 3. P horseshoe Q 1, 2, blank.

. 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. R horseshoe (S wedge R). 2. (S wedge R) horseshoe P slash R horseshoe P. 3. R horseshoe P 1, 2, blank.

Back to top