Questions tagged [proof-theory]
The proof-theory tag has no usage guidance.
1
question
2
votes
1answer
60 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 ...