Back to Tableaux: formulas, pairs and sets
Exercise 5 of 10
TableauDifficulty: StandardNot started
Task
(P ∨ Q) ∧ ¬P
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.
Task
(P ∨ Q) ∧ ¬P
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.