propositional logic
Ein Teilbereich der Logik, der sich mit der Verknüpfung von Aussagen und deren Wahrheitswerten befasst.
A branch of logic that deals with the relationships between propositions.
-
Die Aussagenlogik bildet die Grundlage der modernen Informatik.— Propositional logic forms the basis of modern computer science.
-
In der Vorlesung haben wir die Grundregeln der Aussagenlogik gelernt.— In the lecture, we learned the basic rules of propositional logic.
-
Diese Formel lässt sich mithilfe der Aussagenlogik beweisen.— This formula can be proven using propositional logic.
Синонимы
Aussagenkalkül