Если в бескванторной формуле заменить атомы на пропозициональные, то получим формулу:

вопрос

Правильный ответ:

Оставить комментарий

Отправить

• # Функция эквивалентна:
• # Алгоритм, который по произвольной замкнутой формуле определяет ее выводимость:
• # Кольцо может быть в поле, если:
• # Предикат "двоичное слово x входит в двоичного слова y":
• # Если удалить символ < из сигнатуры , класс выразимых предикатов: