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

Для произвольных формул А, В:

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

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

$\neg A,\neg B \mapsto (A \vee B) \wedge \neg B$

$\neg A,\neg B \mapsto \neg (A \wedge B)$ (Верный ответ)

$\neg A,B \mapsto (A \vee \neg B)$

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

Для произвольных формул А, В:

Для произвольных формул А, В:

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

Вопрос о выводимости произвольных формул языка первого порядка:

Если Г - множество формул, то тогда:

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

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

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

Истинность бескванторных формул из D(A) от присутствия дополнительных элементов: