Inference Rules for Truth Trees

Procedure for Truth-tree Tests: