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