логико-выводной, основанный на логике высказываний
Die Regeln der Aussagenlogik betreffend oder auf diesen Prinzipien basierend.
Относящийся к логике высказываний или основанный на её правилах.
-
Die aussagenlogische Formel ist korrekt.— Логико-выводная формула верна.
-
Diese Schlussfolgerung ist aussagenlogisch zwingend.— Этот вывод является логически неизбежным.
-
Wir untersuchen die aussagenlogische Struktur des Arguments.— Мы изучаем логико-выводную структуру аргумента.
Синонимы
Антонимы