Back to Proofs: conjunction and disjunction
Exercise 4 of 10
ProofDifficulty: StandardNot started
Task
P ∧ (Q ∧ R) ∴ (P ∧ Q) ∧ R
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.