Утверждения о детерминизме и причинности изучает логика _.
(*ответ*) причинности
предпочтений
эпистемическая
паранепротиворечивая
Формальная теория, не имеющая интерпретации или рассматриваемая независимо от интерпретации (с точностью до интерпретации) – это _.
(*ответ*) чисто формальная теория
гносеологическая теория
теория в специфицированном языке
негносеологическая содержательная теория
Ход мысли, нарушающий законы и правила логики – это _.
(*ответ*) алогизм
алгоритм
гипотеза
логический парадокс
Язык, на котором описывается другой язык, называется _..
(*ответ*) метаязыком
семантикой
семиотикой
прагматикой
– Будучи одинаково общими, они подчинены родовому понятию, ближайшему к ним по степени общности - _ понятия.
(*ответ*) соподчиненные
перекрещивающиеся
родовые
равнозначащие
Верны ли утверждения?
А) Всякая аксиома является доказуемой формулой.
В) Никакая другая формула исчисления высказываний не считается доказуемой.
(*ответ*) А - да, В - да
А - да, В - нет
А - нет, В - да
А - нет, В - нет
Верны ли утверждения?
А) Всякую математическую теорему можно записать в виде импликации, выделив условие и заключение.
В) Алгебра высказываний дает точное определение понятия выводимости.
(*ответ*) А - да, В - да
А - да, В - нет
А - нет, В - да
А - нет, В - нет
Верны ли утверждения?
А) Все логические слагаемые формулы различны.
В) Ни одно логическое слагаемое формулы не содержит одновременно переменную и ее отрицание.
(*ответ*) А - да, В - да
А - да, В - нет
А - нет, В - да
А - нет, В - нет
Верны ли утверждения?
А) Значение формулы алгебры логики полностью зависит от значений входящих в эту формулу высказываний.
В) Формула алгебры логики является функцией входящих в нее элементарных высказываний.
(*ответ*) А - да, В - да
А - да, В - нет
А - нет, В - да
А - нет, В - нет
Верны ли утверждения?
А) Каждая формула, доказуемая в исчислении высказываний, является тождественно истинной в алгебре высказываний.
В) Каждая тождественно истинная формула алгебры высказываний доказуема в исчислении высказываний.
(*ответ*) А - да, В - да
А - да, В - нет
А - нет, В - да
А - нет, В - нет
Верны ли утверждения?
А) Логическими значениями высказываний являются «истина» и «ложь».
В) В алгебре логики все высказывания рассматриваются только с точки зрения их логического значения.
(*ответ*) А - да, В - да
А - да, В - нет
А - нет, В - да
А - нет, В - нет