Если А и В - некоторые конечные множества формул, то секвенция обозначается: (Отметьте один правильный вариант ответа.) Варианты ответа (Верный ответ)