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