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

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

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

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

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

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

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

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

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

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

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

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

Множество всех истинных в N формул сигнатуры < =, < >

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

Из множества всех истинных в N формул сигнатуры < =, < >

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

Из множества всех истинных в N формул сигнатуры < =, < >

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

Теория Г противоречива, если в ней выводима

Если А и В - некоторые конечные множества формул, то секвенция обозначается:

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