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