Skip to content
Back to Proofs: conjunction and disjunction

Exercise 5 of 10

ProofDifficulty: StandardNot started

Task

P ∨ Q ∴ Q ∨ P

Prove the conclusion from the premises. Use the basic rules only.

Work on it in the tool, then come back here and check your answer.