Back to Tableaux: testing arguments
Exercise 2 of 10
TableauDifficulty: Warm-upNot started
Task
P ∨ Q, ¬P ∴ Q
Build the tableau and decide whether the argument is valid.
Work on it in the tool, then come back here and check your answer.
Task
P ∨ Q, ¬P ∴ Q
Build the tableau and decide whether the argument is valid.
Work on it in the tool, then come back here and check your answer.