APLICACIÓN DE LA LÓGICA COMPUTACIONAL