Выводом является:

вопрос

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

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

Отправить

• # Алгоритм вывода формул :
• # Размером схемы называется число:
• # Контрпример к секвенции будет контрпримером к формуле ( - конъюнкция, - дизъюнкция формул из А)
• # Параметром формулы A может быть:
• # Предикат определяемый формулой :