Also known as entailment, asserted relation, implies, logically implies, logical implication
logische Verknüpfung
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
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).