Definicje „Aussagenlogik“ w Słownik ortografii niemieckiej

die A̱u̱s·sa·gen·lo·gik FIL.

Teilgebiet der formalen Logik

Przykłady z Internetu (niezredagowane i niesprawdzone przez PONS)

niemiecki

So sind zwei Aussagen A, B der klassischen Aussagenlogik genau dann logisch äquivalent, wenn der Werteverlauf (Wahrheitstabelle) der beiden Aussagen gleich ist.

de.wikipedia.org

Eine einführende Darstellung eines konkreten logischen Systems mit einer detaillierten Ausformulierung des Ableitbarkeitsbegriffs findet sich im Artikel Aussagenlogik.

de.wikipedia.org

Die Formeln können jetzt wie aussagenlogische Formeln (Aussagenlogik) behandelt werden, da sie keine Variablen enthalten.

de.wikipedia.org

Logiksysteme können sich in ihrer Ausdrucksstärke unterscheiden, in diesem Sinne spricht man beispielsweise von Aussagenlogik und Prädikatenlogik.

de.wikipedia.org

Zudem ist es möglich, ähnlich der klassischen Aussagenlogik, aus elementaren Wahrscheinlichkeiten und Aussagen komplexere Wahrscheinlichkeiten zu bestimmen.

de.wikipedia.org

Braucht man aus metaphysischen oder pragmatischen Gründen mehr als zwei Wahrheitswerte, kann die klassische Aussagenlogik als Ausgangspunkt dienen, um ein geeignetes logisches System aufzustellen.

de.wikipedia.org

Die Aussagenlogik hat eher mit Sachverhalten zu tun als mit Tatsachen.

de.wikipedia.org

Eine atemporale Logik wie die Aussagenlogik kann Aussagen, deren Wahrheitswerte sich mit der Zeit ändern, nicht oder nur mit Mühe adäquat behandeln.

de.wikipedia.org

Für die elementare Aussagenlogik, die Prädikatenlogik erster Stufe und verschiedene Modallogiken gibt es axiomatische Systeme, die die genannten Anforderungen erfüllen.

de.wikipedia.org

Die algebraische Struktur der klassischen Aussagenlogik ist eine zweielementige Boolesche Algebra.

de.wikipedia.org