Логическое программирование

Формулы произвольной формальной системы - это ...

(Отметьте один правильный вариант ответа.)

Варианты ответа

некоторое подмножество всех слов, которые можно образовать из символов, входящих в алфавит(Верный ответ)

некоторое подмножество всех слов, которые можно образовать из правил вывода системы

бесконечное множество всех слов, которые можно образовать из символов, входящих в алфавит

Похожие вопросы

Алфавит произвольной формальной системы - это ...

Правила вывода произвольной формальной системы - это ...

Укажите условное обозначение общезначимой формулы:

Укажите условное обозначение утверждения, что формула B следует из формулы A:

Формула B следует из формулы A, если:

Какой контроль типов данных в программе требует более жесткой системы типизации?