Формула, истинная в любой интерпретации сигнатуры называется:

вопрос

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

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

Отправить

• # Если теория устойчива относительно перехода к подструктурам, то она:
• # Фильтр на S со свойством или называется:
• # Теоремой исчисления высказываний является:
• # Контрпример к секвенции - это набор значений переменных, для которых все формулы:
• # Множество натуральных чисел, не являющееся арифметическим: