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

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

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

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

$\frac{{A \mapsto A \cup C}}{{A \mapsto C}}$

$\frac{{A \mapsto B \cup C}}{{A \mapsto C}}$

$\frac{{A \mapsto A \cup B \cup C}}{{A \mapsto (A \cup B) \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) от присутствия дополнительных элементов: