Tablas de Verdad Conectivos Lgicos y Jerarquas Como se mecion en la seccin anterior para formar expresiones compuestas necesitamos conectivos

lgicos, empezaremos por un conectivo unitario; esto es, se aplica a una proposicin sola. La Negacin La operacin unitaria de negacin, no es cierto que se representa por y tiene la siguiente tabla de verdad de verdad Regresar a Matemticas para Computacin

p p
V F F V

Ejemplo. Encuentre la negacin de las expresiones siguientes: i) Jpiter es un planeta ii) El pizarrn es verde iii) El nmero real x es negativo iv) Algn elefante es de color rosa v) Ningn pez respira fuera del agua vi) Todos los leones son feroces Solucin: i) Jpiter no es un planeta ii) El pizarrn no es verde iii) El nmero real x no es negativo o tambin El nmero real x es positivo cero iv) Ningn elefante es de color rosa v) Algn pez respira fuera del agua vi) Algn len no es feroz Nota: Las tres ltimas proposiciones se derivan de proposiciones abiertas que veremos en la seccin 1.4 Calculo de Predicados Definicion. Hacer los ejercicios del 10 al 16 Ejercicios MCI 2

La conjuncin de las proposiciones p, q es la operacin binaria que tiene por resultado p y q, se representa por p^q, y su tabla de verdad es: p q V V F F V F V F p^q V F F F

La conjuncin nos sirve para indicar que se cumplen dos condiciones simultneamente, as por ejemplo si tenemos: La funcin es creciente y est definida para los nmeros positivos, utilizamos p ^ q, donde p: la funcin es creciente q: la funcin esta definida para los nmeros positivos As tambin: p ^ q, donde p: el nmero es divisible por 3 q: el nmero est representado en base 2 se lee: El nmero es divisible entre 3 y est representado en base 2. Nota: Observamos que para la conjuncin p ^ q sea verdadera las dos expresiones que intervienen deben ser verdaderas y slo en ese caso como se indica por su tabla de verdad.

La disyuncin de dos proposiciones p, q es la operacin binaria que da por resultado p q, notacin p v q, y tiene la siguiente tabla: p q pvq V V V F F V V V V

F F

Con la disyuncin a diferencia de la conjuncin, representamos dos expresiones y que afirman que una de las dos es verdadera, por lo que basta con que una de ellas sea verdaera para que la expresin p q sea verdadera. As por ejemplo la expresin: el libro se le entregar a Juan o el libro se le entregar a Luis significa que si va uno de los dos, el libro se le entrega, si van los dos tambin se entrega y solamente en caso de que no vaya ninguno de los dos no se debe entregar. Aqu debemos tener cuidado, porque en espaol muchas veces utilizamos la disyuncin para representar otros operadores que aparentemente son lo mismo, pero que tienen diferente significado. En espaol tenemos tres casos de disyuncin: La llamada y/o bancaria, lgica o matemtica, que es la misma y se utliza en computacin como el operador OR, este operadorcorresponde al mencionado anteriormente p v q y ya se mostr su tabla de verdad. La o excluyente, que algunos tambin le llaman o exclusiva, y que indica que una de las dos proposiciones se cumple, pero no las dos. Este caso corresponde por ejemplo a: Hoy comprar un libro o ir al cine; se sobrentiende que una de las dos debe ser verdadera, pero no la dos. Se representa por p XOR q y su tabla de verdad es: p p q XOR q VV V F F V F F F V V F

Por ltimo, tambin es muy comn utilizar una disyuncin como la siguiente: El men incluye caf o t. En este caso se esta dando una disyuntiva diferente pues no se pueden las dos simultneamente como en el caso anterior, pero aqu si es vlido el caso donde las dos son falsas. Es el caso no mbas, se puede representar por p q y su tablas es

p q pq V V V F F V F F F V V V

Nota: El ltimo smbolo no es estndar y puede haber varias formas de representarlo. Un buen ejercicio consiste en enunciar varias expresiones del espaol que utilizando los conectivos y o para analizar cul de los operadores es. Hay que tener mucho cuidado cuando se traduce del lenguaje usual por las costumbres, muchas veces depende del contexto o de la situacin especfica en la que se usan los conectivos, por ejemplo si decimos: Se pueden estacionar alumnos y maestros, en realidad se est queriendo decir un operador disyuntivo, en este caso la o matemtica, o sea el primer operador que corresponde a la primera tabla de esta seccin.

La condicional de dos proposiciones p, q da lugar a la proposicin; si p entonces q, se representa por p q, y su tabla de verdad est dada por: p q p V V V F F V F F V F V V q

