0:00
IntermediateLogical EquivalenceProof Completion

Complete the following proof:

  1. P → Q (Premise)
  2. Q → R (Premise)
  3. P (Premise)
  4. _____ (?)
  5. _____ (?)

Goal: Prove R

P → Q, Q → R, P ⊢ R

Goal: Prove R

Click on the blank fields to fill in the proof

1.
P → Q
Premise
2.
Q → R
Premise
3.
P
Premise
4.
Q
Select rule
Select line references
5.
R
Select rule
Select line references