Все вопросы к тесту (html) Математическая логика и теория алгоритмов



Аксиомы равенства являются общезначимыми:

В исчислении высказываний исходными объектами являются:

Возможные миры связаны отношением достижимости:

Временная модальная логика вводит модальности:

Все теоремы чистого исчисления предикатов общезначимы:

Все языки программирования являются формальными языками:

Грамматики эквивалентны, если они порождают один и тот же язык:

Для кванторов необходимости и возможности выполнимы законы двойственности:

Для чистого исчисления предикатов моделью является любая интерпретация:

Если формула ложна в любой интерпретации, то она называется:

Запись ромб F означает, что "F необходимо":

Интерпретация называется моделью формальной теории Т, если всякая теорема Т истинна в этой интерпретации:

Исчисление высказываний не является формальной системой:

Исчисление высказываний полно относительно алгебры высказываний:

Исчисление предикатов в общем случае неразрешимо:

Логика возможного использует модальности "разрешено", "запрещено":

Логика знания называется также временной логикой:

Логику возможного называют логикой:

Множество различных видов элементов формальной системы бесконечно:

Множество различных видов элементов формальной системы называется алфавитом системы:

Наиболее изученной формальной теорией является формальная арифметика:

Наибольшее применение для описания языков программирования имеют грамматики типа:

Объекты формальной системы состоят из неделимых элементов:

Семантика формальной системы задается ее интерпретацией:

Теоремы чистого исчисления тождественно верны в любой предметной области:

Теория называется семантически непротиворечивой, если ни одна из ее теорем не является противоречивой:

Формальные системы, порождающие различные классы символьных выражений, называются формальными грамматиками:

Формальный язык, использующий понятия "возможно", "необходимо" в качестве кванторов, называется алетической логикой:

Формула называется общезначимой, если она истинна в любой интерпретации:

Чистым исчислением предикатов называется исчисление второго порядка:



Автоэпистемические логики формализуют интроспективные и идеально разумные рассуждения:

Алетическая логика - формальный язык, использующий понятие "возможно" и "необходимо" в качестве кванторов:

Возможность и необходимость - алетические модальности (модальности возможного):

Все модальности изучаются вместе и называются модальными логиками:

Вывод от частного к общему - метод:

Вывод является правдоподобным, если множество фальсификаторов не найдено, но потенциально оно может быть не пусто:

Выводы, в которых оценивается степень истинности заключения, называются:

Выявление сходства и различия - основная познавательная процедура, с помощью которой человек познает мир:

Дедуктивный достоверный логический вывод не является монотонным:

Деонтическая логика - один из видов модельностей:

Для достоверного вывода множество фальсификаторов пусто, для недостоверного - не пусто:

Для описания процессов, происходящих во времени, истинностных значений наших знаний вводятся параметры времени:

Из истинных посылок не могут быть выводимы ложные заключения:

К индуктивным методам Д. С. Милля не относится метод:

К. И. Льюис - первый из ученых, предложивших ряд формальных логических систем для уточнения понятия нематериальной импликации:

Логический вывод называется достоверным, если из множества истинных посылок выводимы только истинные заключения:

Логический вывод называется недостоверным, если из истинных посылок не всегда следует истинное заключение:

Метод различия усиливает степень достоверности рассуждений:

Модальные логики - неклассические логики:

Недостоверные выводы могут быть собственно недостоверными, правдоподобными и приближенными:

Немонотонность одна из особенностей правдоподобных выводов:

Новые знания - знания, которые делают множество посылок противоречивым, заставляют пересмотреть само множество посылок:

Особенности правдоподобных выводов выведены:

Правило вывода modus ponens (MP) является достоверным правилом вывода:

Примером абдуктивного метода может служить пословица "Скажи мне, кто твой друг, и я скажу, кто ты":

Примером приближенных выводов могут быть нечеткие выводы:

Семантика классической логики основана на понятии истинности и ложности:

Фальсификаторы - множество условий, при которых может быть сделано ложное заключение: