Chapter 8, Level 1 Self Quiz: DII

. In the following example, the justification (the implication rule) is provided for the last step. However, the step itself is missing. Use the given information to determine the last step.
The two steps are: 1. P dot (Q horseshoe R). 2. Blank 1, Simp.

The two steps are: 1. P dot (Q horseshoe R). 2. Blank 1, Simp.

P

Q

R

S

. In the following example, the justification (the implication rule) is provided for the last step. However, the step itself is missing. Use the given information to determine the last step.
The three steps are: 1. P horseshoe Q. 2. R wedge S. 3. Blank 1, 2, Conj.

The three steps are: 1. P horseshoe Q. 2. R wedge S. 3. Blank 1, 2, Conj.

P ⊃ Q • R

P ⊃ R

(P ⊃ Q) • (R ∨ S)

Q • S

. In the following example, the justification (the implication rule) is provided for the last step. However, the step itself is missing. Use the given information to determine the last step.
The three steps are: 1. (Tilde P wedge tilde S) dot (tilde L horseshoe tilde R). 2. Blank 1, Simp.

The three steps are: 1. (Tilde P wedge tilde S) dot (tilde L horseshoe tilde R). 2. Blank 1, Simp.

(~ P ∨ ~ S)

~ (P ∨ ~ S)

(~ P ∨ S)

P • R

Quiz Content