Back to Tableaux: formulas, pairs and sets
Exercise 9 of 10
TableauDifficulty: ChallengingNot started
Task
P ∨ Q, ¬P ∨ R, ¬Q ∨ R, ¬R
Build the tableau and decide whether the set is consistent.
Work on it in the tool, then come back here and check your answer.