Возможные миры связаны отношением достижимости:
(*ответ*) да
нет
Временная модальная логика вводит модальности:
(*ответ*) "иногда", "всегда"
"вероятно", "достоверно"
"доказано", "опровержимо"
"необходимо", "возможно"
Все теоремы чистого исчисления предикатов общезначимы:
(*ответ*) да
нет
Все языки программирования являются формальными языками:
(*ответ*) верно
неверно
Грамматики эквивалентны, если они порождают один и тот же язык:
(*ответ*) да
нет
Для кванторов необходимости и возможности выполнимы законы двойственности:
(*ответ*) да
нет
Для чистого исчисления предикатов моделью является любая интерпретация:
(*ответ*) верно
неверно
Если формула ложна в любой интерпретации, то она называется:
(*ответ*) противоречивой
выполнимой
истинной
общезначимой
Запись ромб F означает, что "F необходимо":
(*ответ*) неверно
верно
Интерпретация называется моделью формальной теории Т, если всякая теорема Т истинна в этой интерпретации:
(*ответ*) да
нет
Исчисление высказываний не является формальной системой:
(*ответ*) неверно
верно
Исчисление высказываний полно относительно алгебры высказываний:
(*ответ*) да
нет
Исчисление предикатов в общем случае неразрешимо:
(*ответ*) верно
неверно
Логика возможного использует модальности "разрешено", "запрещено":
(*ответ*) неверно
верно
Логика знания называется также временной логикой:
(*ответ*) неверно
верно
Логику возможного называют логикой:
(*ответ*) алетической
эпистемической
деонтической
временной
Множество различных видов элементов формальной системы бесконечно:
(*ответ*) нет
да
Множество различных видов элементов формальной системы называется алфавитом системы:
(*ответ*) да
нет
Наиболее изученной формальной теорией является формальная арифметика:
(*ответ*) да
нет