логика высказываний
Ein Teilbereich der Logik, der sich mit der Verknüpfung von Aussagen und deren Wahrheitswerten befasst.
Раздел логики, изучающий отношения между высказываниями.
-
Die Aussagenlogik bildet die Grundlage der modernen Informatik.— Логика высказываний составляет основу современной информатики.
-
In der Vorlesung haben wir die Grundregeln der Aussagenlogik gelernt.— На лекции мы изучили основные правила логики высказываний.
-
Diese Formel lässt sich mithilfe der Aussagenlogik beweisen.— Эту формулу можно доказать с помощью логики высказываний.
Синонимы