Skip to content
Back to Tableaux: formulas, pairs and sets

Exercise 2 of 10

TableauDifficulty: Warm-upNot started

Task

P ∨ Q

Build the tableau and decide whether the formula is a tautology.

Work on it in the tool, then come back here and check your answer.