Aussagenlogik

Die Aussagenlogik ist ein Teilgebiet der Logik, das sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen ein Wahrheitswert zugeordnet wird. In der klassischen Aussagenlogik wird jeder Aussage genau einer der zwei Wahrheitswerte „wahr“ und „falsch“ zugeordnet. Der Wahrheitswert einer zusammengesetzten Aussage lässt sich ohne zusätzliche Informationen aus den Wahrheitswerten ihrer Teilaussagen bestimmen.
Klassische Logik
Unter der klassischen Logik versteht man ein logisches System, das die Aussagen-, die Prädikatenlogik erster oder höherer Stufe sowie im Allgemeinen den (logischen) Identitätsbegriff enthält. Eine erste Axiomatisierung eines solchen Systems hat
Igigu
Die Igigu sind ein Bestandteil der Sumerischen und Akkadischen Mythologie. Bei den Igigu handelt es sich um eine kleine Gruppe semitischer Gottheiten, die zunächst in das sumerische Pantheon den Anunna-Gottheiten untergeordnet wurden. Im Atraḫasis-Epos
Modus ponens
Der Modus ponens ist eine schon in der antiken Logik geläufige Schlussfigur, die in vielen logischen Systemen als Schlussregel verwendet wird. Er erlaubt es, aus zwei Aussagen der Form (Wenn A, dann B) und (A) eine Aussage der Form B herzuleiten
Quantor
Ein Quantor oder Quantifikator, die Re-Latinisierung des von C. S. Peirce eingeführten Ausdrucks „quantifier“, ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam
Post SV Düsseldorf
Der Post SV Düsseldorf ist ein Düsseldorfer Sportverein. Nach eigenen Angaben zählt er zu den "größten und erfolgreichsten Düsseldorfer Sportvereinen". Er bietet mehrere Sportarten an
Michael Plum
Michael Plum ist ein deutscher Tischtennisspieler. Der Defensivspieler gehörte Anfang der 1980er Jahre zu den besten Spielern in Deutschland
Systeme natürlichen Schließens
Systeme natürlichen Schließens bezeichnen in der mathematischen und philosophischen Logik einen Kalkültyp, der 1934 von Gerhard Gentzen und etwa zeitgleich von Stanisław Jaśkowski – einem Vertreter der Lemberg-Warschau-Schule – entwickelt wurde
Franziska Schreiner
Franziska Schreiner ist eine deutsche Tischtennisspielerin. Sie wurde 2019 Deutsche Meisterin im Doppel
Brigitte Scharmacher
Brigitte „Püppi“ Scharmacher ist eine deutsche Tischtennisspielerin. Sie wurde fünfmal deutscher Mannschaftsmeister und nahm an zwei Weltmeisterschaften teil
Rumänische Riviera
Die Rumänische Riviera ist eine Region an der Schwarzmeerküste Rumäniens in der historischen Region Dobrudscha, die den gesamten Bereich zwischen der Grenze zu Moldau im Norden und zu Bulgarien im Süden ausmacht