Back to Proofs: the conditional
Exercise 6 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.
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.