Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Lemma_(logic)> ?p ?o }
Showing triples 1 to 32 of
32
with 100 triples per page.
- Lemma_(logic) abstract "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.".
- Lemma_(logic) wikiPageID "7946248".
- Lemma_(logic) wikiPageLength "531".
- Lemma_(logic) wikiPageOutDegree "9".
- Lemma_(logic) wikiPageRevisionID "666501088".
- Lemma_(logic) wikiPageWikiLink Argument_map.
- Lemma_(logic) wikiPageWikiLink Category:Concepts_in_logic.
- Lemma_(logic) wikiPageWikiLink Co-premise.
- Lemma_(logic) wikiPageWikiLink Inference_objection.
- Lemma_(logic) wikiPageWikiLink Informal_logic.
- Lemma_(logic) wikiPageWikiLink Main_contention.
- Lemma_(logic) wikiPageWikiLink Objection_(argument).
- Lemma_(logic) wikiPageWikiLink Premise.
- Lemma_(logic) wikiPageWikiLink Transitive_relation.
- Lemma_(logic) wikiPageWikiLinkText "Lemma (logic)".
- Lemma_(logic) wikiPageWikiLinkText "Lemma".
- Lemma_(logic) wikiPageWikiLinkText "lemma".
- Lemma_(logic) wikiPageWikiLinkText "lemmas".
- Lemma_(logic) wikiPageWikiLinkText "proposition".
- Lemma_(logic) wikiPageUsesTemplate Template:Logic-stub.
- Lemma_(logic) wikiPageUsesTemplate Template:Other_uses.
- Lemma_(logic) wikiPageUsesTemplate Template:Unreferenced.
- Lemma_(logic) subject Category:Concepts_in_logic.
- Lemma_(logic) type Concept.
- Lemma_(logic) comment "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.".
- Lemma_(logic) label "Lemma (logic)".
- Lemma_(logic) sameAs Q6521185.
- Lemma_(logic) sameAs Lema_(filosofia).
- Lemma_(logic) sameAs m.026l0jb.
- Lemma_(logic) sameAs Q6521185.
- Lemma_(logic) wasDerivedFrom Lemma_(logic)?oldid=666501088.
- Lemma_(logic) isPrimaryTopicOf Lemma_(logic).