majorpremise

(منطق) کبرای قیاس، کبرای قضیه منطقی