Необходимое умозаключение
Необходимое умозаключение
умозаключение, в котором истинность посылок гарантирует истинность выводов.
Источник: Традиционная логика. Словарь по книге