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

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

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

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

не выводима А

выводима $\neg A$

выводима и А(Верный ответ)

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

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

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

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

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

Если А - формула, а x - ее индивидная переменная, то:

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

Нормальная интерпретация А сигнатуры S с равенством может быть расширена до нормальной модели теории Т, если:

Формула А семантически следует из теории T,если она:

Число а - предел ‹a_i›, i=0,1,…, если есть бесконечно далекий a_k:

Для любых формул исчисления высказывания А В, С выводима формула: