Prevodi za „Aussagenlogik“ u rečniku nemački » poljski

Aussagenlogik N

Korisnička odrednica

Aussagenlogik f MATH

rachunek zdań m

Jednojezični primeri (nisu ih verifikovali PONS urednici)

nemački

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