Proof10 exercises
Proofs: derived rules
Fitch proofs where the derived rules may be cited: disjunctive syllogism, modus tollens, double negation elimination, excluded middle, and De Morgan.
0 of 10 solved
Exercises in this set
- 1P → Q, ¬Q ∴ ¬PDifficulty: Warm-upNot started
- 2P ∨ Q, ¬P ∴ QDifficulty: Warm-upNot started
- 3¬¬P ∴ PDifficulty: Warm-upNot started
- 4∴ P ∨ ¬PDifficulty: Warm-upNot started
- 5¬(P ∨ Q) ∴ ¬P ∧ ¬QDifficulty: StandardNot started
- 6¬(P ∧ Q) ∴ ¬P ∨ ¬QDifficulty: StandardNot started
- 7¬P ∨ Q ∴ P → QDifficulty: StandardNot started
- 8P → Q ∴ ¬P ∨ QDifficulty: StandardNot started
- 9P ∨ Q, ¬P ∨ R ∴ Q ∨ RDifficulty: StandardNot started
- 10(P → Q) ∧ (R → S), P ∨ R ∴ Q ∨ SDifficulty: StandardNot started