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

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

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

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

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

$\vee A \to \wedge B$

$\vee A \to \neg B$

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

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

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

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

Если существуют подстановки $A(y_1 /x_1 \ldots y{}_k/x_k ), \ldots ,A(w_1 /x_1 \ldots w_k /x_k )$ для которых общезначима дизъюнкция, то формула $\exists x_1 \ldots \exists x_k A$ (А - бескванторна):

Сложность большинства булевой