Benutzer:Mediterryan/Bücher/Semantik & Logik 2
aus Wikipedia, der freien Enzyklopädie
Dies ist ein gespeichertes „Wikipedia-Buch“ | [ Bücherregal ] | |
Semantik & Logik
- Schlussfolgerung
- Deduktion
- Induktion (Philosophie)
- Abduktion
- Prämisse
- Konsequenz
- Regel (Richtlinie)
- Aussage (Logik)
- Prinzip der Zweiwertigkeit
- Wahrheitswert
- Wahrheitswertzuordnung
- Wahrheitswertefunktion
- Extension und Intension
- Satz vom ausgeschlossenen Dritten
- Wahrheitstabelle
- Aussageform
- Junktor
- Logische Verknüpfung
- Term
- Definitionsmenge
- Zielmenge
- Bild (Mathematik)
- Teilmenge
- Surjektivität
- Bijektive Funktion
- Injektivität
- Prädikatenlogik erster Stufe
- Prädikatenlogik zweiter Stufe
- Logik höherer Stufe
- Zirkelschluss
- Satz vom Widerspruch
- Tautologie (Logik)
- Modallogik
- Theorem
- Axiom
- Axiomensystem
- Axiomatisierung
- Widerspruchsfreiheit
- Ableitung (Logik)
- Antinomie
- Paradoxon
- Negationstreu
- Begriffssystem
- Entscheidbar
- Kontradiktion
- Syllogismus
- Erfüllbarkeitsproblem der Aussagenlogik
- Allgemeingültigkeit
- Urteil (Logik)
- Gültigkeit
- Beweis (Mathematik)
- Deduktionstheorem
- Widerlegungstheorem
- Fehlschluss
- Analogismus
- Beweis (Logik)
- Verifizierung
- Validität
- Formale Semantik
- Vollständigkeit (Logik)
- Modus ponens
- Modus tollendo ponens
- Modus tollens
- Modus Barbara
- Modus ponendo tollens
- Kategorisches Urteil
- Hypothetischer Syllogismus
- Direkter Schluss
- Induktionsproblem
- A priori
- A posteriori
- Synthese
- These
- Antithese
- Schluss auf die beste Erklärung
- Notwendige und hinreichende Bedingung
- Hypothese
- Deduktiv-nomologisches Modell
- Argument
- Kontravalenz
- Bikonditional
- Subjunktion
- Disjunktion
- Konjunktion (Logik)
- Negation
- Klassische Logik
- Logische Äquivalenz
- Äquivalenzrelation
- Implikation
- Idempotenz
- Kommutativgesetz
- Distributivgesetz
- Assoziativgesetz
- Alternativität
- De Morgansche Gesetze
- Zweistellige Verknüpfung
- Aussagenlogik
- Shefferscher Strich
- Ableitung (Informatik)
- Metasprache
- Konversion (Logik)
- Logischer Operator
- Schlussregel
- Kettenschluss
- Reductio ad absurdum
- Kontraposition
- Einsetzungsregel (Logik)
- Ersetzungsregel
- Resolution (Logik)
- Systeme natürlichen Schließens
- Petitio principii
- Kalkül
- Adäquatheit (Logik)
- Korrektheit (Logik)
- Wertemenge
- Erfüllbarkeit
- Berechenbarkeit
- Unverträglichkeit (Logik)