Если все элемнеты гипердействительного аналога множества конечны, то:

вопрос

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

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

Отправить

• # Формулы A и B эквивалентны тогда и только тогда, когда тавтологией является формула:
• # Если S не пусто, , то для того, чтобы F был фильтром нужно:
• # Правило вывода в исчислении секвенций - это правило, объявляющее:
• # Предикат определяемый формулой :
• # Если удалить символ < из сигнатуры , класс выразимых предикатов: