Урок IV. Синтаксис простых суждений. Логика высказываний является важной, но достаточно узкой частью формальной логики. Как только мы переходим к логике предикатов (к анализу внутренней структуры суждений), логический анализ усложняется и начинается действительно творческая работа. Если в логике высказываний разрешимость логической системы очевидна (таблицы истинности являются алгоритмом проверки формул на истинность и ложность), то в … Читать далее IV. Синтаксис простых суждений