Con respecto a este operador binario, lo primero que hay que destacar es que no es conmutativo, a diferencia de los dos anteriores la conjuncin y la disyuncin. El nico caso que resulta falso es cuando el primero es verdadero y el segundo falso. Por ejemplo, si p es llueve y q es hay nubes entonces: p q es si llueve entonces hay nubes.

Tambin cabe sealar que este viene a ser el operador ms importante en el proceso deductivo y que la mayora de las leyes de inferencia y las propiedades en matemticas se pueden enunciar utilizando este operador.

La bicondicional de dos proposiciones p, q da lugar a la proposicin; p si y slo si q, se representa por p q su tabla de verdad est dada por: p q p V V V F F V F F V F F V q

Jerarquia de Operadores. Combinando los operadores anteriores podemos formar nuevas expresiones. En trminos formales la negacin de p, deber ser ( p), as como la conjuncin de p y q sera (p ^ q). Con el uso de parntesis evitamos la ambiguedad, por ejemplo p ^ q podra significar dos cosas distintas Por un lado podra significar: (( p) ^ q) O tambin: ( (p ^ q)). En la prctica para no usar tantos parntesis se considera que el operador tiene jerarquia sobre ^, v, , . As p ^ q significa (( p)^ q). En algunos casos se considera ^, v tienen mayor jerarqua que por lo que p q v r sera (p (q v r)) y tambin que ^ tiene prioridad sobre v, por lo que p ^ q v r sera (p ^ q) v r. As por ejemplo, en electrnica, para representar circuitos lgicos se utiliza + en lugar de v y en lugar de ^. Por lo que pq+r es ((p ^ q) v r). En estos apuntes no se considerar jerarqua en ninguno de los operadores binarios ^, v, , por lo que utilizaremos parntesis. Slo tiene prioridad sobre los dems operadores.

Esto nos ahorr algunos parntesis, por ejemplo: ((( p) ^ q) v r) se representa por ( p ^ q) v r.

Contruccin de Tablas de Verdad

Como ya sabemos la sintaxis en lgica es la forma correcta de escribir una frmula y la semntica es lo que significa. Como en lgica solamente tenemos dos valores una frmula solamente puede ser verdadera o falsa. Para determinar su valor seguimos las reglas simples que dimos en las definiciones bsicas de acuerdo a su tabla de verdad. Esto lo hacemos mediante interpretaciones. Una interpretacin de una frmula es un conjunto de valores que se les asignan a sus proposiciones atmicas. Al interpretar una frmula lo que finalmente vamos a obtener es un valor de verdad, bien sea verdadero o falso. Pero para poder encontrarlo muchas veces el proceso en laborioso porque puede estar formada por varias proposiciones atmicas. Primeramente se le asignan valores de verdad a los tomos y se puede encontrar el valor de la expresin. Si deseamos hacerlo en general, debemos analizar todas las posibilidades, esto se puede hacer construyendo una tabla de verdad. Para fines prcticos cuando se tienen varios tomos las tablas de verdad no resultan prcticas por lo que analizaremos solamente expresiones con tres tomos como mximo. Por supuesto que se puede construir una tabla para un nmero mayor de tomos, pero notemos que por cada tomo que se aumente el nmero de renglones se duplica. Esto es, para un tomos son dos renglones, para dos tomos son cuatro, para tres tomos son ocho, para cuatro diecisis, etc. Algoritmo para construir una tabla de verdad de una frmula en lgica de proposiciones. 1. Escribir la frmula con un nmero arriba de cada operador que indique su jerarqua. Se escriben los enteros positivos en orden, donde el nmero 1 corresponde al operador de mayor jerarqua. Cuando dos operadores tengan la misma jerarqua, se le asigna el nmero menor al de la izquierda. 2. Construir el rbol sintctico empezando con la frmula en la raz y utilizando en cada caso el operador de menor jerarqua. O sea, del nmero mayor al menor.

