Выведение

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