From Wikipedia, the free encyclopedia
For other uses, see Lemma (disambiguation).
|This article does not cite any references or sources. (November 2006)|
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.
|This philosophy-related article is a stub. You can help Wikipedia by expanding it.|