Набор символов-обозначений в формулах с неотрицательными числами называется:

вопрос

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

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

Отправить

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