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