Из множества всех истинных в N формул сигнатуры не выводится формула:

вопрос

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

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

Отправить

• # Всякое непротиворечивое множество замкнутых формул:
• # Теория аксиоматизируема, если она:
• # Если существует бесконечно далекий ak из ряда ‹ai›, I=0,1,… который бесконечно близок к а, то:
• # Аксиомой исчисления высказываний является:
• # Предикат "двоичное слово x - начало двоичного слова y":