Если в Г все формулы истинны в интерпретации М, то для некоторой замкнутой формулы А:

вопрос

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

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

Отправить

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