Back to Tableaux: formulas, pairs and sets
Exercise 8 of 10
TableauDifficulty: StandardNot started
Task
P → Q, ¬P → Q
Build the tableau and decide whether the two formulas are equivalent.
Work on it in the tool, then come back here and check your answer.