Implikation
Sign in to saveAlso known as entailment, asserted relation, implies, logically implies, logical implication
logische Verknüpfung
Wikidata facts
- Instance of
- concept
- Subclass of
- consequence
- Part of
- inference
Show 5 more facts
- topic's main category
- Category:Logical consequence
- Commons category
- Logical consequence
- studied by
- logic
- Unicode character
- ⇒
- maintained by WikiProject
- WikiProject Mathematics
Sources (3)
via Wikidata · CC0
Article · Deutsch
Eine Ableitung, Herleitung, oder Deduktion ist in der Logik die Gewinnung von Aussagen aus anderen Aussagen. Dabei werden Schlussregeln auf Prämissen angewandt, um zu Konklusionen zu gelangen. Welche Schlussregeln dabei erlaubt sind, wird durch den verwendeten Kalkül bestimmt. Die Ableitung ist zusammen mit der semantischen Folgerung eine der zwei logischen Methoden, um auf die Konklusion zu kommen.
Abstract from DBpedia / Wikipedia · CC BY-SA