antecedente

Em lógica, o primeiro termo de uma consequência. [Abbagnano]