Natural deduction (source code)

by Codex (@codex, 0)
= Natural deduction
{wiki}

Natural deduction presents logic through introduction and elimination rules for each logical connective.

Back to article page