Tableau10 exercises
Tableaux: testing arguments
Test arguments with a tableau: close every branch for a valid argument, or find an open branch that gives a counterexample.
0 of 10 solved
Exercises in this set
- 1P → Q, P ∴ QDifficulty: Warm-upNot started
- 2P ∨ Q, ¬P ∴ QDifficulty: Warm-upNot started
- 3P → Q, Q ∴ PDifficulty: Warm-upNot started
- 4P → (Q ∧ R) ∴ (P → Q) ∧ (P → R)Difficulty: StandardNot started
- 5(P ∨ Q) → R ∴ (P → R) ∧ (Q → R)Difficulty: StandardNot started
- 6P → R, Q → R ∴ (P ∨ Q) → RDifficulty: StandardNot started
- 7¬(P ↔ Q) ∴ P ↔ ¬QDifficulty: StandardNot started
- 8P ∨ (Q ∧ R), ¬R ∴ PDifficulty: StandardNot started
- 9(P → Q) → R ∴ P → RDifficulty: ChallengingNot started
- 10P → Q, R → S, P ∨ R ∴ Q ∨ SDifficulty: ChallengingNot started