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


решение вопроса

+4
Правильные ответы к тесту выделены
Тест  прошел проверку
ставим +1 к ответу)
ответил 15 Авг, 16 от sofiko

Связанных вопросов не найдено

Обучайтесь и развивайтесь всесторонне вместе с нами, делитесь знаниями и накопленным опытом, расширяйте границы знаний и ваших умений.

Популярное на сайте:

Как быстро выучить стихотворение наизусть? Запоминание стихов является стандартным заданием во многих школах. 

Как научится читать по диагонали? Скорость чтения зависит от скорости восприятия каждого отдельного слова в тексте. 

Как быстро и эффективно исправить почерк?  Люди часто предполагают, что каллиграфия и почерк являются синонимами, но это не так.

Как научится говорить грамотно и правильно? Общение на хорошем, уверенном и естественном русском языке является достижимой целью.