Junktor
91Atomare Aussage — Als atomare Aussagen (auch Atomaussagen, Aussagenatom, Atome, Primaussagen, einfache Aussage, unzusammengesetzte Aussage, elementare Aussage, Elementaraussage, elementarer Satz, Elementarsatz, Atomsatz) werden in der mathematischen oder formalen… …
92Ausdruck (Programmierung) — Ein Ausdruck ist in vielen Programmiersprachen ein Konstrukt, das gemäß einer gegebenen Semantik in Bezug auf einen Kontext ausgewertet werden kann, also einen Wert liefert. In vielen formalen Sprachen sind Ausdrücke eines der wichtigsten… …
93Aussagenverknüpfung — In der (formalen) Logik bezeichnet man eine Aussage V, die mit Hilfe von Formulierungen wie „und“, „oder“, „wenn–dann“ und „es ist nicht der Fall, dass“ aus anderen Aussagen zusammengesetzt ist, als komplexe Aussage, zusammengesetzte Aussage oder …
94Bedeutung (Philosophie) — Bedeutung ist ein grundlegender Begriff in der Linguistik und Sprachphilosophie. Wichtig ist der Begriff auch in der Informatik, der Forschung zur Künstlichen Intelligenz und in den Kognitionswissenschaften. Es gibt verschiedene Ansätze zur… …
95Begriffsschrift — Das Titelblatt der Begriffsschrift Die Begriffsschrift ist ein schmales, nur etwa achtzig Seiten umfassendes Buch des Jenaer Mathematikers und Philosophen Gottlob Frege zur Logik. Es wurde 1879 mit dem Untertitel „Eine der arithmetischen… …
96Berechnungsmodell — Dieser Artikel wurde auf der Qualitätssicherungsseite des Portals Mathematik eingetragen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Mathematik auf ein akzeptables Niveau zu bringen. Dabei werden Artikel gelöscht, die nicht… …
97Betagraph — Existential Graphs (die deutschen Übersetzungen „existenzielle Graphen“ und „Existenzgraphen“ sind nicht sehr gebräuchlich) sind ein logisches System des US amerikanischen Logikers und Philosophen Charles Sanders Peirce. Sie umfassen sowohl eine… …
98Betagraphen — Existential Graphs (die deutschen Übersetzungen „existenzielle Graphen“ und „Existenzgraphen“ sind nicht sehr gebräuchlich) sind ein logisches System des US amerikanischen Logikers und Philosophen Charles Sanders Peirce. Sie umfassen sowohl eine… …
99Beth-Kalkül — Baumkalküle, von bzw. nach ihrem Erfinder auch Tableaukalküle bzw. Beth Kalküle genannt, sind stark semantisch motivierte Widerlegungskalküle der Logik. Widerlegungskalküle sind solche logischen Kalküle, die nicht die Gültigkeit eines Arguments… …
100Beth-Tableau — Baumkalküle, von bzw. nach ihrem Erfinder auch Tableaukalküle bzw. Beth Kalküle genannt, sind stark semantisch motivierte Widerlegungskalküle der Logik. Widerlegungskalküle sind solche logischen Kalküle, die nicht die Gültigkeit eines Arguments… …
