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