Übersetzung für "Propositional logic" in Deutsch

Die Prädikatenlogik zweiter Stufe ist ein Teilgebiet der mathematischen Logik.

Wie bei der Aussagenlogik starten wir auch hier mit einem Modell.

Aber es gibt einige Einschränkungen für die Aussagenlogik.

In der Aussagenlogik war ein Modell ein Wert für jedes aussagenlogische Symbol.

Es unterstützt Aussagen- und Prädikatenlogik sowie boolesche Algebra und arithmetische Logik.

Die Lindenbaum-Algebra der intuitionistischen Aussagenlogik ist eine Heyting-Algebra.

Parallel dazu werden einzelne Thesen mit der Aussagenlogik überprüft.

Chrysippus war einer der ersten zu organisieren Aussagenlogik als intellektuelle Disziplin.

Dafür beginnen wir mit einem Beispiel, indem wir das Alarmproblem in aussagenlogische Ausdrücke umformulieren.

Anhand eines verständlichen Beispiels zeigt LogicTraffic eine sinnvolle Anwendung von Aussagenlogik in unserem Alltagsleben.

Wissen wird im Vollzug generiert, ohne schon immer einer propositionalen Logik zu folgen.

Nichtklassische Logiken sind formale Systeme, die sich signifikant von den klassischen Logiksystemen wie der Aussagenlogik und der Prädikatenlogik unterscheiden.

Hier bewies er einen nach ihm benannten Satz, dass die modale Logik der Teil der Prädikatenlogik ist, der unter Bisimulation geschlossen ist.

Im Deutschen mag es ungewohnt klingen, aber in der Aussagenlogik ist dies nichts anderes als "wahr impliziert wahr" und wenn wir uns die letzte Zeile für P und Q anschauen, sehen wir, dass P impliziert Q wahr ist.

Nun werde ich über Prädikatenlogik sprechen und wie sie sich zu bisher betrachteten Logiken - Aussagenlogik und Wahrscheinlichkeitstheorie - verhält.

Damit handelt es sich also um eine Erweiterung der Aussagenlogik, in welcher wir nur Fakten über die Welt besaßen, welche wiederum wahr, falsch oder unbekannt waren.

In der Wahrscheinlichkeitstheorie hatten wir die selben Fakten wie in der Aussagenlogik, nämlich die Symbole oder Variablen, aber sie konnten reelle Zahlen zwischen 0 und 1 annehmen.

Es ist eine geschichtlich klare Tatsache, daß die authentischen Wortführer der Toleranz auf mehr und eine andere Wahrheit aus waren als die der Aussagenlogik und akademischen Theorie.

Zwei Eigenschaften machen den Einstieg mit LogicTraffic besonders attraktiv: Aussagenlogik wird nicht abstrakt-formal eingeführt, sondern spielerisch an einem realen Beispiel.

In dieser Arbeit bewies Shannon, dass die Boolesche Aussagenlogik mit den Wahrheitswerten 0 und 1 verwendet werden kann, um die durch elektrischen Strom betriebenen, elektromagnetisch wirkenden, fernbetätigten Schalter mit zwei Schaltstellungen zu steuern.

Die Lernumgebung LogicTraffic illustriert Aussagenlogik anhand einer alltäglichen Situation und ermöglicht ein explorativ-intuitives Erlernen der Grundkonzepte von Aussagenlogik.

Wie der Titel besagt, werden Stromkreise und Schaltkreise, Anordnungen von Relais und Schaltern, in einer symbolischen Analyse auf die Boolesche Aussagenlogik abgebildet.