Если А, В, С - формулы, то:

вопрос

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

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

Отправить

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