immediate inference

Лог. прямое умозаключение