folgerung
51Beweisbar — Unter einer Ableitung oder Herleitung versteht man in der Logik die Gewinnung von Sätzen aus anderen Sätzen in einem formalen Kalkül nach den im Kalkül zugelassenen Regeln (herrschender syntaktisch formaler Ableitungsbegriff)[1] oder den Nachweis …
52Folgerungsbegriff — Unter einer Ableitung oder Herleitung versteht man in der Logik die Gewinnung von Sätzen aus anderen Sätzen in einem formalen Kalkül nach den im Kalkül zugelassenen Regeln (herrschender syntaktisch formaler Ableitungsbegriff)[1] oder den Nachweis …
53Formales System (Logik) — Die Artikel Formale Sprache, Formales System, Formales System (Logik) und Kalkül überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese… …
54Inferenzrelation — Unter einer Ableitung oder Herleitung versteht man in der Logik die Gewinnung von Sätzen aus anderen Sätzen in einem formalen Kalkül nach den im Kalkül zugelassenen Regeln (herrschender syntaktisch formaler Ableitungsbegriff)[1] oder den Nachweis …
55Logikkalkül — Die Artikel Formale Sprache, Formales System, Formales System (Logik) und Kalkül überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese… …
56Modallogik — Die Modallogik ist derjenige Zweig der Logik, der sich mit den Folgerungen um die Modalbegriffe möglich und notwendig befasst. So lassen sich innerhalb der Modallogik nicht nur Aussagen wie „Es regnet“ oder „Alle Kreise sind rund“ analysieren,… …
57Schluss — Finitum; Abschluss; Zweck; Ziel (von); Ergebnis (von); Ende; Fazit; Schlussbemerkung; Schlussfolgerung; Schlussbetrachtung; …
58Implikation — Verwicklung; Auswirkung; Konklusion; Folgerung; Konsequenz; Schlussfolgerung; logische Folgerung * * * Im|pli|ka|ti|on 〈f. 20; unz.〉 1. das Implizieren, Einbeziehung einer Sache in eine andere 2. logische Beziehung zw. zwei Sachverhalten, von… …
59Konklusion — Implikation (fachsprachlich); Folgerung; Konsequenz; Schlussfolgerung; logische Folgerung * * * Kon|klu|si|on 〈f. 20; geh.〉 Schlussfolgerung, Ergebnis; Sy 〈fachsprachl.〉 Conclusio [<lat. conclusio „Einschließung, Schluss, Folgerung“; →… …
60Holomorph — Holomorphie (von gr. holos, „ganz“ und morphe , „Form“) ist eine Eigenschaft von bestimmten komplexwertigen Funktionen, die in der Funktionentheorie (einem Teilgebiet der Mathematik) behandelt werden. Eine Funktion für eine offene Menge heißt… …