Tableau10 exercises
Tableaux: formulas, pairs and sets
Build tableaux to decide whether a formula is a tautology, whether two formulas are equivalent, and whether a set is consistent.
0 of 10 solved
Exercises in this set
- 1P → (Q → P)Difficulty: Warm-upNot started
- 2P ∨ QDifficulty: Warm-upNot started
- 3(P ∧ Q) → (P ∨ R)Difficulty: StandardNot started
- 4(P → Q) → (¬Q → ¬P)Difficulty: StandardNot started
- 5(P ∨ Q) ∧ ¬PDifficulty: StandardNot started
- 6¬(P ↔ ¬P)Difficulty: StandardNot started
- 7¬(P ∨ Q), ¬P ∧ ¬QDifficulty: StandardNot started
- 8P → Q, ¬P → QDifficulty: StandardNot started
- 9P ∨ Q, ¬P ∨ R, ¬Q ∨ R, ¬RDifficulty: ChallengingNot started
- 10P ↔ ¬Q, Q ↔ ¬R, R ↔ ¬PDifficulty: ChallengingNot started