Предикат "x>y", x,y - целое:

вопрос

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

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

Отправить

• # Алгоритм, который по произвольной замкнутой формуле определяет ее выводимость:
• # Нормальная интерпретация А сигнатуры S с равенством может быть расширена до нормальной модели теории Т, если:
• # Количество всех различных -местных схем размера оценивается:
• # Для семейства многочленов Pn(x), взятие старшего коэффициента:
• # Если в тавтологию вместо пропозициональных переменных подставить формулы сигнатуры, получим: