Lemma (logic)

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.

## See also

* Co-premise
* Inference objection
* Objection

0.00

(0 votes)

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Philosophy:Lemma_(logic)&oldid=1027741"