Lemma (logic)

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.

See also

* Co-premise
* Objection
* Inference objection

* Lemma (mathematics)
* Lemma (linguistics)

Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Lemma — may refer to: * Lemma (mathematics), a proven statement used as a stepping stone toward the proof of another statement * Lemma (linguistics), the canonical form of a word * Lemma (logic), which is simultaneously a premise for a contention above… …   Wikipedia

  • Lemma — Lem ma (l[e^]m m[.a]), n.; pl. L. {Lemmata} ( m[.a]*t[.a]), E. {Lemmas} ( m[.a]z). [L. lemma, Gr. lh^mma anything received, an assumption or premise taken for granted, fr. lamba nein to take, assume. Cf. {Syllable}.] 1. (Math., Logic) A… …   The Collaborative International Dictionary of English

  • LEMMA —   An AIM project on methods and architectures for logic engineering in medicine …   Glossary of the European Union and European Communities

  • lemma —   n. (pl. mas, mata ) Logic, major premise; (argument or theme used as) the title of a composition; Lexicography, word considered as a headword, accompanied by all its inflected forms. Botany, flowering glume of grass …   Dictionary of difficult words

  • Diagonal lemma — In mathematical logic, the diagonal lemma or fixed point theorem establishes the existence of self referential sentences in certain formal theories of the natural numbers specifically those theories that are strong enough to represent all… …   Wikipedia

  • The Hardest Logic Puzzle Ever — is a title coined by George Boolos in La Repubblica 1992 under the title L indovinello più difficile del mondo for the following Raymond Smullyan inspired logic puzzle:Boolos provides the following clarifications:George Boolos, The Hardest Logic… …   Wikipedia

  • List of mathematical logic topics — Clicking on related changes shows a list of most recent edits of articles to which this page links. This page links to itself in order that recent changes to this page will also be included in related changes. This is a list of mathematical logic …   Wikipedia

  • König's lemma — or König s infinity lemma is a theorem in graph theory due to Dénes Kőnig (1936). It gives a sufficient condition for an infinite graph to have an infinitely long path. The computability aspects of this theorem have been thoroughly investigated… …   Wikipedia

  • Lindenbaum's lemma — In mathematical logic, Lindenbaum s lemma states that any consistent theory of predicate logic can be extended to a complete consistent theory. It is used in the proof of Gödel s completeness theorem, among other places. The lemma is a special… …   Wikipedia

  • Zorn's Lemma (film) — Infobox Film name = Zorn s Lemma caption = director = Hollis Frampton producer = writer = starring = music = cinematography = editing = distributor = released = runtime = 60 min. country = flagicon|USA USA awards = language = English budget =… …   Wikipedia