Una pre condición es simplemente una conjunción lógica de condiciones.