next up previous contents
Nächste Seite: Über dieses Dokument ... Aufwärts: Prädikatenlogik der ersten Stufe Vorherige Seite: Sonstige zitierte Literatur   Inhalt


Index

\Lukasiewicz-Notation
see polnische Notation
\Lukasiewicz, Jan
Exkurs: Polnische Notation
$\wedge$
see Konjunktion
$\vee$
see Disjunktion
$\rightarrow$
see Konditional
$\neg$
see Negation
$\vdash$
Syntaktischer Schlussbegriff
$\models$
Semantischer Schlussbegriff I: Aussagenlogik
$\leftrightarrow$
see Bikonditional
$\lambda\epsilon\kappa\tau\acute{o}\nu$
see Lekton
Abendstern
Freges Bedeutungstheorie
Abhängigkeit
des Ergebnisses der Anwendung einer Transformationsregel
see die betroffene Regel
Abkürzungen
Verwendete Zeichen und Abkürzungen to Einige griechische Buchstaben
Ableitung
Syntaktischer Schlussbegriff
Ableitungsregel
see Transformationsregel
actual world (engl.)
see tatsächliche Welt
Addition
unvollständige
see Vernam-Chiffrierschritt
Alle
see Quantor
Allquantor
Bausteine | Formationsregeln
beseitigen
Regel der Allquantor-Beseitigung ($\bigwedge B$)
einführen
Regel der Allquantor-Einführung ($\bigwedge E$)
Allquantor-Beseitigung
see Regel der Allquantor-Beseitigung
Allquantor-Einführung
see Regel der Allquantor-Einführung
Alternation
see Disjunktion
Annahme
see Regel der Annahme
Antecedens
Formationsregeln
Argument
Grundbegriffe
aussagenlogisch gültiges
see semantischer Schlussbegriff
gültiges
see gültiges Argument
ohne Prämissen
Grundbegriffe
prädikatenlogisch gültiges
see semantischer Schlussbegriff
semantisch gültiges
see semantischer Schlussbegriff
syntaktisch gültiges
see syntaktischer Schlussbegriff
arity (engl.)
see Stelligkeit
Art des Gegebenseins
Freges Bedeutungstheorie
Ausdrucksbaum
see Syntaxbaum
Ausdrücken eines Konnektivs durch ein anderes
see Konnektiv
Aussage
Grundbegriffe
mit Leerstellen
see Prädikat
übersetzen
Semantik der Satzbuchstaben
Aussagenlogik
Grundbegriffe | Formationsregeln
Semantik
see Semantik der Aussagenlogik
aussagenlogisches Konnektiv
Bausteine
Aussagesatz
see Aussage
ausschließendes Oder
see Vernam-Chiffrierschritt
Axiom
Grundbegriffe
axiomatischer Kalkül
Syntax
Baum
Syntaxbaum
see Syntaxbaum
Baumkalkül
Syntax
Baumnotation
see Syntaxbaum
Bausteine
Grundbegriffe | Bausteine to Bausteine
Bedeutung
Grundbegriffe
bei Frege
see Fregesche Bedeutung
Bedeutung$_F$
see Fregesche Bedeutung
Bedeutungslehre
see Semantik
Bedeutungstheorie
von Frege
see Freges Bedeutungstheorie
Bedingung
hinreichende
see Konditional
hinreichende und notwendige
see Bikonditional
Begriff
Exkurs: Begriffe to Exkurs: Begriffe
beliebiger Name
Bausteine
Beschreibung
bestimmte
Kennzeichnungen (definite descriptions)
Beseitigungsregel
Transformationsregeln (Schlussregeln)
für ein Konnektiv
see Regel der Beseitigung des gewünschten Konnektivs
Besen
Verzehr
see Verzehr eines Besens
bestimmte Beschreibung
Kennzeichnungen (definite descriptions)
Beweis
Syntaktischer Schlussbegriff
indirekter
see Regel der Negationseinführung
Bikonditional
Bausteine
Binärarithmetik
als Hilfe beim Erstellen von Wahrheitstabellen
see Wahrheitstabelle aufstellen
Blatt
Exkurs: Syntaxbäume
Carnap, Rudolf
Freges Bedeutungstheorie
das Falsche
Freges Bedeutungstheorie
das Wahre
Freges Bedeutungstheorie
De Morgan
Satz von
Exkurs: Funktionale Vollständigkeit
De Morgan, Augustus
Exkurs: Funktionale Vollständigkeit
Deduktionstheorem
Regel der Pfeil-Einführung ($\rightarrow E$)
Definition
eines Begriffs
see den zu definierenden Begriff
deklarativer Satz
see Aussage
die meisten
see unpräziser Quantor
Disjunkt
Formationsregeln
typisches
see typisches Disjunkt
Disjunktion
Bausteine | Formationsregeln
beseitigen
Regel der Oder-Beseitigung ($\vee B$)
einführen
Regel der Oder-Einführung ($\vee E$)
Semantik der
Semantik der Disjunktion
Wahrheitstabelle der
Wahrheitstafeln
Diskursuniversum
Das Diskursuniversum
leeres
Das Diskursuniversum
domain (engl.)
see Diskursuniversum
Domäne
see Diskursuniversum
Doppelpfeil
see Bikonditional
doppelte Negation
see Negation
doppelte Verneinung
see Negation
dreistellige Namensrelation
Freges Bedeutungstheorie
duplex negatio confirmat (lat.)
see Regel der Nicht-Nicht-Beseitigung
Eigenname
Eigennamen to Kollektive Eigennamen (mass terms,
bestimmte Beschreibung
Kennzeichnungen (definite descriptions)
eigentlicher Eigenname
Eigentliche Eigennamen (rigid designators)
Kennzeichnung
Kennzeichnungen (definite descriptions)
kollektiver
Kollektive Eigennamen (mass terms,
mass terms (engl.)
Kollektive Eigennamen (mass terms,
non count nouns (engl.)
Kollektive Eigennamen (mass terms,
Pronomen im Singular
Pronomen im Singular
Scheinname
see Scheinname
bei Russell
Die Lösung des Problems
singularia tantum (lat.)
Kollektive Eigennamen (mass terms,
übersetzen
Übersetzung von Eigennamen
Methode Quines
Übersetzung von Eigennamen
eigentlicher Eigenname
Eigentliche Eigennamen (rigid designators)
Einführungsregel
Transformationsregeln (Schlussregeln)
für ein Konnektiv
see Regel der Einführung des gewünschten Konnektivs
Einschränkung
bei der Allquantor-Einführung
Regel der Allquantor-Einführung ($\bigwedge E$)
bei der Existenzquantor-Beseitigung
Regel der Existenzquantor-Beseitigung ($\bigvee B$)
Endknoten
Exkurs: Syntaxbäume
erfüllbarer Satz
Semantischer Schlussbegriff II: Prädikatenlogik
Existentialquantifikator
see Existenzquantor
Existenz
Prädikate
Existenzbehauptung
negative
Übersetzung von Eigennamen | Freges Bedeutungstheorie
bei Frege
Freges Bedeutungstheorie
Russells Problem
Das Problem der negativen | Die Lösung des Problems
positive
Übersetzung von Eigennamen
Existenzquantor
Bausteine | Formationsregeln
beseitigen
Regel der Existenzquantor-Beseitigung ($\bigvee B$)
einführen
Regel der Existenzquantor-Einführung ($\bigvee E$)
Existenzquantor-Beseitigung
see Regel der Existenzquantor-Beseitigung
Existenzquantor-Einführung
see Regel der Existenzquantor-Einführung
Extension
eines Prädikats
Prädikatbuchstaben
Fallunterscheidung
see Regel der Oder-Beseitigung
Falsche
das
Freges Bedeutungstheorie
Formationsregel
Grundbegriffe | Formationsregeln | Formationsregeln to Formationsregeln
Frege, Gottlob
Eigennamen | Exkurs: Begriffe
Freges Bedeutungstheorie
Freges Bedeutungstheorie to Freges Bedeutungstheorie
Fregesche Bedeutung
Freges Bedeutungstheorie
Fregescher Sinn
Freges Bedeutungstheorie
freie Logik
Das Diskursuniversum
funktional vollständig
Exkurs: Alle aussagenlogischen Konnektive | Exkurs: Funktionale Vollständigkeit to Exkurs: Funktionale Vollständigkeit
fuzzy logic (engl.)
see Unpräzise Logik
Fürwort
see Pronomen
Gegebensein
bei Frege
Freges Bedeutungstheorie
Gegenbeispiel
Semantischer Schlussbegriff I: Aussagenlogik | Semantischer Schlussbegriff I: Aussagenlogik | Semantischer Schlussbegriff II: Prädikatenlogik
Gentzen, Gerhard
Syntax
Gentzen-Kalkül
see Kalkül des natürlichen Schließens
Gesetz von
see unter dem Namen des Autors
Gruppierungszeichen
see Klammer
gültiges Argument
Syntaktischer Schlussbegriff | Semantik der Sprache der
Gültigkeit
eines Arguments
see gültiges Argument
Herbrand, Jaques
Regel der Pfeil-Einführung ($\rightarrow E$)
Herleitung
see Ableitung
Beweis
see Beweis
eines Theorems
see Theorem
Hewlett-Packard
Exkurs: Polnische Notation
hinreichende Bedingung
see Konditional
hinreichende und notwendige Bedingung
see Bikonditional
Identität
beseitigen
Regel der Identitätsbeseitigung ($=B$,
einführen
Regel der Identitätseinführung ($=E$)
Identitätsaussage
empirische
Freges Bedeutungstheorie
triviale
Freges Bedeutungstheorie
Identitätsbeseitigung
Russells Problem
Das Problem der Substitution | Die Lösung des Problems
Implikation
see Konditional
materiale
see Konditional
indirekter Beweis
see Regel der Negationseinführung
Individuenkonstante
Bausteine
Semantik
see Semantik
Individuenvariable
Bausteine
Infix-Notation
see Peano-Russell-Notation
Interpretation
Semantischer Schlussbegriff II: Prädikatenlogik
Jaskowsky, Stanisaw
Syntax
Jaskowsky-Kalkül
see Kalkül des natürlichen Schließens
Jeder
see Quantor
jedes mögliche Konnektiv
see Konnektiv
Junktor
see Konnektiv
Junktorenlogik
see Aussagenlogik
Kalkül
Grundbegriffe | Syntax
axiomatischer
see Axiomatischer Kalkül
Baumkalkül
see Baumkalkül
des natürlichen Schließens
Syntax
Regelkalkül
see Regelkalkül
Tableaukalkül
see Tableaukalkül
Kausalität
Semantik des Konditionals
Kennzeichnung
Kennzeichnungen (definite descriptions)
Kennzeichnungstheorie Russells
Russells Lösung: seine Kennzeichnungstheorie
Klammer
Bausteine
Knoten
Exkurs: Syntaxbäume
Endknoten
Exkurs: Syntaxbäume
Kollektiver Eigenname
Kollektive Eigennamen (mass terms,
komplexer Satz
Wahrheitstabelle eines
Wahrheitstafeln
Konditional
Bausteine | Formationsregeln
beseitigen
Regel der Pfeil-Beseitigung ($\rightarrow B$,
einführen
Regel der Pfeil-Einführung ($\rightarrow E$)
Semantik des
Semantik des Konditionals
Wahrheitstabelle des
Wahrheitstafeln
Konjunkt
Formationsregeln
Konjunktion
Bausteine | Formationsregeln
beseitigen
Regel der Und-Beseitigung ($\wedge B$)
einführen
Regel der Und-Einführung ($\wedge E$)
Semantik der
Semantik der Konjunktion
Wahrheitstabelle
Wahrheitstafeln
Konklusion
Grundbegriffe
Konnektiv
aussagenlogisches
Bausteine
Beseitigen eines Konnektivs
see Beseitigungsregel
das in unserer logischen Sprache nicht vertreten ist
see jedes mögliche Konnektiv
durch ein anderes Konnektiv ausdrücken
Exkurs: Alle aussagenlogischen Konnektive
Einführen eines Konnektivs
see Einführungsregel
jedes mögliche
Exkurs: Alle aussagenlogischen Konnektive to Exkurs: Alle aussagenlogischen Konnektive
Konnektivmenge
funktional vollständige
see funktional vollständig
Konsequens
Formationsregeln
konstant wahrer Satz
see Tautologie
Kontradiktion
see Widerspruch
kontradiktorisch
Das logische Quadrat
konträr
Das logische Quadrat
leeres Diskursuniversum
see Diskursuniversum
Leerstelle
Prädikate
Leibnitz
see Leibniz
Leibniz
Semantischer Schlussbegriff I: Aussagenlogik
Lekton
Freges Bedeutungstheorie
Linguistik
Grundbegriffe
Liste
Prämissenliste
see Prämissenliste
Logik
Aussagenlogik
see Aussagenlogik
freie
Das Diskursuniversum
Junktorenlogik
see Aussagenlogik
unpräzise
see Unpräzise Logik
logische Sprache
see Sprache
logisches Quadrat
Das logische Quadrat
Marquand, Allan
Wahrheitstafeln
mass term (engl.)
see Eigenname
materiale Implikation
see Konditional
Metasprache
Grundbegriffe | Formationsregeln
Modell
Semantischer Schlussbegriff II: Prädikatenlogik
modus ponendo ponens (lat.)
see Regel der Pfeil-Beseitigung
modus ponens (lat.)
see Regel der Pfeil-Beseitigung
Morgenstern
Freges Bedeutungstheorie
Morphologie
see Syntax
mögliche Welt
Semantik der Satzbuchstaben
Name
see Eigenname
beliebiger
see beliebiger Name
Namensbeziehung
see Namensrelation
Namensrelation
Eigennamen | Freges Bedeutungstheorie
dreistellige
Freges Bedeutungstheorie
zweistellig
Individuenkonstanten
zweistellige
Eigennamen | Freges Bedeutungstheorie
NAND
Exkurs: Funktionale Vollständigkeit
Natürliches Schließen
see Kalkül des natürlichen Schließens
Negation
Bausteine | Formationsregeln
beseitigen
Regel der Nicht-Nicht-Beseitigung ($\neg \neg B$,
einführen
Regel der Negationseinführung ($\neg E$,
Semantik der
Semantik der Negation
Wahrheitstabelle der
Wahrheitstafeln
Negation, im logischen Quadrat
Das logische Quadrat
Negationseinführung
see Regel der Negationseinführung
Nicht-Nicht-Beseitigung
see Regel der Nicht-Nicht-Beseitigung
nichtausschließendes Oder
see Disjunktion
Nichtoder
see NOR
Nichts
see Quantor
Nichtund
see NAND
Niemand
see Quantor
non count noun (engl.)
see Eigenname
NOR
Exkurs: Funktionale Vollständigkeit
Notation
Baumschreibweise
see Syntaxbaum
Infix
see Peano-Russell-Notation
Peano-Russell-Notation
see Peano-Russell-Notation
polnische
see polnische Notation
Postfix
see UPN
umgekehrte polnische Notation
see UPN
UPN
see UPN
nullstelliger Prädikatbuchstabe
see Satzbuchstabe
Objektsprache
Grundbegriffe
Oder
ausschließendes
see Vernam-Chiffrierschritt
nichtausschließendes
see Disjunktion
Oder-Beseitigung
see Regel der Oder-Beseitigung
Oder-Einführung
see Regel der Oder-Einführung
parse tree (engl.)
see Syntaxbaum
Peano-Russell-Notation
Formationsregeln
Peirce, Charles Sanders
Wahrheitstafeln
Pfeil
see Konditional
Pfeil-Beseitigung
see Regel der Pfeil-Beseitigung
Pfeil-Einführung
see Regel der Pfeil-Einführung
Polnische Notation
Exkurs: Polnische Notation to Exkurs: Polnische Notation
Postfix-Notation
see UPN
Pragmatik
Grundbegriffe
Problem
der negativen Existenzsätze
Das Problem der negativen | Die Lösung des Problems
der Substitution salva veritate
Das Problem der Substitution | Die Lösung des Problems
des Tertium non datur
Das Problem des Tertium | Die Lösung des Problems
Russels
gelöst von Frege
Freges Bedeutungstheorie
Produktionsregel
Formationsregeln
Pronomen im Singular
Pronomen im Singular
proposition (engl.)
see Aussage
Prädikat
Prädikate | Prädikate to Prädikate
arity (engl.)
see Stelligkeit
Begriff
see Begriff
Extension
Prädikatbuchstaben
Stelligkeit
see Stelligkeit
übersetzen
Übersetzung von Prädikaten und
Prädikatbuchstabe
Bausteine
arity (engl.)
see Stelligkeit
nullstelliger
see Satzbuchstabe
Semantik
see Semantik | see Semantik
Stelligkeit
see Stelligkeit
Prädikatenlogik
Semantik
see Semantik
Prämisse
Grundbegriffe
Prämissenliste
see Prämissenliste
Prämissenliste
Syntaktischer Schlussbegriff
Quadrat, logisches
Das logische Quadrat
Quantifikator
see Quantor
Quantor
Bausteine | Quantoren | Quantoren to Quantoren
Allquantor
see Allquantor
Existentialquantifikator
see Existenzquantor
Existenzquantor
see Existenzquantor
Semantik
see Semantik
Universalquantifikator
see Allquantor
unpräziser
Übersetzung von Quantoren
übersetzen
Übersetzung von Quantoren
Quine, Willard Van Ornam
Übersetzung von Eigennamen
reductio ad absurdum (lat.)
see Regel der Negationseinführung
schwache
see Regel der Negationseinführung
Regel
Ableitungsregel
see Transformationsregel
Beseitigungsregel
see Beseitigungsregel
der Allquantor-Beseitigung
Regel der Allquantor-Beseitigung ($\bigwedge B$) to Regel der Allquantor-Beseitigung ($\bigwedge B$)
der Allquantor-Einführung
Regel der Allquantor-Einführung ($\bigwedge E$) to Regel der Allquantor-Einführung ($\bigwedge E$)
der Annahme
Regel der Annahme $(A)$ to Regel der Annahme $(A)$
der Existenzquantor-Beseitigung
Regel der Existenzquantor-Beseitigung ($\bigvee B$) to Regel der Existenzquantor-Beseitigung ($\bigvee B$)
der Existenzquantor-Einführung
Regel der Existenzquantor-Einführung ($\bigvee E$) to Regel der Existenzquantor-Einführung ($\bigvee E$)
der Identitätsbeseitigung
Regel der Identitätsbeseitigung ($=B$, to Regel der Identitätsbeseitigung ($=B$,
der Identitätseinführung
Regel der Identitätseinführung ($=E$) to Regel der Identitätseinführung ($=E$)
der Negationseinführung
Regel der Negationseinführung ($\neg E$, to Regel der Negationseinführung ($\neg E$,
der Nicht-Nicht-Beseitigung
Regel der Nicht-Nicht-Beseitigung ($\neg \neg B$, to Regel der Nicht-Nicht-Beseitigung ($\neg \neg B$,
der Oder-Beseitigung
Regel der Oder-Beseitigung ($\vee B$) to Regel der Oder-Beseitigung ($\vee B$)
der Oder-Einführung
Regel der Oder-Einführung ($\vee E$) to Regel der Oder-Einführung ($\vee E$)
der Pfeil-Beseitigung
Regel der Pfeil-Beseitigung ($\rightarrow B$, to Regel der Pfeil-Beseitigung ($\rightarrow B$,
der Pfeil-Einführung
Regel der Pfeil-Einführung ($\rightarrow E$) to Regel der Pfeil-Einführung ($\rightarrow E$)
der Und-Beseitigung
Regel der Und-Beseitigung ($\wedge B$) to Regel der Und-Beseitigung ($\wedge B$)
der Und-Einführung
Regel der Und-Einführung ($\wedge E$) to Regel der Und-Einführung ($\wedge E$)
Einführungsregel
see Einführungsregel
Formationsregel
see Formationsregel
Produktionsregel
see Produktionsregel
Schlussregel
see Transformationsregel
Transformationsregel
see Transformationsregel
zur Klammereinsparung
see Klammereinsparungsregel
zur Vereinfachung
see Klammereinsparungsregel
Regel der Allquantor-Einführung
Einschränkung
Regel der Allquantor-Einführung ($\bigwedge E$)
Regel der Existenzquantor-Beseitigung
Einschränkung
Regel der Existenzquantor-Beseitigung ($\bigvee B$)
Regelkalkül
Syntax
Relation
Namensrelation
see Namensrelation
Russell, Bertrand
Russells Probleme
Russells Kennzeichnungstheorie
Russells Lösung: seine Kennzeichnungstheorie
Russells Probleme
Russells Probleme to Die Lösung des Problems
Sachverhalt
Semantik der Satzbuchstaben
Satz
Aussagesatz
see Aussage
deklarativer
see Aussage
erfüllbarer
see erfüllbarer Satz
komplexer
see komplexer Satz
konstant wahrer
see Tautologie
unerfüllbarer
see unerfüllbarer Satz
vom ausgeschlossenen Dritten
see Tertium non datur
Satz von
see unter dem Namen des Autors
Satzbuchstabe
Formationsregeln | Semantik der Satzbuchstaben
Satzbuchstaben
Semantik
see Semantik der Satzbuchstaben
Scheinname
Eigennamen
bei Russell
Die Lösung des Problems
Schließen
natürliches
see Kalkül des natürlichen Schließens
Schlussbegriff
semantischer
see semantischer Schlussbegriff | see semantischer Schlussbegriff
syntaktischer
see syntaktischer Schlussbegriff
Schlussregel
see Transformationsregel
Schreibweise
see Notation
schwache reductio ad absurdum
see Regel der Negationseinführung
Selbstidentität
Freges Bedeutungstheorie
Semantik
Grundbegriffe | Semantik to Freges Bedeutungstheorie
der Aussagenlogik
Semantik der Sprache der to Exkurs: Funktionale Vollständigkeit
der aussagenlogischen Konnektive
Semantik der aussagenlogischen Konnektive to Wahrheitstafeln
der Disjunktion
Semantik der Disjunktion
der Individuenkonstanten
Individuenkonstanten
der Konjunktion
Semantik der Konjunktion
der Negation
Semantik der Negation
der Prädikatbuchstaben
Prädikatbuchstaben | Wahrheitsregeln für Prädikate
der Prädikatenlogik
Semantik der Sprache der to Quantoren
der Quantoren
Quantoren
der Satzbuchstaben
Semantik der Satzbuchstaben to Semantik der Satzbuchstaben
des Konditionals
Semantik des Konditionals
Semantischer Schlussbegriff
Aussagenlogik
Semantischer Schlussbegriff I: Aussagenlogik to Semantischer Schlussbegriff I: Aussagenlogik
Prädikatenlogik
Semantischer Schlussbegriff II: Prädikatenlogik to Semantischer Schlussbegriff II: Prädikatenlogik
Sheffer-Funktion
Exkurs: Funktionale Vollständigkeit
singularia tantum (lat.)
see Eigenname
Sinn
bei Frege
see Fregescher Sinn
Sinn$_F$
see Fregescher Sinn
Sonderzeichen
Verwendete Zeichen und Abkürzungen to Einige griechische Buchstaben
Sprache
Bausteine
see Bausteine
logische
see Sprache
Metasprache
see Metasprache
Objektsprache
see Objektsprache
Sprachwissenschaft
see Linguistik
state of affairs
see mögliche Welt
Stelligkeit
Formationsregeln | Prädikate
Stoa
see Stoiker
Stoiker
Wahrheitstafeln | Freges Bedeutungstheorie
subkonträr
Das logische Quadrat
Substitution salva veritate
see Regel der Identitätsbeseitigung
Syntaktischer Schlussbegriff
Syntaktischer Schlussbegriff to Syntaktischer Schlussbegriff
Syntax
Grundbegriffe | Syntax | Syntax to Regel der Identitätsbeseitigung ($=B$,
Syntaxbaum
Exkurs: Syntaxbäume to Exkurs: Syntaxbäume
Blatt
Exkurs: Syntaxbäume
Endknoten
Exkurs: Syntaxbäume
Knoten
Exkurs: Syntaxbäume
Endknoten
Exkurs: Syntaxbäume
Wurzel
Exkurs: Syntaxbäume
Tabelle
Wahrheitstabelle
see Wahrheitstabelle
Tafel
Wahrheitstafel
see Wahrheitstafel
tatsächliche Welt
Semantik der Satzbuchstaben
Tautologie
Grundbegriffe | Wahrheitstafeln
Tertium non datur
Russells Problem
Das Problem des Tertium | Die Lösung des Problems
Theorem
Syntaktischer Schlussbegriff
Deduktionstheorem
see Deduktionstheorem
Tilde
see Negation
Transformationsregel
Grundbegriffe | Transformationsregeln (Schlussregeln) to Regel der Identitätsbeseitigung ($=B$,
typisches Disjunkt
Regel der Existenzquantor-Beseitigung ($\bigvee B$)
umgekehrte polnische Notation
see UPN
Und
see Konjunktion
Und-Beseitigung
see Regel der Und-Beseitigung
Und-Einführung
see Regel der Und-Einführung
unerfüllbarer Satz
Semantischer Schlussbegriff II: Prädikatenlogik
Universalquantifikator
see Allquantor
universe of discourse (engl.)
see Diskursuniversum
Unpräzise Logik
Übersetzung von Quantoren
unpräziser Quantor
see Quantor
unvollständige Addition
see Vernam-Chiffrierschritt
UPN
Exkurs: Polnische Notation
Vereinfachungsregel
see Klammereinsparungsregel
Verfahren
zum Ausdrücken eines Konnektivs durch andere
see Konnektiv
Verlauf
der Wahrheitswerte
see Wahrheitswertverlauf
Vernam, Gilbert S.
Exkurs: Alle aussagenlogischen Konnektive
Vernam-Chiffrierschritt
Exkurs: Alle aussagenlogischen Konnektive
Verneinung
see Negation
doppelte
see Negation
Verzehr eines Besens
Semantik des Konditionals
viele
see unpräziser Quantor
vollständig
funktional
see funktional vollständig
Wahre
das
Freges Bedeutungstheorie
Wahrheit
see Wahrheitswert
Wahrheitstabelle
Wahrheitstafeln to Wahrheitstafeln
aufstellen
Wahrheitstafeln | Wahrheitstafeln
der Disjunktion
Wahrheitstafeln
der Konjunktion
Wahrheitstafeln
der Negation
Wahrheitstafeln
des Konditionals
Wahrheitstafeln
eines komplexen Satzes
Wahrheitstafeln
Wahrheitstafel
see Wahrheitstabelle
Wahrheitswert
Semantik der Satzbuchstaben
Wahrheitswertverlauf
Semantik des Konditionals
Wahrheitswertzuordnung
Semantik der Satzbuchstaben
Welt
mögliche
see mögliche Welt
tatsächliche
see tatsächliche Welt
wenige
see unpräziser Quantor
Widerspruch
Regel der Negationseinführung ($\neg E$,
Wirkung
von Zeichen auf den Hörer
see Pragmatik
Wurzel
Exkurs: Syntaxbäume
Zeichen
Verwendete Zeichen und Abkürzungen to Einige griechische Buchstaben
Zuordnung
von Wahrheitswerten
see Wahrheitswertzuordnung
zweistellige Namensrelation
see Namensrelation | Freges Bedeutungstheorie
Äquivalenz
see Bikonditional
Übersetzung
in die logische Sprache
see das zu übesetzende
Übersetzungspraxis
Übersetzungspraxis to Übersetzung von Eigennamen



Christian Gottschall 2003-03-19