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

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

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

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

$\frac{{A \mapsto (B \cup D){\rm }A \mapsto (B \cup C)}}{{A \mapsto (A \wedge (D \cup C))}}$

$\frac{{A \mapsto B{\rm }A \mapsto (D \cup C)}}{{A \mapsto (B \cup C))}}$

$\frac{{A \mapsto (B \cup C){\rm }A \mapsto (D \cup C)}}{{A \mapsto (A \wedge (D \cup C))}}$ (Верный ответ)

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

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

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

Для упорядоченных множеств сигнатуры $S = \left\langle { = , < } \right\rangle$ и носителей R и Q:

Для упорядоченных множеств сигнатуры $S = \left\langle { = , < } \right\rangle$ и носителей N и Z:

Для упорядоченных множеств сигнатуры $S = \left\langle { = , < } \right\rangle$ и носителей Z и Q:

Для упорядоченных множеств сигнатуры $S = \left\langle { = , < } \right\rangle$ и носителей Z и R:

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

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

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

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