Для любой формулы А, формула А →​ А есть:

вопрос

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

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

Отправить

• # Теорема о полноте позволяет заменить в формулировке:
• # Алгоритм вывода формул :
• # Выводом является:
• # Секвенция, в обеих частях которой встречаются только переменные, причем хоть одна из них встречается в обеих частях - это:
• # Если удалить символ < из сигнатуры , класс выразимых предикатов: