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

Если А, В, С - формулы, то:

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

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

$((A \vee B) \to C) \to ((A \vee C) \to (B \to C))$

$((A \vee B) \to C) \to (C \to (A \vee B))$

$((A \vee B) \to C) \to ((A \to C) \wedge (B \to C))$ (Верный ответ)

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

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

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

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

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

Если A и B - пропозициональные формулы, то такой же формулой будет:

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

Если А, В, С - формулы, то: