Lemma (logic)

For other uses, see Lemma (disambiguation).

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

This article is issued from Wikipedia - version of the 6/11/2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.