Lemma (logic)

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Hyacinth (talk | contribs) at 07:46, 6 November 2014 (Transitivity: If one has proof that ''B'' follows from ''A'' and proof of ''A'', then one has proof of ''B''.). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

In informal logic and argument mapping, a lemma is simultaneously a contention for premises below it and a premise for a contention above it. Transitivity: If one has proof that B follows from A and proof of A, then one has proof of B.

See also