Zum Inhalt springen
Hauptmenü
Hauptmenü
In die Seitenleiste verschieben
Verbergen
Navigation
Hauptseite
Themenportale
Zufällige Seite
Inhaltsverzeichnis
Mitarbeit
Eintrag erstellen
Autorenportal
Wunschliste
Literaturliste
Letzte Änderungen
Hilfe
Hilfe
Spenden
Hinweise für Leser
Suche
Volltext
Benutzerkonto erstellen
Anmelden
Meine Werkzeuge
Benutzerkonto erstellen
Anmelden
Seiten für abgemeldete Benutzer
Weitere Informationen
Beiträge
Diskussionsseite
Verzeichnis
:
Deutsch/Mathematik/Themengebiete/Logik
Sprachen hinzufügen
Links hinzufügen
Verzeichnis
Diskussion
Deutsch
Lesen
Bearbeiten
Versionsgeschichte
Werkzeuge
Werkzeuge
In die Seitenleiste verschieben
Verbergen
Aktionen
Lesen
Bearbeiten
Versionsgeschichte
Allgemein
Was linkt hierher?
Änderungen an verlinkten Seiten
Bild lokal hochladen
Spezialseiten
Beständige URL
Seiteninformationen
Gekürzte URL abrufen
QR-Code runterladen
Drucken/exportieren
Buch erstellen
Als PDF herunterladen
Druckversion
Aus Wiktionary, dem freien Wörterbuch
<
Verzeichnis:Deutsch
|
Mathematik
Abduktion
Ableitung
Ableitungsregel
Absorptionsgesetz
Adjunktion
Algebra
(
boolesche Algebra
)
Allquantor
Äquivalenz
Atom
Ausdruck
(
atomarer Ausdruck
)
Aussage
(
atomare Aussage
)
Aussagen-Bezeichner
Aussagenlogik
Aussagenlogiksystem
Aussagenvariable
Axiom
(
logisches Axiom
)
axiomatisches System
Belegung
Begründung
Beschreibungslogik
Beweis
Bewertung
Bindung
Boole
(
George Boole
)
dann und nur dann
(
genau dann
)
De Morgansche Gesetze
Deduktion
Deduktionstheorem
Disjunktion
Distributivität
Elimination
Entscheidbarkeit
Entscheidungsproblem
Erfüllbarkeit
Existenzquantor
Extension
(
extensional
)
Falsum
(
falsum
)
Frege
(
Gottlob Frege
)
Funktion
Gatter
Generalisator
Gentzen
(
Gerhard Gentzen
)
Gesetz
(
assoziatives Gesetz
,
kommutatives Gesetz
)
Gödel
(
Kurt Gödel
)
Graph
Gültigkeitsbereich
Gültigkeit
Herbrand-Basis
Herbrand-Interpretation
Herbrand-Universum
Hornklausel
i-äquivalent
Idempotenz
Identität
Implikation
(
materiale Implikation
)
Instantiierung
Intension
(
intensional
)
Interpretation
Inverter
Junktor
Klausel
Kommutativität
Konklusion
Konsistenz
Kontradiktion
Korrektheit
Korrektheitstheorem
Literal
(
negatives Literal
,
positives Literal
)
Logik
(
zweistufige Logik
)
logisch äquivalent
Loop-Statement
Metasprache
Metatheorem
Modallogik
Modell
Modus Ponens
Modus Ponens-Regel
Monotonie
Negation
(
doppelte Negation
)
Neutralität
nicht
nicht-Gatter
Normalform
(
disjunktive Normalform
,
konjunktive Normalform
,
pränexe Normalform
)
o. B. d. A.
oder
oder-Gatter
Operator
(
logischer Operator
)
Paradoxon
Partikularisator
Peano-Axiom
Pierce-Pfeil
Prädikatenlogik
(
Prädikatenlogik erster Stufe
,
Prädikatenlogik zweiter Stufe
)
Prämisse
Quantor
reductio ad absurdum
Resolution
Resolutionsableitung
Resolutionsprinzip
Resolvente
Resolvierung
Schaltung
(
elektronische Schaltung
,
logische Schaltung
)
Schließen
Schlussfolgerung
Schnitt
Schnittregel
Seinsquantor
Semantik
Sequenz
Sequenzenkalkül
Sheffer-Strich
Skolem-Funktion
Skolem-Konstante
Skolemisierung
Substitution
Syntax
Tableau
(
semantisches Tableau
)
Tautologie
Term
Theorem
Theorie
turnstile
und
und-Gatter
und-Verknüpfung
Unifier
Unifikation
Unifikationsalgorithmus
Unifikator
(
allgemeinster Unifikator
)
Universalquantor
Vereinigung
Verknüpfung
Vereinigungsoperator
Vollständigkeit
Vollständigkeitstheorem
Wahrheit
Wahrheitsbewertung
Wahrheitsfunktion
Wahrheitstafel
Wahrheitswert
wenn … dann
Widerspruch
Widerspruchsbeweis
Widerspruchsfreiheit
Widerspruchsmethode
wohlgeformter Ausdruck
XOR
bearbeiten
Umschalten der eingeschränkten Breite des Inhalts