|This article does not cite any sources. (November 2006) (Learn how and when to remove this template message)|
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 that C follows from B, then one has proof that C follows from A.
|This logic-related article is a stub. You can help Wikipedia by expanding it.|