Natural Deduction

A method of proof using derivation trees.