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