lgebra declarativa Concepto Tablas de verdad En estos momentos ya se est en condiciones de elaborar cualquier tabla de verdad.

A continuacin se presenta un ejemplo para la proposicin [(p q) (q r) ] (r q). p Q r q p (q q 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 1 0 0 1 1 0 0 1 1 1 1 0 0 1 1 r) 0 1 0 0 0 1 0 0 (p (q r) 1 1 1 1 0 1 1 1 q) r q 1 0 1 1 1 0 1 1 [(p q) (q r) ] (r q) 1 0 1 1 0 0 1 1

El nmero de lneas de la tabla de verdad depende del nmero de variables de la expresin y se puede calcular por medio de la siguiente formula. No de lneas = 2n Donde n = nmero de variables distintas. Es importante destacar a medida que se avanza en el contenido del material el alumno deber participar activamente. Estos significa que cuando se

23

esta definiendo proposiciones y caractersticas propias de ellas, adems de los ejemplos que el maestro explique, el alumno deber citar proposiciones diferentes, deber entender el porque un enunciado no es vlido. Cuando se ven conectores lgicos, los alumnos debern saber emplearlos en la representacin de proposiciones ms complejas. Pero algo muy importante, es que los ejemplo que el maestro y los alumnos encuentren en la clase, deben ser de inters para el estudiante. Cuando se ven tablas de verdad el alumno deber saber perfectamente bien el porque de cada uno de los resultados. En pocas palabras el conocimiento deber ser significativo.

24