BEOLINGUS
Dictionary - TU Chemnitz

  German  English

ausschließende/antivalente Disjunktion {f}; Antivalenz {f}; ausschließendes Oder-Funktion; kontradiktorischer Gegensatz {m}; Kontravalenz {f} [comp.] [math.] exclusive-OR disjuntion; exclusive disjunction; exclusive-OR operation /EXOR/; exclusive-OR function /XOR/

Aussage {f}; Satz {m}; Proposition {f}; Theorem {n} (Logik) [phil.] [listen] [listen] statement; sentence; proposition theorem (logic) [listen] [listen]

Aussagen {pl}; Sätze {pl}; Propositionen {pl}; Theoreme {pl} [listen] statements; sentences; propositions; theorems [listen] [listen]

allgemeingültiger Satz; allgemeiner Satz; Allsatz; Allaussage; universeller Satz; universelle Aussage; Universalaussage general statement / sentence / proposition; universal statement / sentence / proposition; general theorem

analytischer Satz analytical statement; analytical proposition

apodiktischer Satz (Kant) apodictic sentence; apodictic proposition (Kant)

beschreibende Aussage; beschreibende Proposition descriptive statement; description statement; descriptive proposition; description proposition

beschreibender Satz durch Definition descriptive statement / description proposition through definition

einfacher Satz simple statement; simple proposition

komplexe Aussage; zusammengesetzter Satz complex statement; complex proposition

kontradiktorischer Satz contradictory statement; contradictory proposition

logische Aussage; logische Proposition logical statement; logical proposition

logisch falscher Satz logically false statement/proposition

logisch wahrer Satz logically true statement/proposition

Partikuläraussage {f}; besonderer Satz; besondere Proposition; besonderes Theorem specific proposition; particular proposition; singular theorem

reizanalytischer Satz stimulus-analytic sentence

synthetischer Satz synthetic(al) statement; synthetic(al) proposition

Gödel'scher Unvollständigkeitssatz Gödel's incompleteness theorem

Satz an sich (Bolzano) proposition in itself; abstract proposition (Bolzano)

Syllogismus {m}; logische Schlussfolgerung anhand von zwei Prämissen (Logik) [phil.] syllogism; deductive reasoning based on two premises (logic)

Syllogismen {pl}; logische Schlussfolgerungen anhand von zwei Prämissen syllogisms; deductive reasonings based on two premiseses

apodiktischer Syllogismus; apodiktische Schlussfolgerung apodictic syllogism

kategorischer Syllogismus; kategorischer Schlussfolgerung categorical syllogism

hypothetischer Syllogismus; hypothetische Schlussfolgerung hypothetical syllogism

induktiver Syllogismus; induktive Schlussfolgerung inductive syllogism

Konditionalschluss {m} conditional syllogism

kontradiktorischer Syllogismus; kontradiktorische Schlussfolgerung contradictory syllogism

Modalitätsschluss {m} modal syllogism