обоснованный вывод

Мат. valid conclusion