Este trabajo se funda en el conocimiento de los autores de que existe una relación íntima entre la lógica y las Ciencias de la Computación. Esta vinculación es doble. En principio y como hecho general, el razonamiento lógico es reconocidamente…