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

Формулы А и В эквивалентны, если формула:

(Отметьте один правильный вариант ответа.)

Варианты ответа

$(A \to B) \vee (B \to A)$ - общезначима

$(A \to B) \wedge (B \to A)$ - общезначима(Верный ответ)

$(A \to B) \wedge (\neg B \to \neg A)$ - общезначима

Похожие вопросы

Формулы А и В эквивалентны, если формула:

Формулы A и B эквивалентны тогда и только тогда, когда тавтологией является формула:

Если выводима формула А(с/х), где А - формула, х - переменная, с - константа не входящая в А, то тогда:

Формулы А и В эквивалентны, если они обе:

Если все П₁-формулы сигнатуры S с равенством, выводимые из теории Т, истинны в А, то:

Если в Г все формулы истинны в интерпретации М, то для некоторой замкнутой формулы А:

Если А - замкнутая формула сигнатуры непротиворечивого множества Г и выводима А, то:

Теория Т - П₁ аксиоматизируема, если существуют П₁-формулы,из которых:

Тавтологией является формула (A,B - формулы):