Verzeichnis:Mathematik/Themengebiete/Logik
Aus Wiktionary, dem freien Wörterbuch
<
Verzeichnis:Mathematik
Wechseln zu:
Navigation
,
Suche
Abduktion
Ableitung
Ableitungsregel
Absorptionsgesetz
Adjunktion
Algebra
(
boolesche ~
)
Allquantor
Äquivalenz
Atom
Ausdruck
(
atomarer ~
)
Aussage
(
atomare ~
)
Aussagen-Bezeichner
Aussagenlogik
Aussagenlogiksystem
Aussagenvariable
Axiom
(
logisches ~
)
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 ~
,
kommutatives ~
)
Gödel
(
Kurt Gödel
)
Graph
Gültigkeitsbereich
Gültigkeit
Herbrand-Basis
Herbrand-Interpretation
Herbrand-Universum
Hornklausel
i-äquivalent
Idempotenz
Identität
Implikation
(
materiale ~
)
Instantiierung
Intension
(
intensional
)
Interpretation
Inverter
Junktor
Klausel
Kommutativität
Konklusion
Konsistenz
Kontradiktion
Korrektheit
Korrektheitstheorem
Literal
(
negatives ~
,
positives ~
)
Logik
(
zweistufige ~
)
logisch äquivalent
Loop-Statement
Metasprache
Metatheorem
Modallogik
Modell
Modus Ponens
Modus Ponens-Regel
Monotonie
Negation
(
doppelte ~
)
Neutralität
nicht
nicht-Gatter
Normalform
(
disjunktive ~
,
konjunktive ~
,
pränexe ~
)
o.B.d.A.
oder
oder-Gatter
Operator
(
logischer ~
)
Paradoxon
Partikularisator
Peano-Axiom
Pierce-Pfeil
Prädikatenlogik
(
~ erster Stufe
,
~ zweiter Stufe
)
Prämisse
Quantor
reductio ad absurdum
Resolution
Resolutionsableitung
Resolutionsprinzip
Resolvente
Resolvierung
Schaltung
(
elektronische ~
,
logische ~
)
Schließen
Schlussfolgerung
Schnitt
Schnittregel
Seinsquantor
Semantik
Sequenz
Sequenzenkalkül
Sheffer-Strich
Skolem-Funktion
Skolem-Konstante
Skolemisierung
Substitution
Syntax
Tableau
(
semantisches ~
)
Tautologie
Term
Theorem
Theorie
turnstile
und
und-Gatter
und-Verknüpfung
Unifier
Unifikation
Unifikationsalgorithmus
Unifikator
(
allgemeinster ~
)
Universalquantor
Vereinigung
Verknüpfung
Vereinigungsoperator
Vollständigkeit
Vollständigkeitstheorem
Wahrheit
Wahrheitsbewertung
Wahrheitsfunktion
Wahrheitstafel
Wahrheitswert
wenn ... dann
Widerspruch
Widerspruchbeweis
Widerspruchsfreiheit
Widerspruchsmethode
wohlgeformter Ausdruck
XOR
bearbeiten
Diese Seite
Verzeichnis
Diskussion
Seite bearbeiten
Versionen/Autoren
Persönliche Werkzeuge
Anmelden
Suche
Navigation
Hauptseite
Themenportale
Zufälliger Eintrag
Inhaltsverzeichnis
Mitarbeit
Wiktionary-Portal
Wunschliste
Literaturliste
Letzte Änderungen
Hilfe
Hilfe
Spenden
Nutzungshinweise
Werkzeuge
Was linkt hierher?
Verlinktes prüfen
Bild lokal hochladen
Spezialseiten
Druckansicht
Beständige URL
