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