Дедукция и индукция

     Итак, единство  дедукции и индукции, как в  обучении, так и в научном творчестве, своеобразно и ярко проявляется  в математике ― науке, значительно отличающейся от естественных и от общественных наук, как по методам доказательства, так и по методике передачи знаний учащимся.

     Логической формой получения выводных знаний является умозаключение. Умозаключение — это форма мышления, посредством которой из одного или нескольких суждений выводится новое суждение.  
Любое умозаключение состоит из посылок, заключения и вывода.  

     Посылками умозаключения называют исходные суждения, из которых выводится новое суждение.

     Заключением называется новое суждение, полученное логическим путем из посылок.

     Логический переход от посылок к заключению называется выводом.  
     Важное значение имеет классификация умозаключений по направленности логического следования, т. е. по характеру связи, между знанием, различной, степени общности, выраженному в посылках и заключении. С этой точки зрения, различают три вида умозаключений: дедуктивные (от общего знания к частному); индуктивные (от частного знания к общему); умозаключения по аналогии (от частного знания к частному).