Proof10 exercises
Proofs: the conditional
Fitch proofs with the conditional: eliminate it by modus ponens, and introduce it by assuming the antecedent in a subproof.
0 of 10 solved
Exercises in this set
- 1P → Q, P ∴ QDifficulty: Warm-upNot started
- 2Q ∴ P → QDifficulty: Warm-upNot started
- 3∴ P → (Q → P)Difficulty: Warm-upNot started
- 4P → Q, Q → R ∴ P → RDifficulty: Warm-upNot started
- 5P → (Q → R) ∴ (P ∧ Q) → RDifficulty: StandardNot started
- 6(P ∧ Q) → R ∴ P → (Q → R)Difficulty: StandardNot started
- 7P → Q, P → R ∴ P → (Q ∧ R)Difficulty: StandardNot started
- 8P → (Q → R), P → Q ∴ P → RDifficulty: StandardNot started
- 9P → Q ∴ (R → P) → (R → Q)Difficulty: StandardNot started
- 10P → Q, Q → R, R → S ∴ P → SDifficulty: StandardNot started