форма мышления, посредством которой утверждение выводится чисто логически (по правилам логики) из некоторых данных утверждений – посылок.