Множество истинных бескванторных формул сигнатуры с равенством и константами для всех элементов интерпретации - это:

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

• # Тавтологией является формула (A,B - формулы):
• # Верно правило для некоторых конечных множеств формул А, В, С, Д:
• # В игре Эренфойхта игроки:
• # Исчисление предикатов построено над:
• # Формула, истинная в некоторой интерпретации на некоторой оценке называется: