Не общезначима формула:

вопрос

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

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

Отправить

• # Верно утверждение для любой булевой функции от аргументов:
• # Если - формула, Г - непротиворечива, то:
• # Сигнатура теории полугрупп состоит из:
• # Исчисление секвенций - исчисление типа:
• # Для семейства многочленов Pn(x), дифференцирование по X: