Proof10 exercises
Proofs: negation and absurdity
Fitch proofs with negation and the absurdity sign, using only the basic rules: negation introduction, indirect proof, and explosion.
0 of 10 solved
Exercises in this set
- 1P ∴ ¬¬PDifficulty: Warm-upNot started
- 2P ∧ ¬P ∴ QDifficulty: Warm-upNot started
- 3P → Q, ¬Q ∴ ¬PDifficulty: StandardNot started
- 4¬¬P ∴ PDifficulty: StandardNot started
- 5P → ¬P ∴ ¬PDifficulty: StandardNot started
- 6¬P ∧ ¬Q ∴ ¬(P ∨ Q)Difficulty: StandardNot started
- 7P ∨ Q, ¬P ∴ QDifficulty: StandardNot started
- 8∴ ¬(P ∧ ¬P)Difficulty: StandardNot started
- 9∴ P ∨ ¬PDifficulty: ChallengingNot started
- 10¬(P → Q) ∴ P ∧ ¬QDifficulty: ChallengingNot started