База ответов ИНТУИТ

Языки и исчисления

<<- Назад к вопросам

Для сигнатуры аксиомой равенства будет:

(Отметьте один правильный вариант ответа.)
Варианты ответа
\forall x\forall y\forall z(((x = y) \vee (y = z)) \to (x = z))
\forall x\forall y\forall z(((x = y) \wedge (y = z)) \to (x = z))(Верный ответ)
\forall x\exists y\exists z(((x = y) \wedge (y = z)) \to (x = z))
Похожие вопросы
Для сигнатуры аксиомой равенства будет:
Для сигнатуры аксиомой равенства будет:
Аксиомой исчисления высказываний является:
Аксиомой исчисления высказываний является:
Аксиомой исчисления высказываний является:
Аксиомой исчисления высказываний является:
Аксиомой исчисления высказываний является:
Аксиомой исчисления высказываний является:
Формула, истинная в любой интерпретации сигнатуры называется:
Если в тавтологию вместо пропозициональных переменных подставить формулы сигнатуры, получим: