ERRATAS

    

        En esta página se incluirán todas las erratas encontradas en el libro desde su publicación. Agradeceremos que cualquier observación, sugerencia o errata encontrada se nos haga llegar a alguna de las siguientes direcciones de correo electrónico:

 
     
magarcia@ujaen.es ccanada@ujaen.es jfruiz@ujaen.es

 

 

ERRATAS:

 
viñeta

Páginas 153 y 154, en el programa 9.1 y en la función 9.4. donde dice If[infimo={},reticulo=False]; debe decir: If[infimo=={},reticulo=False];

 

 

ERRATAS (Corregidas en la 2º impresión):

 

viñeta

Página 97, ejercicio 5.10., las formas enunciativas son las siguientes:

a1)  p ® F.                                               a2)  ~p.

b1)  (p ® (q ® F)) ® F.                             b2)  p Ù q.

c1)  (p ® F) ® q.                                      c2)  p Ú q.
viñeta

Página 104, programa 6.3. en la última línea, donde dice Print["No es tautología y la forma normal conmutativa es: ", cadena2] debe decir Print["No es tautología y la forma normal conjuntiva es: ", cadena2].
viñeta

Página 128, ejercicio 7.5., la segunda condición debe ser: Xi  Ç Xj = Æ, " i ¹ j.
viñeta

Página 135, programa 8.4. en la línea 7, donde dice If[Intersection[{{A[[n]].A[[m]]}},R≠&& n≠m,  debe decir If[Intersection[{{A[[n]].A[[m]]}},R]≠{} && n≠m,.
viñeta

Página 140, programa 8.8., hay un error en las líneas que eliminan los pares que se deducen de la propiedad transitiva, esto es, donde dice:

    Do[Do[Do[

       If[Intersection[R,{{R[[k1,1]],A[[j1]]},{A[[j1]],R[[k1,2]]}}]=={{R[[k1,1]],A[[j1]]},{A[[j1]],R[[k1,2]]}},R1=Union[R1,{R[[k1]]}]]]

    ,{j1,1,Length[A]}],{k1,1,Length[R]}];

debe decir:

    Do[Do[

       If[Length[Intersection[R,{{R[[k1,1]],A[[j1]]},{A[[j1]],R[[k1,2]]}}]]== 2, R1=Union[R1,{R[[k1]]}];];

    ,{j1,1,Length[A]}],{k1,1,Length[R]}];
viñeta

Página 141, en el diagrama de orden los nombres de los elementos c y d están intercambiados.
viñeta

Página 142, ejercicio 8.6., la definición del conjunto B debe ser: B = {dígitos distintos en tu fecha de nacimiento, distintos de cero}.
viñeta

Página 170, programa 10.1., donde dice For[k=1,k<n+1,k++,tabla[[1,k]]= \!\("p"\_k\)]; debe decir For[k=1,k<n+1,k++,tabla[[1,k]]= \!\("x"\_k\)];.
viñeta

Páginas 172-173, los maxtérminos y los mintérminos son funciones booleanas elementales de n entradas, las definiciones quedan más claras si donde dice

                 

escribimos

                 

viñeta

Página 174, programa 10.2., donde dice Print["Es una tautología."] debe decir Print["Es la función constante 1."].