Proof10 exercises
Proofs: conjunction and disjunction
Fitch proofs with conjunction and disjunction: introduction and elimination, and reasoning by cases.
0 of 10 solved
Exercises in this set
- 1P ∧ Q ∴ Q ∧ PDifficulty: Warm-upNot started
- 2P, Q ∴ P ∧ QDifficulty: Warm-upNot started
- 3P ∴ P ∨ QDifficulty: Warm-upNot started
- 4P ∧ (Q ∧ R) ∴ (P ∧ Q) ∧ RDifficulty: StandardNot started
- 5P ∨ Q ∴ Q ∨ PDifficulty: StandardNot started
- 6P ∨ P ∴ PDifficulty: StandardNot started
- 7P ∧ (Q ∨ R) ∴ (P ∧ Q) ∨ (P ∧ R)Difficulty: StandardNot started
- 8(P ∧ Q) ∨ (P ∧ R) ∴ P ∧ (Q ∨ R)Difficulty: ChallengingNot started
- 9(P ∨ Q) ∨ R ∴ P ∨ (Q ∨ R)Difficulty: ChallengingNot started
- 10P ∨ Q, P ∨ R ∴ P ∨ (Q ∧ R)Difficulty: ChallengingNot started