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

Контрпример к секвенции $A \mapsto B$ - это набор значений переменных, для которых все формулы:

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

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

из А - истинны, а из В - ложны(Верный ответ)

из А - истинны, из В - истинны

из В - истинны, а из А - ложны

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

Контрпример к секвенции $A \mapsto B$ будет контрпримером к формуле ( $\wedge A$ - конъюнкция, $\vee A$ - дизъюнкция формул из А)

Формула, представляющая секвенцию $A \mapsto B$ :

Теория Т - $\sum\nolimits_1 {}$ аксиоматизируема, если существуют $\sum\nolimits_1 {}$ -формулы, из которых:

Если $Г \mapsto A, A$ - формула, Г - непротиворечива, то:

Формулы класса П_1

Глубина формулы $\exists x:A$ :

Глубина формулы $A \vee B$ равна:

Глубина формулы $\neg A$ равна:

Глубина формулы $\forall x:A$ :