Наибольшее применение для описания языков программирования имеют грамматики типа:
(*ответ*) 2
0
1
3
Объекты формальной системы состоят из неделимых элементов:
(*ответ*) верно
неверно
Семантика формальной системы задается ее интерпретацией:
(*ответ*) да
нет
Теоремы чистого исчисления тождественно верны в любой предметной области:
(*ответ*) да
нет
Теория называется семантически непротиворечивой, если ни одна из ее теорем не является противоречивой:
(*ответ*) да
нет
Формальные системы, порождающие различные классы символьных выражений, называются формальными грамматиками:
(*ответ*) верно
неверно
Формальный язык, использующий понятия "возможно", "необходимо" в качестве кванторов, называется алетической логикой:
(*ответ*) верно
неверно
Формула называется общезначимой, если она истинна в любой интерпретации:
(*ответ*) верно
неверно
Чистым исчислением предикатов называется исчисление второго порядка:
(*ответ*) неверно
верно
Автоэпистемические логики формализуют интроспективные и идеально разумные рассуждения:
(*ответ*) да
нет
Алетическая логика - формальный язык, использующий понятие "возможно" и "необходимо" в качестве кванторов:
(*ответ*) да
нет
Возможность и необходимость - алетические модальности (модальности возможного):
(*ответ*) да
нет
Все модальности изучаются вместе и называются модальными логиками:
(*ответ*) да
нет
Вывод от частного к общему - метод:
(*ответ*) индукции
абдукции
редукции
дедукции
Вывод является правдоподобным, если множество фальсификаторов не найдено, но потенциально оно может быть не пусто:
(*ответ*) да
нет
Выводы, в которых оценивается степень истинности заключения, называются:
(*ответ*) приближенными
достоверными
недостоверными
правдоподобными
Выявление сходства и различия - основная познавательная процедура, с помощью которой человек познает мир:
(*ответ*) да
нет
Дедуктивный достоверный логический вывод не является монотонным:
(*ответ*) нет
да