ДОКАЗАТЕЛЬНЫЙ ВЫВОД

способ выдвигать предположения, полагающийся исключительно на дедуктивную логику, в которой истинность предпосылок всегда ведет за собой истинность выводов.