El uso de métodos formales para el tratamiento de las expresiones condicionales, ha sido objeto de estudio de disciplinas como la lógica y la Inteligencia Artificial (lA). En cuanto a la primera, una de las maneras usuales ...