3. Numerar las ramas del rbol en forma secuencial empezando por las hojas hacia la raz, con la nica condicin de que una rama se puede numerar hasta que estn numerados los hijos. Para empezar con la numeracin de las hojas es buena idea hacerlo en orden alfabtico, as todos obtienen los renglones de la tabla en el mismo orden para poder comparar resultados. 4. Escribir los encabezados de la tabla las frmulas siguiendo la numeracin que se le di a las ramas en el rbol sintctico. 5. Asignarle a los tomos, las hojas del rbol, todos los posibles valores de verdad de acuerdo al orden establecido. Por supuesto que el orden es arbitrario, pero como el nmero de permutaciones es n!, conviene establecer un orden para poder comparar resultados fcilmente. 6. Asignar valor de verdad a cada una de las columnas restantes de acuerdo al operador indicado en el rbol sintctico utilizando la tabla de verdad correspondiente del Tema 1.3 Conexiones Logicas y Jerarquias. Conviene aprenderse de memoria las tablas de los operadores, al principio pueden tener un resumen con todas las tablas mientras se memorizan. 7. La ltima columna, correspondiente a la frmula original, es la que indica los valores de verdad posibles de la frmula para cada caso. Ejemplo. Construya la tabla de verdad de las siguientes expresiones lgicas: i) (p q) v (p v r) ii) p (q ^ r) iii) (p r) (q v p) iv) (p q) r v) (p ^ q) (q v r) Solucin: i) Seguimos los pasos del algoritmo con la frmula (p q) v (p v r)

1. Vemos que los operadores de los parntesis tienen mayor jerarqua, empezamos por el parntesis izquierdo por lo que la frmula con jerarquas marcadas sera:

Attach:TablasVerdad11.jpg

2. Contruir el arbol Sintctico empezando a descomponer por el operador con el nmero mayor, seguir en orden descendiente hasta el ltimo que es el que tiene el nmero 1. Attach:TablasVerdad12.jpg

3. Numerar las ramas del rbol

Attach:TablasVerdad13.jpg

4. Escribir los encabezados de la tabla utilizando las frmulas en el rbol siguiendo la numeracin del paso 3. 5. Asignar valores de verdad a los tomos, en este caso, las tres primeras columas. 1 p V V V V F F F F 6. Asignar los valores de verdad a la q. 1 p 2 q 3 r 4 q F F V 2 q V V F F V V F F 3 r V F V F V F V F

V V V V V F V F V

V F

V F F V V

F V V F V F F F 7. Asignar los valores de verdad a la p. 1 p V V V V F F F F 2 q V V F F V V F F 3 r V F V F V F V F 4 q F F V V F F V V F V F F

5 p F F F F V V V V

8. Asignar los valores de verdad basados en la tabla de la condicional con p(condicion 1) q(condicion 4). 1 p 2 q 3 r 4 q F F V V F F V V 5 p F F F F V V V V p F F V V V V V V 6 q

V V V V V F V F V V F F F V V F V F F F F V F F

9. Asignar los valores de verdad basados en la tabla disyuncion con la p(condicion 4) v r(condicion 3). 1 p 2 q 3 r 4 q 5 p p 6 q 7 p v r

V V V V V F V F V V F F F V V F V F F F F V F F

F F V V F F V V

F F F F V V V V

F F V V V V V V

V F V F V V V V

10. Completar el resto de las condiciones utilizando las definiciones de los operadores,p q (condicion 6), v, p v r (condicion 7). 1 2 3 4 p q r 5 6 p q F F V V V V V V 7 p v (p r V F V F V V V V 8 q) v (p v r) V F V V V V V V q p

VVV F F VV F F F V F V V F V F F V F F VV F V F V F F V F F V V V F F F V V

11. La ltima columna es el resultado da cada interpretacin establecida en los primeros tres renglones.

Los dems problemas son similares y se obtienen las tablas siguientes. FALTA PONER LOS RBOLES SINTCTICOS DE LOS EJEMPLOS 2 AL 5. ii)

Attach:TablasVerdad2.jpg

1 2 3 V V V V V F V F V V F F F V V F V F F F V F F F

4 V V V V V V F F

5 (q v r) V F V F V V V V

p q r qvr p

iii)

Attach:TablasVerdad3.jpg

1 2 3 4 p q r

6 (p

7 r) v r) F V F V V V F F (q

p q r r r F V F V V V V V V V V F V V V F

VVV F VV F V V F V F V F F V F VV F F V F V F F V F F F F V

iv)

Attach:TablasVerdad14.jpg

1 2 3 4 p q r

6 (p ^ q) V V F F V V V V

p^ q q F F V V F F F F

(p ^ q) r r F V F V F V F V F V V V F V F V

VVV F VV F F V F V V V F F V F VV F F V F F F F V V F F F V v)

Attach:TablasVerdad5.jpg

1 2 3 4 5 p q r r p VVV F F VV F V F V F V F F V F F V F F VV F V F V F V V F F V F V F F F V V

6 qv r V V F F V V V V

7 p ^ q F F F F V V F F

8 (q v r) F F V V F F F F

9 (p ^ q) (q v r) V V V V F F V V

Hacer los ejercicios 30 al 36 Ejercicios MCI 2