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

Замкнутая формула невыполнима, если:

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

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

ее отрицание общезначимо(Верный ответ)

она тавтология

ее дополнение общезначимо

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

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

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

Если в теории Г выводима формула $А \wedge \neg A$ (А - любая формула), то она:

Если прототип формулы - тавтология, то бескванторная формула:

Бескванторная формула выводима, если ее прототип является:

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

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

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

Формула $\exists x_{1,} \cdots \exists x_k A$ (А - бескванторная ) общезначима, если общезначима дизъюнкция подстановок: