Questions tagged [tableaux]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
2
votes
1answer
70 views

Soundness and Completeness of Tableaux

Tableaux to my knowledge are both sound and complete. The statement: "If P is valid then tableau for -P eventually closes". Does this statement prove that tableau is sound and complete or ...