Deutsch » Polnisch

Übersetzungen für „Aussagenlogik“ im Deutsch » Polnisch-Wörterbuch (Springe zu Polnisch » Deutsch)

Aussagenlogik SUBST

Benutzereintrag
Aussagenlogik f MATH

Einsprachige Beispiele (nicht von der PONS Redaktion geprüft)

Deutsch
Ein einfaches Beispiel für so ein formales System ist die Aussagenlogik (dabei werden sogenannte atomare Aussagen durch Buchstaben ersetzt).
de.wikipedia.org
Das bedeutet, dass sich alle Junktoren der klassischen Aussagenlogik wahlweise auf Negation und Konjunktion, auf Negation und Disjunktion oder auf Negation und Konditional zurückführen lassen.
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
Für die zweiwertige Aussagenlogik gibt es also einstellige Junktoren und zweistellige Junktoren.
de.wikipedia.org
Die Formeln können jetzt wie aussagenlogische Formeln (Aussagenlogik) behandelt werden, da sie keine Variablen enthalten.
de.wikipedia.org
Die Aussagenlogik hat eher mit Sachverhalten zu tun als mit Tatsachen.
de.wikipedia.org
Da in der heutigen Mathematik die klassische Aussagenlogik maßgeblich wurde, wird in diesem Artikel dieser moderne Haupttypus der Aussagenlogik behandelt.
de.wikipedia.org
Im Gegensatz zur klassischen Aussagenlogik ist die Modallogik nicht wahrheitsfunktional.
de.wikipedia.org
Die algebraische Struktur der klassischen Aussagenlogik ist eine zweielementige Boolesche Algebra.
de.wikipedia.org
Damit können auch mögliche Junktoren als Wahrheitsfunktion aufgefasst werden; dies kennzeichnet die klassische Aussagenlogik und setzt sie zum Beispiel von der modalen Aussagenlogik ab.
de.wikipedia.org

Möchtest du ein Wort, eine Phrase oder eine Übersetzung hinzufügen?

Sende uns gern einen neuen Eintrag.

"Aussagenlogik" in den einsprachigen Deutsch-Wörterbüchern


Seite auf Deutsch | Български | English | Español | Français | Italiano | Polski | Русский | Slovenščina | Srpski