valid inference

Мат. истинный вывод