Количество синонимов в списке ‹"арность", "местность", "валентность", "эквивалентность"› равна:

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

• # Если существуют подстановки для которых общезначима дизъюнкция, то формула (А - бескванторна):
• # Для сигнатуры аксиомой равенства будет:
• # Чтобы задать подструктуру нормальной интерпретации В, нужно взять подмножество носителя В:
• # Глубина формулы :
• # Любое вхождение переменной в терм: