大前提 на русском

dàqiántí
мат., лог. большая (главная) посылка