CAPITULO 2 TABLAS DE VERDAD 2.1 Definicién y ejemplo Gran parte deo que se ha dicho acerca de la ldgica y las relaciones entre proposiciones de razonamiento, se puede ilustrar por medio de fablas de verdad. Una tabla de verdad ce un esquema que muestra como los valores de verdad de proposiciones compuestas, dependen de los conectivos usados y de los valores de verdad de las proposiciones ‘componentes simples. Las Tablas 1, 2 y 3 del Cap. 1 son fundamentales para elaborar © construir tablas de verdad. Se las resume en las Tablas 5 y 6. Tabla 5 Conectivo Simbolo Nombre —_Simbélica Ejemplo contcrivos FUNDAMEN: [yy conuncion p/Ag Los pes madan yas ves ica, % —% Giguncion pg Los pecs aadano at aves vata to megucin, op Lex perso naan Tain 6 Pe ne ee Baton (|e epee neaere! ero = F F T F T ConREsPox- FoT F eset ee TENTE A LOS F F F F T T ConECTIVS FUNDAMEN- TALES EJEMPLO 1 Construir la tabla de verdad de la proposicién compuesta: ‘Avra nd vino hey no ech nero, Solucién ‘Sea p: Alfredo vino anoche. @: Alfredo recogié su dinero. B Eesti ree =14 Capitulo 2. Tablas de Verdad EJEMPLO 2 Solucion Entonces la proposicién se puede escribir (~ p)A(~ q). Para empezar, se enumeran todas las combinaciones posibles de valores de verdad de las proposiciones simples p yg. aaaals mana. Luego se incluyen los valores de verdad de ~ py ~ g. Por iiltimo, se anotan los valores de verdad de (~ p) A (~ q). Para realizar esto, se marca una columna “(~ p) A(~ q)”” en la parte superior, y luego se comparan las columnas ~ py ~ q segin la definicién de conjunci6n para encontrar los valores de verdad de (~ p) (~ q), como se indica mediante las flechas: conjuncin oe ace P)A(~ a) creer, F eae Eo, F Fac Dee eae F preety is aor t ‘Comparar estos valores con la definicién de conjuncién para obtener los valores de que consta la iltima columna. o Construir la tabla de verdad de ~ »). Empezamos con p: P 1 F En seguida se anotan los valores de ~ p de acuerdo con la definicién de la negacién: Solee Introduccién a la Légica 15 Por tiltimo, se anotan los valores de ~ (~ p). Las flechas muestran cémo se obtienen los elementos de esta columna. rnegacién Examinese esta columna. Usese la definicién de negacién para todos los valores de verdad de dicha columna, o Notese que ~ (~ p)y p tienen los mismos valores de verdad. Si dos proposiciones tienen los mismos valores de verdad, una puede reemplazar a la otra en cualquier expresién légica. Esto significa que la doble negacién de una proposicin es igual a la proposicién original. LEY DE LA DOBLE NEGACION EJEMPLO 3 Solucién ~ (~ p) se puede reemplazar por p en cualquier expresién légica. Construir una tabla de verdad para determinar cudndo es verdadera la siguiente pro- posicién: ~@agdrlovana ‘Se empieza como antes y se hace un recorrido de izquierda a derecha, fijando la aten- cin solamente en dos columnas a la vez (véase en la Tabla 5 cémo obtener los valores correctos). Paso 1. Primeramente se tienen en cuenta los paréntesis. Se examinan las columnas ‘Ay B que se indican a continuaci6n, junto con la definicién de conjuncién, para anotar los valores de la columna C. Paso 2. Se utiliza la columna C y la definicién de negacién para anotar los valores de la columna D. Paso 3. Se utilizan las columnas A y B y la definicién de disyuncién para anotar los valores de la columna E. Poso 4, Se emplean las columnas E y B y la definicién de conjuncién para anotar los valores de la columna F. Paso 5. Se utlizan las columnas D y F, que son las partes izquierda y derecha de laoperacién final, yla definicién de conjuncién para obtener los valores dela columnaG.16 Capitulo 2 Tablas de Verdad poate CoP ace Datel F c pa pag ~@A@ pVa_ _OVOAG ~@ADAOVOAS Time, oe T 5 F ial Peeeeeeey T F F Face T i T F[F F F F T F = 2.2 CONJUNTO DE PROBLEMAS 2 A ‘Obtener la tabla de verdad de las proposiciones dadas en los problemas 1-16. Lo PAto 2 -wAr@ 3 ~pv(-@ 4 pAova 5. rA(~s) 6 sVv(~s) TZ CAdv(-8) & ave» % (PV QV (DAg) 10. (~pagyv(-49) MW. pa~ gap 1. palav(~ PV BAC~ B. Agar 1. aa A(-7 18. [pV A(~ A] Ar 16. pata (~ pvr 47. Sean p:2 +3 = 5. g: La Luna esta hecha de queso fresco. Determine eudles de las proposiciones de los Problemas 1-4 son verdaderas. 48. Sean r: La humanidad contamina el medio ambiente. ss: La humanidad sobrevivird. ‘Traduzca cada una de las proposiciones de los Problemas 5-8 al lenguaje ordinario, y determine en qué condiciones cada una resultard verdadera, 49. Sires Ty ses F, ces verdadera la proposicién del Problema 7? 20. Sires Fyses T, jes verdadera la proposicién del Problema 8? 21. Sipes Ty ses, ces verdadera la proposicién del Problema 9? 22. Sipes Fy qes F, ces verdadera la proposicién del Problema 10? 23. a. ;Cuintos valores de verdad resultantes hay en una tabla de verdad corres- pondiente a una proposicién? b. Cudntos valores de verdad resultantes hay en una tabla de verdad corres- ppondiente a dos proposiciones? €. Cudntos valores de verdad resultantes hay en una tabla de verdad corres- pondiente a tres proposiciones (véase el Problema 13)? 24, {Cuintos valores de verdad resultantes hay en una tabla de verdad correspondiente a cuatro proposiciones? 25, 25. Considere las respuestas obtenidas en los Problemas 23 y 24. {Cudntos valores de verdad resultantes hay en una tabla de verdad correspondiente a n proposiciones? oO