· Умозаключения позволяют получать новые знания из уже имеющихся.
· С помощью умозаключений осуществляется доказательство и опровержение определённых суждений.
· Умозаключение - эффективная форма передачи знаний в общении, обучении, научной коммуникации.
Дедукцией называется такое умозаключение, в котором между посылками и заключением имеется отношение «логического следования». Символически обозначим так: « |= ».
· Из посылок а, b, c, d логически следует k тогда и только тогда, когда суждение (a b c d k ) имеет тожественно-истинный характер (является законом логики).