Natural Deduction

Home > Philosophy > Epistemology > Deduction > Natural Deduction

A method of proof using derivation trees.