Category:Tableau Proofs

This category contains pages defining the presentation of the various proof rules of Natural Deduction as they are to appear in tableau proofs.