12 Beziehungen: Alfred North Whitehead, Aussagenlogik, Belegung (Logik), Bertrand Russell, Folge (Mathematik), Formales System, Mengenlehre, Prädikat (Logik), Prädikatenlogik, Principia Mathematica, Quantor, Sequenzenkalkül.
Alfred North Whitehead
Alfred North Whitehead Alfred North Whitehead OM (* 15. Februar 1861 in Ramsgate; † 30. Dezember 1947 in Cambridge, Massachusetts) war ein britischer Philosoph und Mathematiker.
Neu!!: Absorption (Logik) und Alfred North Whitehead · Mehr sehen »
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.
Neu!!: Absorption (Logik) und Aussagenlogik · Mehr sehen »
Belegung (Logik)
Im Rahmen der Interpretation formaler Systeme ist eine Belegung.
Neu!!: Absorption (Logik) und Belegung (Logik) · Mehr sehen »
Bertrand Russell
Bertrand Russell (1957) Bertrand Arthur William Russell, 3.
Neu!!: Absorption (Logik) und Bertrand Russell · Mehr sehen »
Folge (Mathematik)
Als Folge oder Sequenz wird in der Mathematik eine Auflistung (Familie) von endlich oder unendlich vielen fortlaufend nummerierten Objekten (beispielsweise Zahlen) bezeichnet.
Neu!!: Absorption (Logik) und Folge (Mathematik) · Mehr sehen »
Formales System
Ein formales System ist ein System von Symbolketten und Regeln.
Neu!!: Absorption (Logik) und Formales System · Mehr sehen »
Mengenlehre
Die Mengenlehre ist ein grundlegendes Teilgebiet der Mathematik, das sich mit der Untersuchung von Mengen, also von Zusammenfassungen von Objekten, beschäftigt.
Neu!!: Absorption (Logik) und Mengenlehre · Mehr sehen »
Prädikat (Logik)
Prädikat (von) nennt man in der modernen Prädikatenlogik den Teil einer atomaren Aussage, der wahrheitsfunktional ist.
Neu!!: Absorption (Logik) und Prädikat (Logik) · Mehr sehen »
Prädikatenlogik
Die Prädikatenlogiken (auch Quantorenlogiken) bilden eine Familie logischer Systeme, die es erlauben, in der Praxis und in der Theorie vieler Wissenschaften wichtige Bereiche durch Argumente zu formalisieren und sie auf ihre Gültigkeit zu überprüfen.
Neu!!: Absorption (Logik) und Prädikatenlogik · Mehr sehen »
Principia Mathematica
Titelseite der ''Principia Mathematica'' (Kurzausgabe bis *56) Principia Mathematica („mathematische Prinzipien“ bzw. „Mathematische Grundlagen“) ist ein Werk in drei Bänden über die Grundlagen der Mathematik von Bertrand Russell und Alfred North Whitehead, erstmals erschienen zwischen 1910 und 1913.
Neu!!: Absorption (Logik) und Principia Mathematica · Mehr sehen »
Quantor
Ein Quantor oder Quantifikator, die Re-Latinisierung des von C. S. Peirce eingeführten Ausdrucks „quantifier“, ist ein Operator der Prädikatenlogik.
Neu!!: Absorption (Logik) und Quantor · Mehr sehen »
Sequenzenkalkül
In der Beweistheorie und der mathematischen Logik bezeichnet man mit Sequenzenkalkül formale Systeme (oder Kalküle), die einen bestimmten Stil der Ableitung und gewisse Eigenschaften teilen.
Neu!!: Absorption (Logik) und Sequenzenkalkül · Mehr sehen »