Без аксиомы "исключенного третьего" выводима:

вопрос

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

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

Отправить

• # Если в Г все формулы истинны в интерпретации М, то для некоторой замкнутой формулы А:
• # Сложность любой булевой -местной функций при наибольшем размере их схем:
• # Формулу можно построить с использованием правила:
• # Предикат определяемый формулой :
• # Две интерпретации - изоморфны, если между ними существует: