Back to Proofs: negation and absurdity
Exercise 2 of 10
ProofDifficulty: Warm-upNot started
Task
P ∧ ¬P ∴ Q
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 ∧ ¬P ∴ Q
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.