Index

ukasiewicz-Notation

see polnische Notation

ukasiewicz, 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