Не общезначима формула:

вопрос

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

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

Отправить

• # Секвенция выводима тогда и только тогда, когда она:
• # Предикат "двоичные слова x и y имеют одинаковую длину":
• # В игре Эренфойхта, если есть предикат сигнатуры, различающий помеченные элементы интерпретации, то:
• # Глубина формулы :
• # Вхождение индивидной переменной, не из области действия одноименного квантора называется: