База ответов ИНТУИТ

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

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

Аксиомой исчисления высказываний является:

(Отметьте один правильный вариант ответа.)
Варианты ответа
(A \to B) \to (A \to \neg B)
A \to (\neg A \to B)
(A \to B) \to ((A \to \neg B) \to \neg A)(Верный ответ)
Похожие вопросы
Аксиомой исчисления высказываний является:
Аксиомой исчисления высказываний является:
Аксиомой исчисления высказываний является:
Аксиомой исчисления высказываний является:
Аксиомой исчисления высказываний является:
Теоремой исчисления высказываний является:
Теоремой исчисления высказываний является:
Теоремой исчисления высказываний является:
Вариант исчисления высказываний - исчисление:
Для сигнатуры аксиомой равенства будет: