What are you testing?
Premises separated by commas, then ∴ and the conclusion, as in P → Q, P ∴ Q.
The tableau starts from the premises and the negated conclusion. If every branch closes, the argument is valid.
No tableau yet
Enter a task above. The tableau starts as soon as the task reads correctly.