Capiiulo 4 NOCIONES WDE ‘LOGiCx: 1.1. INTRODUCCION Todo desarrollo matemético exige razonar en forma valida acerca de cosas trascendentes y particularmente abstractas. Hay que comenzar por eliminar | ambigitedades del lenguaje ordinario, introduciendo simbolos y conectivos curve uso adecuado descarte las contingencias, aporte claridad y economia de Pensamiento, iin este capitulo introducimos el concepto de proposicidn, las Operaciones proposiciona- les y sus leyes, reglas de inferencia, y la cuantificacién de funciones proposicio Cuyo uso estard presente en todo el texto, ales ~ 1.2, PROPOSICIONES Consideramos las siguientes oraciones: 1. (Quién viene? 2. Deténgase 3. El calor dilata los cuerpos 4. 4 es un niimero impar 5. Juan ama la miisica “3 6, La miisica es amada nor Tuan Se trata de seis oraciones diferentes, una interrogativa, una orden yc declarativas. De las dos primeras no podemos decir que sean verdaderas ni ung pregunia puede formularse o no, y una orden puede ser cumplida o as. by cambio, de las cuatro Ultimas, que son declarativas, ’ tiene sentido decir si sox verdaderas © falsas. A éstas las llamamos proposiciones. Definicion Proposicién es toda oracién respecto de la cual puede decirse si es verdadera 0 falsa.NOCIONES DE LOGICA Es decir, proposicion es toda oracién declarativa. Toda proposicion esté asociada a un valor de verdad, el cual puede ser verdadero (¥) 0 bien falso (F). Las oraciones (5) y (6) son diferentes desde el punto de vista gramatical; el objeto directo de la (5) es el sujeto de la (6), pero ambas tienen e] mismo significado, y las consideramos como la misma proposicién. Podemos decir entonces proposicion es el significado de toda oracién declarativa, _» 13. NOTACIONES Y CONECTIVOS Las proposiciones genéricas son denotadas con las letras p, g, 7, etc. A partir de proposiciones simples es posible generar otras, simples © compuestas. Es decir, se puede operar con proposiciones, y segun sean tales operaciones se utilizan ciertos simbolos, llamados conectivos logicos. Conectivo Operacién asociada Significado = Negacion no po noes cierto que D A Conjuncién o producto légico pyq v Disyuncién o suma logica p og (en sentido incluyente) = Implicacién p implica q o si p, entonces 7 o Doble implicacién psiy sdlo siq re. Diferencia simétrica p og (en sentido excluyente) 1.4, CPERACIONES PROPOSICIONALES Definiremos las operaciones entre proposiciones en el sentido siguiente: dadas una o dos proposiciones, cuyos valores de verdad se conocen, se trata de caracterizar la proposicion resultante a través de su valor de verdad, Se supone que en la eleccion de estos valores se tiene en cuenta el buen sentido. 14.1, Negacion Definicin acion G2 la proposicion p es ia proposicidn ~p (no p), cuya tabla de valores de verdad es Se F v mg | Se trata de una operacion unitaria, pues a partir de una proposicién se obtiene otra, que es su negacion. # OPERACIONES PROPOSICIONA: Ejemplo 1-1. La negacion de p: todo hombre es honesto es ~p: no todo hombre es honesto o bien: ~p: no es cierto que todo hombre es honesto ~p: hay hombres que no son honestos ~p: existen hombres deshonestos la cual es Y, ya que la primera es F. 14.2. Conjuncion Definicion a Conjuncién de las proposiciones p y q es la proposicin p a q (py q). cuya tabla de valores de verdad es La tabla que define la operacién establece que 1a conjunci6n s6lo es verdadera si lo son las dos proposiciones Componentes. En todo otro caso es falsa. Ejemplo 1-2, Si devlaramos ;)3 es un numero impar y 2 es un nimero primo se trata de la conjuncién de las proposiciones p : 3 es un niimero impart g)2 es un numero primo y por ses ambas verdaderas, la proposicién compuesta v2 V. ii) hoy es lunes y mafiana es jueves esta conjuncién es F, ya que no coexisten las verdades de p y 4. 14.3. Disyuncién Definicion Disyuncion de las proposiciones p y @ tabla de valores de verdad es 25 la proposicién p V q (p 04) cuyaNy OPERACIONES, PROPOSICIONALES v (fF. Y @ se Ilaman antecedenie y consecuente de tg imp! feacion o és formal’ en el sentido de que NO es necesario que e| cOnsecuente se derive logicamente del antecedente; cuando esto ocurre, la implicacién se lama material ¥ queda incluida en fa primera, Las tablas de valores de verdad se definen arbitrariamente, Pero respetando ef “SI apruebo el examen, ENTONCES te presto el apunte” (1) Se trata de la implicacién de Jas Proposiciones P+ apruebo el examen g ¢ i presto el apunte Interesa inducir la verdad o fal de la implica F de las Proposiciones py q. El enunciado (1) puede Peasarse como un compromiso, condicionado POr p. ¥ podemos as compromiso, Es obvio que si p es F. es deciz, liberado del compromiso, y preste o no Preste el decir, si el antecedente os F, In implicacién es V, Si pes V, en cuyo caso apruebo el examen, y no presto el apunte, el compromiso Mo se cumple, y Ia Proposicion (1) es éntonces F. Si p y 7 son V.; entonces fa implicacion es V porque el compromiso se cumple, De este modo, la implicacion slo 6s fas cuando el difteceden “ consecuente es SF i pane i) si hoy es lunes, entonces mafana es martes ‘iciones— ¢s la implicacion de las propa P= hoy es lunes 9: maitana es martes Come no puede darse antecedente V ¥ consecuenie F, Ja implicacién es V, Ps ei? HY ls-ps es V por ser ef antecedente F,