f TONIVERSIDAD | ADMINISTRACION | TALLER DE INTERPRETACION Y 1 GASTON DACHARY | CICLO BASICO. «.. RAZONAMIENTO TRABAJO PRACTIC@ N°1: LOGICA PROPOSICIONAL. Exploracién 1. En formia grupal, discutan las siguientes cuestiones: a) eQué es la logica? b) Para qué sitve la l6gica? c) _¢Sélo estudiando se aprende logica? d) _¢Cudndo podemos decir que un razonamisiiiy.s lagico? 2) Qué significa que la actitud de una persona sea Fhsgica? Den ejemplo. Conceptualicacién Cominmante escuchamos hablar de ‘un comportamiento Iégico’, “un argumento logico”, “un procedimiento l6gico".. pero quizé nunca nos hemos detenido a pensar: Qué significa que algo sea logico? zCudndo podemos decir que algo es !égico? Cuando hablamos de Légica, en la vida cotidiana, relacionamos inmediatamente esta palabra con los pensamientos 0 con algo que ‘se refiera a ellos. Pero la palabra "pensamiento" puede referirse por igual a los contenidos de conciencia, en general, que son los que nos traen imagenes no presentes a los sentidos (Jos recuerdos, por ejemplo); 0 bien determinados contenidos que conllevan el cardcter de conocimiento lamados “intelectuales” y conocides con el nombre de conceptos o ideas, y por los cuales interpretamos significativaments un objeto, un hecho, estableciendo conexiones con otros elementos. El mbito del que procede este tipo de contenido de conciencia, cuyo objeto son los conceptos y sus relaciones, va a formar el campo de la logica en su sentido mas general, Esto significa que apenas el hombre comienza a desarrollar una actividad intelectual dirigida al conocimiento de la realidad y al ordenamiento de sus relaciones con ella, ain en las técnicas més rudimentarias, la l6gica, llamada natural, comienza su desarrollo. La situacién se repte ert nuestra vida cotidiana, ya que no toda persona estudia légica; sin ‘embargo, de toda persona sana mentalmente, esperamos una respuesta légica, coherente, ya sea en el campo del conocimiento vulgar 0 de las acciones corrientes. Pero, gcudndo podemos decir que un razonamiento es logico y cuando que es ilégico? ade qué depende que una actitud humana se tache de légica 0 ilbgica? Para comenzar, debemos hacemos la pregunta que a lo largo de ta historia de ta filosofia de la ciercia ha estado presente: .qué es la logical? La definicién de Iégica, como disciplina, que mas ha influido, y que viene desde Arist6teles: "Logica es el arte de conducir el pensamiento hacia la verdad”.Santo Tomés la definié como: “Arte directiva del mismo acto de la,razén, en viriud de fa cual el hombre, en el mismo acto de la raz6n, procede de manera ordenada, fil y'sin error’. Las definiciones hechas en épocas posteriores, se basaron en las anteriores, y como éstas, dostenfan que [a l6gica es el arte de dirigir el pensamiento hacia la verdad. i : Resumiendo estas definiciones, tenemos: : = La Légica como disciplina conforma una serie de conocimientos 0 contenidos que deben censiderarse para poder fundamentar la necesidad, probabilidad de la verdad de los contenidos cognoscitivos, especialmente los del émbito filoséfico y cientffico. «La Légica implica un proceso subjetivo que se manifiesta como un arte, una habilidad © una técnica capaz de ser utllizada por quien conoce la disciplina légica, lo que de rninguna manera implica que quien no la haya estudiado sea ilégico, ya que tiene en si la l6gica natural, sino que su estructura implica la posibilidad de lograr fundamentos de validez y de coherencia para el pensar cientifico. * La Légica formal enuncia los principios y métodos para distinguir y estructurar formas validas de razonamientos en la l6gica deductiva, + La metodologia establece formas coherentes que permiten asegurar en una medida de positiidad las verdades cientificas, en tanto sean estructuradas a partir de razonamientos no deductivos, y que necesitardn ser corroboradas después por los procesos de verificacién. Intentanco integrar lo dicho acerca de la Légica, podriamos decir que la Légica tiene ‘como punto de partida el pensar reflexivo. Se denomina Légica a la disciplina filoséfica, que estudia los elementos bésicos, las relaciones, las estructuras, principios, leyes y regias, y atin los métodos del pensar objetivo. ‘Fata viencia conduce a la vez a un procedimiento intelectual que permite a fa razén obtener y deferminar fa verdad de fas proposiciones en su nivel seméntico y sintéctico, asf como la validez y legitimidad de los razonamientos, expresdndolos en un lenguaje informativo, claro, exacto y preciso, o también usando la notacién simbélica. 2. Lean nuevamente las definiciones de l6gica y realicen las siguientes actividades: a) _Presenten un ejemplo de razonamiento Idgico y la conclusién que de él se deriva. b) _2Es posible que haya un método para aprender a pensar bien? c) —_ZQué ciencia estudia este método? d) Para obtener en un razonamiento una conclusion acertada, existen reglas esttictas, que se deban seguir?‘Debates en torno de la definicién de Légica La definicion que tradicionalmente se ha dado de la légica ha sido blanco de fuertes criticas. Filésofos y matematicos objetan el hecho de que se puedan determinar las reglas de un pensamiento correcto, Por otra parte, se cuestionan lo que significa pensar correctamente. Pues lo que en un cierto contexto es un pensamiento correcto, en otros puede ser un persamiento absurdo, Filésofos como Friedrich Nietzsche han hecho criticas tan fuertes a la definicién y funcion de la légica, que liegan a cuestionar hasta la posible existencla de la verdad. Definir la égica como ciencia que-estudia las leyes del pensamiento no es muy exacta. En primer lugar, las leyes del pensamiento son el objeto de estudio de la sicologia, y Ja logica no es la sicologia. Por ejemplo, uno puede imaginar algo, recordarlo, lamentarlo, 0 puede dejar divagar los pensamientos en un ensuefio o fantasia, construir castilos en el aire, © unir una y otra imagen en una asociacién libre, y ninguno de estos pensamientos son el objeto de fa légice. La definicion menos ambiciosa y mas oportuna de la ciencia de la légica es: ‘Estudio de los métodos y los principios usados para distinguir un razonamiento correcto del incorrecto”. 3. .Qué es razonar? 4. Entre razonar y otros tipos de proceso mental como recordar, equé diferencia hay? 5. ECuales el objeto de estudio de la légica? .Para qué la l6gica? imaginar, 0 divagar, Valorar la importancia de la logica, nos leva a preguntaros: zpuede un hombre pensar correctamerite sin conocer las leyes y fas regias de fa légica? La verdad es que existen misicos que sin dominar el solfeo y sin leer nota, pueden interpretar con cierta eficiencia un instrumento. Pero su creacién intelectual en cuanto a la composicién de obras originales es restringida. Algo similar sucede con quien estudia légica: piensa de un modo més preciso, sus argumentaciones son mas fuertes y contundentes, y en la practica comete ‘menos errores al razonar. La légica ayuda a demostrar fos juicios vélidos y a descartar los incorrectos; ensefia a pensar clara, concisa y correctamente. La légica es imprescindible a fodos, a los més diversos profesionales: a los profesores que deben formar en los estudiantes un pensamiento légico y critico, a los juristas para poder plantear la argumentacién de la defensa y refutar las acusaciones, a los médicos que diagnostican una enfermedad a partir de los sintomas, La légica la necesitan todas las personas, independientemente del oficio que desemperien. Ayuda @ fos estudiantes @ asimilar fa informacién en el estudio de las diferentes clencias o actividades practicas, les facilita separar lo secundario de lo esencial, a percibir de modo critico las defniciones y las clasificaciones de los diferentes aspectos tratados en cada clencia, a seleccionar formas correctas de demostracién. En fin, a comprender mejor la naturaleza de las cosas,Para dat la formalidad necesidad a sus objetos de estudios, la légica matematica elimina las expresiones ambiguas del lenguaje ordinario, introduciendo simbolos y conectivos cuyo uso adecuado descartan las contingencias, aportando claridad y economia al.” pensamiento. Pero, zeémo elimina las expresiones ambiguas? Lo hace utllzando del tenguale ordinario sélo aquellos enunciados que expresan algo sobre lo que se pueda decir si es. verdadero o falso, éstas expresiones se denominan proposiciones. : Una proposicién es una expresién con sentido en un lenguaje, que afirma o niega | ‘algo, proporciona und informaci6n, y se caracteriza por el hecho de ser verdadera 9 falsa. Ejemplo: “Hay es martes”. Esta es una proposicién porque afirma algo del dia de hoy, que yo. puedo comprobar 0 determinar si es cierto 0 no, La expresi6n (Qué lindo dia! no es una proposicién, porque expresa {a admiracién de alguien por un echo, y no es algo que la persona afirme. Anélogamente, {a frase interrogativa: ZA dénde irés hoy? O la frase imperativa "Escriba répido’, no son proposiciones, porque no se puede decir que son falsas, ni que son verdaderas. 6, _De las siguientes oraciones, seleccionen las que correspondan a proposiciones: a) El autor de la obra “Cien afios de soledad” es Gabriel Garcia Marquez. b) Todos los paralelogramos son cuadrilateros. ce) La casa de la pradera. d) Todos Jos ricos son avaros. ‘e) (Esta es una desgracial f) _eSon cuadriléteros todos los paralelogramos? 9) _Ninguno de los pases que me dieron sirven para entrar al cine. fh) Algunos crimenes son ejecutados involuntarianiente. 7. Indiquen el valor de verdad de cada proposicién. a) Todos los cuadriipedos son mamiferos. b) Todo rio corre hacia abajo. ©) —_Elnimero 9 es primo. 4) 2.08 un néimero irracional. ) —_Napoleén era inglés. f) __Ningiin acto ejecutado involuntariamente debe ser castigado. 9) —_Lalégica ensefia a pensar.LOGICA SIMBOLICA 4. Silas proposiciones: p = La matematica es interesante, y q = El estudio enaltece ef espiritu, son verdaderas; analicen si las siguientes proposiciones ‘son verdaderas. a) Lamatemiética es interesante y el estudio enaltece el espiritu. b) _Lamatemitica es interesante o el estudio enaltece el espiritu. 2. Sir=Lasrosas son amarillas, y 5 = Los claveles son blancos; las proposiciones que suponemes la primera verdadera y la segunda falsa. Analicen el valor de verdad de las siguientes proposiciones compuestas: a) Las rogas son amarilas y los claveles son blancos. b) Las rosas son amarillas 0 los claveles son blancos, Conceptuaticacién Los razonamientos formulados en castellano o en cualquier lengua natural, son dificiles de evaluer debido a la forma vaga que encierra el idioma y el significado-equivoco de las palabras usadas. Para evitar la dificultad de interpretacién del idioma, se cre6 un lenguaje simbélico artificial al cual pueden traducirse enunciados y razonamientos del lenguaje natural, Los simbolos especiales de la légica nos permiten exponer con mayor claridad las estructuras légicas de las proposiciones y razonamientos. Alfred North Vhitehead, uno de los estudiantes que més contribuy6 al progreso de la logica simbélica dijo: "Con la ayuda del simbolismo, podemos efectiar por medio de la visa y de manera casi mecénica, procesos en el razonamiento que exigiran el uso de facultades superiores en el cerebro”. Las proposiciones pueden ser simples 0 compuestas. Una proposicién es simple cuando contienen a otra proposicién como parte constitutiva de si misma. Por ejemplo, “Javier es aseadc" es una proposicién simple, pero, "Javier es aseado, entonces puede ir al baile” es una proposicién compuesta por los enunciados “Javier es aseado” y “Javier puede ir al baile", Cuando dos expresiones son unidas por un conectivo, se la denomina proposicién compuesta. NEGACION La negacién de una proposicién, en nuestro idioma, se forma a menudo insertando un *no" en la proposicién original; también se puede obtener la negacién de un enunciado anteponiendo la frase "es falso que” o “no se da el caso que’. La negacién de la proposicién se simboliza anteponiendo '~" a la proposicién original, Si _p = Todos los cuadripedos son mamiferos, Su negacion puede ser: ~p = No todos los cuadnipedos son mamiferos.~p = Algunos cuadnipedos soh mamiferos, ~p = No se da el cado de que todos los cuadnipedos sean mamiferos. °°, El valor de verdad de la negacién es funcién del valor de verdad de la proposicion original. Si la proposicién es verdadera, su negacién es falsa, y si la proposicién es falsa, su. negacibn es verdadera. . 4. Escriba la negacién de la proposicién: EI candidato fue sustituido". 2 Escriba 'a negacién de la proposicién: “He decidido no ir de compras”. CONJUNCION La conjuncién es una proposicién compuesta que resulta de unir las proposiciones simples con el conectivo "y’. Sip = Marcos es juicioso, y q = Py q es: “Marcos es juicioso y poeta’, Teemplaza a la palabra “y’. Debe tenersé en cuenta que otras expresiones de nuestro idioma como “pero”, ‘aunque’, ‘sin embargo", “no obstante", pueden servir para unir conjuntivamente dos proposiciones. larcos es poeta.; la conjuncién de las proposiciones lo que se simboliza: p » q, donde el signo "a’ 3. . ._Radas las proposiciones p = La musica es muy suiave, q = La puerta esta cerrada, y ‘r= El sdbado no salgo. Escriban las siguientes conjunciones: a) pag ¢) ralqapl b) gar d) tapee Valor de verdad de la conjuncién : . : El valor de verdad de la conjuncién es una funcién del valor de verdad que poseten Ins. proposiciones que las constituyen. La conjuncién de las proposicjones sdlo es verdadera ‘cuando las dos proposiciones son verdaderas. P q pag a v v Vv v F F ee F v F F F F : 4. Si la proposicién p » q es verdadera qué se puede afirmar acerca del valor de verdad de p y de q? 5. Si la proposicién p » q es falsa zqué se puede afirmar acerca del valor de la proposicién p? 8. Sila proposicion p.» q es falsa y p es falsa, zqué se puede afirmar acerca del valor de verdad de la proposicién q? Justifique su respuesta, 7. Analice el valor de verdad de las siguientes proposiciones: a) PAP b) ~@A~9) °) ~CP A ~P) qd) pa~(Pap)ad DISYUNCION DE PROPOSICIONES : En nuestro idioma la disyuncién de dos ptoposiciones se forma insertando ta palabra “o” entre las dos proposiciones. La palabra “o” es ambigua porque tiene dos significados diferentes que se pueden distinguir analizandolos correctamente. DISYUNCION INCLUSIVA En algunos casos la “o” se utiliza en el sentido “uno u otro, posiblemente ambos”. Por ejemplo, al afirmar que para poder solicitar libros prestados de la biblioteca se deben presentar la libreta universitaria o el camet de biblioteca, el lector que tenga uno sdlo de los documentos puede solicitar libros y quienes tengan los dos documentos también lo puede hacer. : En documentos de tipo oficial y como una forma de precisar el lenguaje, la forma de disyuncién se presenta y/o. El simbolo de la disyuncién ‘V’, llamada cufia, proviene de la letra inicial de la palabra latina ‘vel’, que significa exactamente “o". 8. Al igual que en el caso de Ia conjuncién, complete Ia siguiente tabla, segin los valores de verdad que corespondan: e qa pvq v v v F F ae F F La disyuncién incluyente es verdadera cuando. DISYUNCION EXCLUSIVA La disyuncion en el sentido fuerte 0 exclusivo se presenta en nuestro idioma cuando se afirma “uno y otro, pero no ambos”. Por ejemplo, cuarido se lee la carta del meni en un restaurante que anuncia "dulce o postre a cierto precio fijo", se entiende que es en el sentido exclusive, porque no se puede tomar los dos alimentos por el precio de uno. El simbolo de la disyunci6n exclusiva es “y”. Valor de verdad de Ia disyunci6n exclusiva La disyuncion exclusiva es verdadera cuando a lo sumo una de las dos proposiciones es verdadera, Porque nunca las dos proposiciones pueden ser verdaderas ala vez, ya que son mutuamente excluyentes. 8La disyunci6n tanto inclusiva como’ exclusiva tienen en comtin que si fa disyuncion +esverdadera y una de las proposiciones es falsa, entonces la otra proposicion. és» necesariamente verdaderd. En ese- sentido la utilizaremos para la formalizacién de” razonamientos. Mientras no se aclare lo contrario, de ahora en adelante, cuando se lame simplemente disyuncién, estaremos haciendo mencién a fa disyuncién inclusiva, aot. .) 9, Elabore fa tabla de verdad dé la disyuncién exclusiva. 10. Sip = Los problemas de légica son faciles de'analizar, y q = Cometiendo errores se aprende mas. Escriba: p v . 11. Sila propesicién p es verdadera, .qué se puede afirmar acerca del valor de verdad de la proposicion p v 4? 12. _ Sila proposicién p v. q es falsa y la proposicién p es verdadera, .qué se puede afirmar acerca del valor de verdad de q? 43. Si la proposicion p v q es falsa y p es falsa, gqué se puede afirmar acerca del valor de verdad de q? Justifique su respuesta. 14, Sea p hace frio” y seaq“llueve”, Dar una frase verbal simple que describa cada una de las siguientes proposiciones: ee a) ~P ) pva 2) ~pa~q b) pag a aqv~p p ~a) 15. Seap "eles apuesto” y q "el es inteligente”. Escribir cada uno de las siguientes proposiciones de manera simbélica, usando p y q: a) El es apuesto e inteligente b) _Eles inteligente pero no es apuesto. ©) _ Es falso que sea apuesto o inteligente. LA IMPLICACION 1. La proposicién: “Si el equipo gana, entonces regreso a la ciudad” es verdadera y, ademas, e! equipo gané, zserd que regresé a la ciudad? 2 En la proposicién: “Si Carlos juega, entonces el equipo pierde”, se cumple que el equipo perdié, gse puede afirmar que Carlos jug6?. Justifique su respuesta. 3. En Ia proposicién: “Si un ntimero se puede escribir como el cociente de dos rniimeros, entonces el numero es racional’, se cumple que 0.656585 se puede escribir como el cociente de dos enteros. 4Se puede afirmar que 0,656565 es un rniimero racional?Conceptualizacién . ‘Si se combinan dos proposiciones colocando {a palabra “Si”, antes de la primera - proposicién e insertando entre ellas fa palabra “entonces”, la proposicién compuesta es un ‘enunciado hipotético, también llamado condicional, implicacién 0 enunciado implicativo. En un enunclado hipotético, ta proposicion que se encuentra entre "SI" y_ “entonces" es llamada antecedente o la implicante. La proposicién que sigue a la palabra “entonces” se llama consecuente o Ia implicada. e Un enunciado hipotético afirma que su antecedente implica su’ consecuente. No, afirma que su antecedente sea verdadero, sino solamente que si el antecedente es verdadero, entonces su consecuente también lo es. La implicacin asi como la disyuncién tiene mas de un significado. En los siguientes enunciados se pueden observar algunos de los usos de la implicacion: * Si todos los cuadrdpedos son mamiferos y los perros son cuadrpedos, entonces los perres son mamiferos. «Si Nidia es soltera, entonces no es casada Si sobre un cuerpo se ejerce una fuerza resultante constante, entonces el cuerpo se mueve con aceleracién constante. * Sinuesto equipo gana el campeonato, entonces mafiana es domingo. En la primera implicacién “Si fodos los cuadriipedos son mamiferos y los perros son cuaditipedos, entonces los perros son mamiferos’. E1 consecuente se concliye \6gicamente del antecedente. En la implicacién "Si Nidia es soltera, entonces no es casada’, el consecuente se obtiene del antecedente simplemente por la definicin del término soltero, que significa, no casado. En Ia implicacién “Si sobre un cuerpo se ejerce una fuerza resultante consiante, entonces ef cuerpo se mueve con aceleracién constante’, el consecuente no se obtiene de su antecedente por medio de un razonamiento légico; sino que se concluye a partir de la experiencia y de un sentido causal. En la implicacién “Si nuestro equipo gana el campeonato, entonces maffana es domingo”, el consecuente no se obtiene de! antecedente ni por légica ni por alguna ley de una ciencia en particular, es simplemente un capricho de quien formula el enunciado. Lo que tienen en comiin fos diferentes tipos de implicaciones es que afirman que la implicacién es falsa si se cumple el antecedente y no se cumple el consecuente. En simbolos si y q son el antecedente y el consecuente de una implicacién: p= q; se lee “p entonces q’, 0 “p implica q” la proposicion p => q es falsa si p es verdadera pero q es falsa; en los demas casos la implicacion es verdadera. 10sla de verdad de la implicacion Analice a tabla de verdad de la implicacion y conteste las siguientes preguntas: P q pa v v v v F F [oF v v F F v l a) Si la implicacien es verdadera y p es verdadera, qué se puede afirmar acerca dal valor de q? b) Sie implicacién es falsa y p es verdadero, .qué se puede afirmar acerca del valor de verdad de 4? ©) Silaimplicacién es verdadera y p es falsa, zqué se puede afirmar aceréa’et valor de verdad de q? Justifique su respuesta. CONDICION NECESARIA Y SUFICIENTE Consideremos ia tabla de verdad de la implicacion 2 4 p=q v v v v i F E v Vv oe F F Iv \Veamos el siguiente ejemplo: p= q= Sihace buen tiempo, entonces vamos al campo. Hemos visto que hay tres casos en los cuales la implicacion es verdadera, de ellos: # En.un solo caso el antecedente es verdadero, y en este caso q es verdadero también. Se tiene asi que si uesq)=V y ulp)=V_entoncesu(q)=V itae cae EF dice entonces qué el antecedents p es ecndicion suficiente para el consecuente 4, en” nuestra implicacién es suficiente que haga buen tiempo, para que vayamos al campo."+ :-" 4 En.cambio si p es fatsa nada podemos decir de q, puede ser verdadera o fals: Pero si la implicacién es verdadera y el consecuente es verdadero, entonces p puede ser verdadero o falso; mas para que p sea verdadera se necesita que q lo sea. Se dice entonces que q es condicién necesaria para p, ya que si vamos al campo es porque hace buen tiempo. Resumiendo, si pes.condicién suficiente para q (q si p) q es condicién necesaria para p (p sdlo si q) Otro ejemplo a(p=>q)=V, entonces : p=.4=Sies caballo, entonces tiene cuatro patas. ‘haui es suficiente decir que es caballo para saber que tiene cuatro patas; y es necesario, mas no suficiente, decir que tiene cuatro patas para saber que es un caballo (este dato no basta para saber que se habla de un caballo y no de un perro sin embargo es uno de los requisitos para que lo sea). ‘Consideremos ahora la tabla de verdad de la doble implicaci6n P peg v v v v F F a F v F F FE v ¥ la equivalencia tégica con p 4 p2q__|a=p p=) A=) vey. v v v v FE v FE Bev ely, FE F > iE Vv. v v Si wpe q)=V entonces ulp=a)=V(t) y ua=p)=V 2 2Atenidiérido a.(1) se tiene que p es ‘condicién suficiente para q, y teniendo en cuenta (2) p “es Conidicién necesaria para q. Significa esto que si la doble implicacién es verdadera p es condiciin necesaria_y ‘Suficiente para q. Y haciendo un andlisis anélogo, obtenemos que q es condicién necesaria v suficiente para p. Reconsiderando otro ejemplo: p> q= Untrianguio es equilétero si y sélo si tiene los tres lados congruentes. Saber que un triéngulo es equilétero, es condicion necesaria y suficiente para decir que tiene tres lados congruentes. Saber que una figura tiene tres lados congruentes, es necesario y suficiente para decir que es un triéngulo equilatero. 6. A partir de estas consideraciones, completen las lineas de punto: Si la implicacién p => q.es verdadera, entonces: p es condicion ... para q. qs condicion, para p. DOBLE IMPLICACION En la implicacién “Si Nidia es soltera, entonces no es casada’, el consecuente se obtiene del antecedente simplemente por la definicién del término soltero; que significa, ‘no casado. Esta proposicién es equivalente a decir “Si Nidia no es casada, enfonces es soltera". Simbélicamente podemos escribir: (>a) 4 =p) » Peg Es decir: p <> q = Nidia es soltera, si y s6lo, si no es casada. siy solo si..." para Dos proposiciones cualesquiera peden combinarse por medio de *. formar una nueva proposicién que se denomina doble implicacién, 7. Complete la siguiente tabla, seguin los valores de verdad que correspondan: 3peg La doble implicacién es verdadera cuand uSilas proposiciones: p = La malemética es interesante, y q = El estudio enaltece el espiritu, ‘son verdaderas; analicen si las siguientes proposiciones son verdaderas. ) _ Silamatematica es interesante, entonces el estudio enaltece el espfritu. @) _Lamatematica es interesante; sin embargo el estudio enaltece el espiritu. 2 Sir= Las rosas son amarillas, y = Los claveles son blancos; las proposiciones que Suponemos fa primera verdadera y la segunda falsa. Analicen el valor de verdad do las siguientes proposiciones compuestas: e) _{as rosas son amarillas, entonces fos claveles son blancos. f) Las rosas son amarillas pero los claveles son blancos. & Si p= José quiere conservar el primer puesto en el trabajo, y_q = Lucia es una magnifica profesional, son proposiciones tales que p es falsa y q es verdadera, analicen el valor de verdad de las siguientes proposiciones compuestas: a. José quiere conservar el primer puesto en el trabajo y Lucia es una magnifica profesional. b. José quiere conservar el primer puesto en el trabajo o Lucia~es- una. magnifica profesional. c. Si José quiere conservar el primer puesto en el trabajo, entonces Lucia es una magnifica profesional. PROPOSICIONES Y TABLAS DE VERDAD Hemos visto que con el uso de conectivos légicos (~,a,¥,4,—, ) podemos elaborar a partir de proposiciones simples ( p, 4, % ...) proposiciones compuestas, denotadas por P(p, q, F..). También que el valor de verdad de una proposicién compuesta, o simplemente proposicién, depende exclusivamente de los valores de verdad de las proposiciones simples, llamadas también variables. Mejor dicho el valor de verdad de una proposicién se conoce una vez que se conozcan los valores de verdad de sus variables Si consideramos, por ejemplo, la proposicién: ~(p » ~q) ‘Su tabla de verdad es 5Columna ae v Pp q ~a pang ~(pa~q) Vv Vv F Vv fila > Vv F Vv iv F re Vv = Vv F ie Vv . v 2V,2Fa 1V,1FI Y se construye como sigue: Las primeras columnas son tantas como las variables que intervienen (para el ejemplo dos). Y Jas siguientes corresponden a cada etapa “elemental” de la construccién de la proposicién; el valor de verdad de cada paso es determinado por el valor de las etapas anteriores, con las definiciones de los conectivos presentes. Asi, los valores en la cuarta columna se obtienen de la conjuncién de la primer y tercer columna. Y el numero de filas disponibles debe ser tal que permita todas las posibles combinaciones de V y F para estas variables ( para 2 variables, como en este caso, se necesitan 4 filas; para 3 variables se necesitan & filas; y, en general, para n variables se necesitan 2" lineas). Para colocar ordeniadamente todos os casos, en la primer columna pondremos la mitad _de todos los czs0s posibles con V, y la otra.con F,.y en la segunda pondremos, ‘alternativariente. Vy F, en grupos mitad de la longitud de los grupos anteriores, y ai sucesivamente. Obsérvacién: La tabla de verdad de la proposicién dada consiste de las columnas de las variables y de la proposicién P q ~(pa~q) iv v Vv Vv F F e Vv Vv F F Vv 16Ejemplo! , Construir la tabla de verdad de (p=>~q)v tr P a F ~4 p>-4a Kpa~ayvr Vv Vv Vv F F Vv Vv Vv F F F F . Vv F Vv Vv Vv Vv Vv € F Vv V Vv F Vv Vv F Vv V F Vv F F Vv Vv F F Vv Vv Vv Vv F F F Vv iv v= J. Confeccionar las tablas de verdad para : a) ~p aq D (p aq) = (pv a) b) ~(pv aq) g)~(~p 4 ~q) o) ~(pv ~q) h) ~(p Aq) v (~paag) a) (p =a) => (pag) i) (p = 4) v ~(p @ ~q) 2) ~ps(q>P) ) (pe ~a) @ (a> P) 2. Usando soo ~, A, Vv , construir dos esquemas proposicionales cuyas tablas de verdad sean las siguientes a [p [a » [e [a viv fv viv fv Bee F eae ie fo v FW La ater v Pee v La tabla de verdad de un enunciado, construido a partir de dos enunciados simples, posee cuatro filas, la de un enunciado compuesto que contiene tres nes simples, posee ocho filas, a) ucudntas filas tendra la tabla de verdad Wwde un enunciado construido a partir de cuatro enunciados simples?;‘b) Zcuantas. - filas habré si las proposiciones son cinco?; c) zcuantas, en genefal, si su. niimero es "n’?, Pensar una manera sistematica de escribir estas Ultimas tablas de verdad, TAUTOLOGIA, CONTRADICCION Y CONTINGENCIA a 7 Se definen los siguientes tipas de proposiciones segiin los valores de su tabla de verdad: ¢ Una proposicién es una tautologia cuando todos Jos valores de su tabla de verdad son verdaderos independientemente de la verdad o falsedad de sus variables. oo P ~p [py ~p v F id Vv ‘+ Una proposicién es una contradiccién cuando fodos fos valores de su tabla de verded son falsos independientemente de la verdad o falsedad de sus variables. ee haya Vv F F F Vv F __#. Una oroposicién es una contingencia cuando fos valores de su fabla de verdad ‘son algunos verdaderos y otros falsos dependiendo de los valores de verdad 0 falsedad de sus variables, Es decir, no es ni tautologia ni contradiccién. a Pp PAP 7 Vv 7 7 Observaci6n: La negacién de una tautologia es una contradiccién, ya que siempre es falsa; y la negacién de una contradiccién es una tautologia, pues siempre es verdadera. i Determinar si tas siguientes proposiciones son tautologias, contradicciones o 82) (pag) > P ) (pra aa a4 = (pana) h) eee cal a) Pv ~(p aq) b) (pag) a ~(Pv a) Cree (Bawa), ad (pva) = (ave) 2. Usar las tablas de verdad para caracterizar las siguientes formulas proposicionales como tautolégicas, contradictorias 0 contingencias. a p=e=ag=4 ) bpq=iN=le2g>e>0 b+ p=leP=a>a) 2) {P= Dar=sla@vs}>(evn co) (PagQae>~a EQUIVALENCIA LOGICA Cuando una doble implicacién es una tautologia, se dice que es una equivalencia logica 0, dicho de otra forma, una proposicién P es equivalente a otraQ (PQ) cuando las tablas de verdad de P y Q son iguales. Simbélicamente se utilizan "=" 0 “ot para indicar que dos proposiciones son idénticas. Ejemplo: Analicemos la tabla de verdad para (pea) = Pa)» GP) sillamamos P= perq y Q= (pq) 4 (=p), Y efectuamos sus correspondientes tablas de verdad: P P q Peq v v v Vv F - - Vv ig F ze: ae »a P q p=q | 9>P | (pq) @=~) Vv Vv Vv Vv Vv ae az = Vv iz F Vv Vv F F F Vv Vv Vv Notamos que ambas tablas son idénticas, por tanto son légicamente equivalentes: P Q PoQ pee. (p= a)» =P) (peg) = (P=>q) a G=p) v v v F F Vv F F Vv Vv Vv Vv ae Tautologia Ejemplo Para demostrar que: p=>q = ~pv q_ hacemos: ee VIVITVTVTFE [V][Vy]V ae F F v i Vv . id Pelevelevaleve(aVelenslevalay Peteva(era|ev Ve lee |. Ve( or 20*Disyuncion Ley de:* Conjuncién . pypep Idempotencia PAR SP pyvaeavp ‘Conmutativa PAGS anP pv@vi © evar ‘Asociativa PAGAN & Agar Pv(paq) =P Absorcion PAwYa) =P Pv Gan & Pvaawvy Distributiva PAQ@YN & Hrgdv—an disyuncién ressecto conjuncién conjuncién respecto disyuncién py-p eT Negacion pa~pec pyvcep Identidad paTep Ces elements neutro de la v Tes elemento neutro dela. 0 pyvTeT Identidad de T y C paCec ~Coet Negacion de C yT ~Tec tnvolucién (doble negacién) = ~(~p) oP ~Pv9) oP ana Leyes De Morgan ~ (PAG) 2 ~P Vv ~4 Donde T simboliza tautologia (siempre V) y C contradiccién (siempre F). Enumeraremos ahora algunas de las proposiciones tautoldgicas mas importantes: paq oe ~q=~P p2qe ~pvq Condicional pogo p2anG>P) Bicondicional Contraposicion eed @ aap) ~ Conmutativa del Bicondicional p=>pvq Adicion pag =p Simplificacion paq sq 3. Use leyes légicas para demostrar las siguientes equivalencias: a) pyq > ~(~pa~q) by pv (pag) Pp co) ~(p vq) v ~P AG) & ~P qd) pv [pa(pv aq) 2pLa‘equivalencia entre dos proposiciones se llama formal si una no se deduce de la otra: Ejemplo: p= (1=0) y q=elsoles verde, entonces ulpe>q)=V, ya * que u(p)= Fy u(q) =F. la dobie implicacién es verdadera, Se llama equivalencia material entre dos proposiciones cuando una se deduce de la otra, o si ambas significan lo mismo. Ejemplo: p= Tes trilétero y q= Tes triéngulo, p< q= Tes triétero si y solo si es triéngulo. Armar jas tablas de verdad y demostrar que las siguientes proposiciones compuestas son equivalencias légicas. : LEYES LOGICAS Consideremos la proposicién ~(p (p44) cuya tabla de verdad es: ericeee o CE oe A q) F v v v v v F v v v F F v Vv v F v F F v v F v v F F v F v F F F En los resultados de la tabla observamos que esta proposicion es una tautologia, es decir que es verdadera independientemente de los valores de verdad de las variables. Las proposiciones que cumplen esto son tautologias o Leyes Légicas. En cambio p A ~p_ es falsa cualquiera sea p, es una contradiccién, por lo tanto no es una Ley Légica. En el célculo proposicional se utilizan las siguientes leyes 0 tautologias, cuya demostracién se reduce a la confeccién de la correspondiente tabla de verdad: a®) pvqv(pa+qar) pyaqvr ” 'Refute cada una de las siguientes expresiones: a) Karina tandré una buena educacién si pone sus estudios antes que su interés en ser estrella de cine. b) Carmen esta haciendo sus tareas en matematicas y Enrique esta practicando sus lecciones de karate. ©) Si Miguel se va de vacaciones, entonces el se divertird sino le preocupa viajar en avién Refute las siguientes expresiones y simplifique la proposicion resultante: a) pa(qvt)a(~pv~avr) b) pvav(=pa~qar) Escribir en forma simbélica las proposiciones siguientes, luego niegue y utilice las leyes lgicas para simplificar, si es posible: a) El silencio es la respuesta de los sabios y mas mueven los ejemplos que la palabra ») El verdadero valor nos coloca por encima de la suerte o cada dia es el mejor del afio. ©) Sies divisible por tres entonces no es cierto que sea primo y par. Dada la siguiente proposicién: a) (pr)(pva) Y la siguiente informacién: v PTE TV 56 side: Determinar el valor de verdad de la br esF proposicién 28Funci6n Proposicional ‘ oe gunas veces es necesario referimos a und propiedad o caracteristica - algin conjunto ‘Snvdotatlar uno a uno sus elementos. Para facitar la escritura formal fe esi’ - Generalizacion, la matematica utliza expresiones de la forma F(x), lamadas predicados, ridas a un elemento indeterminado perteneciente a un conjunto, : Toferidas @ un erpjomento x de un conjunto, podemos asociare un predicade POX), ol oval tomar Uno u otro valor de verdad dependiendo de x. Por ejemplo: si nos referimos, al ‘conjunto de (os numeros enteros, y dé ellos nos interesan nicamente los imnpares, en forma ‘simbélica, lo escribimos: PQ): es impar Podemes ver claramente en esta expresin que no se trata de una proposicién, ya que a menos que no demos un valor a x, nada podemos decir de Ja verdad 0 falsedad de! enunciado. P @):2es impar F P (3): 3 es impar v Para cada valordado a x, tendremos una proposicién. A expresiones de este tipo se las llama Funciones o Esquemas Proposicionales. Funelén proposicional en una variable x, es toda oracién en la que figura x como sujeto, la cual se convierte en proposicién para cada especificacién de x Se. presentan también funciones proposicionales con dos indeterminadas. Por ejemplo, en el conjunto de los enteros, la funcién: P (x, y): xes divisor de y No es proposicién hasta no particularizar valores de x e y. P (2,6): 2esdivisorde6 V P (12,6): 12esdivisorde6 F Cuantificadores Es de notar que si P(x) es una funcién proposicional definida sobre un conjunto, ‘entonces P(») puede ser V para todos {os elementos del conjunto, para algunos 0 para ninguno de els. La expresion: Para todo x, se verifica P(X) se denota mediante Vx: P(x) yla expresién: Existe x, tal que se verifica Ps) se denota mediante =x / P(x) Los simbolos Vv y 3 son llamados cuantificadores universal y existenclal, respectivamente. oy., Ua fyneién proposicional cuantificada adquiere ol cardcter de proposicién. La primera tho sitsgeJeonvierte en una proposicién por generalizacin; la segunda, se convierte en una proposicion por particularizacién. Por ejemplo: _ (1) "Todos los ndmeros enteros son pares” se esctibe VX: X es par (@) *Existen enteros que son impares” seescribe 3x/xesimpar 7 Un problema de interés es la negacion de funciones proposicionales cuantificada: ++ \. Lanegacién de (1) es: : “No todos los enteros son pares” i es decir “Existen enteros que no son pares” En simbolos es . . ~{¥ x: P()] lo que esto mismo —3x/~PQ) ——————————————————— Bo Para negar una funcién proposicional cuantificada universalmente se cambia el cuantificador en existencial, y se niega la funcién proposicional. ch tli La negacién (2) es: “No existen enteros impares” : Esdecir "Todo enteronoesimpar’ 0 “Todo entero es par* En simbolos ~{3x/ PQ] es tomismo que Vx: ~P() a Para negar una funci6n proposicional cuantificada existencialmente se cambia el cuantificador en universal, y se niega la funcién proposicional. OO Se tienen las siguientes equivalencias: ~ [0x2 Pix] eo 3x/~PO9 ~ [9x1 Pix] <2 Vx -POY Ejemplo: a) Todos la admiran. ) Existen hombres buenos. Escribirlas en lenguaje simbélico, negarlas, y retraducir la negacién al lenguaje coloquial. Desarrollo a) _Vx:xlaadmira 25~{¥ x: xla admiral = 3x/ xno la admira Hay personas que no la admiran, b) 3.x/x es un hombre bueno. . ~{3x/ x e8 un hombre bueno] = vx: x no es un hombre bueno Todos los hambres no son buenos. Observaci6n: Surge con frecuencia la necesidad de poner en evidencia la existencia de un ~ solo elemento que posee determinada propiedad, Se emplea entonces la notacion 3tx/PQ%) que selee —_—“Existe un y solo un x, tal que PO)" Asi, en los nimeros naturales, existe un y solo un niimero, talque 2+ x = Sse escribe: | Bbx/2+x=3 1. Dadas las proposiciones: + Efcuadrado de todo nimero real es mayor que 2. + Existen enteros cuyo cubo aumentado en uno es igual al cubo del siguiente. + _ Todo ef que estuctia, trunta. a) Expresarlas simbélicamente. b) —_Negar las expresiones obtenidas. ©) Refraducir al lenguaje ordinario. 2. Negar las proposiciones: a) 3x/P(%) v ~ QQ) b) Vx: PQ) = Qe) ) Vx 3y/x.y=0 Sea p(x) la funcion: proposicional “x* = 2x" donde el universo comprende todos los —~enteres. Determinar si cada una de las siguientes proposiciones es verdadera o falsa: P(O) PQ) P(2) ax PQ) Vx PQ) eaose 4, Sean P(x) y Q(x) las siguientes funciones proposicionales PQ): x SS y am): +1 esimpar Si el universe consta de todos los enteros, .Cudles son los valores de verdad de las siguientes proposiciones?. a. P(t) %6PT) v aq) ~(P (4) Vv Q¢3) ~PG) PQ) (4) PEA) A~Q(-3) Escriba cada una de las siguientes proposiciones en términos de cuantificadores y de funciones proposicionales: a. Todo estudiante del grupo esta en la rama de Administracion o de Informatica. b. Almenos un estudiante del grupo estudia ingles. c. Un estudiante del grupo ha leido todos los articulos sobre Mercosur. Escriba la negacién de las proposiciones del ejercicio anterior, utilizando 1a notacién simbélica correspondiente. Para cada una de las siguientes parejas de proposiciones, determine si ia niégs propuesta es correcta. Si es correcta determine cual es verdadera: la proposicién original o la negacién. Si la negacién propuesta es incorrecta, corrija. a. Proposicién: Para todos los ntimeros reales x, y, six" > y*, entonces x> y. Negaci6n: Existen némeros reales x, y, tales que x" > y*, entonces xs y. b. Proposicién: Para todo ndmero real x, si x es un ndimero entero, entonces es un racional, Negacién: Existen nimeros reales x, x que son enteros y no son racionales. Para las siguientes proposiciones, el universo abarca todos los enteros distintos de cero. Determine el valor de verdad de cada proposioién. Niegue las proposiciones dadas: a. axvy[xy= 1] b. ax3y [xy=4] ce Vxay [y=] 27