Back to Proofs: derived rules
Exercise 4 of 10
ProofDifficulty: Warm-upNot started
Task
∴ P ∨ ¬P
Prove the conclusion from the premises. The derived rules may be cited too.
Work on it in the tool, then come back here and check your answer.
Task
∴ P ∨ ¬P
Prove the conclusion from the premises. The derived rules may be cited too.
Work on it in the tool, then come back here and check your answer.