antecedente

Em lógica, o primeiro termo de uma consequência. (Abbagnano)