Прямое доказательство: логический метод прямого обоснования истинности утверждения путём последовательного выведения из известных истин.
Нажмите рядом со статьёй — скопируете ссылку для списка литературы по ГОСТ.