Семантическое следование равносильно: (Отметьте один правильный вариант ответа.) Варианты ответа эквивалентности совместности выводимости (Верный ответ)