Este documento define y explica conceptos lógicos fundamentales como juicio, enunciado, proposición, razonamiento y conectivos lógicos. Explica que un juicio es una relación de conceptos que puede ser verdadero o falso, mientras que un enunciado es la expresión de un juicio. Una proposición es un enunciado que puede ser verdadero o falso pero no ambos. Luego describe los diferentes tipos de proposiciones (simples y compuestas) y conectivos lógicos como conjunción, disy
0 calificaciones0% encontró este documento útil (0 votos)
505 vistas47 páginas
Este documento define y explica conceptos lógicos fundamentales como juicio, enunciado, proposición, razonamiento y conectivos lógicos. Explica que un juicio es una relación de conceptos que puede ser verdadero o falso, mientras que un enunciado es la expresión de un juicio. Una proposición es un enunciado que puede ser verdadero o falso pero no ambos. Luego describe los diferentes tipos de proposiciones (simples y compuestas) y conectivos lógicos como conjunción, disy
Este documento define y explica conceptos lógicos fundamentales como juicio, enunciado, proposición, razonamiento y conectivos lógicos. Explica que un juicio es una relación de conceptos que puede ser verdadero o falso, mientras que un enunciado es la expresión de un juicio. Una proposición es un enunciado que puede ser verdadero o falso pero no ambos. Luego describe los diferentes tipos de proposiciones (simples y compuestas) y conectivos lógicos como conjunción, disy
Este documento define y explica conceptos lógicos fundamentales como juicio, enunciado, proposición, razonamiento y conectivos lógicos. Explica que un juicio es una relación de conceptos que puede ser verdadero o falso, mientras que un enunciado es la expresión de un juicio. Una proposición es un enunciado que puede ser verdadero o falso pero no ambos. Luego describe los diferentes tipos de proposiciones (simples y compuestas) y conectivos lógicos como conjunción, disy
Descargue como DOC, PDF, TXT o lea en línea desde Scribd
Descargar como doc, pdf o txt
Está en la página 1de 47
MATERIAL COMPLEMENTARIO
DIFERENCIAS ENTRE JUICIO, ORACIN Y PROPOSICIN
El juicio.- Es una relacin o conjuntos de conceptos que se caracteriza por constituir una afirmacin o aseveracin de algo, es una forma, una estructura del pensamiento que objetivamente es verdadero o falso. (Astudillo, Dolores; nciso, !iliana". El enunciado. Es la e#presin verbal o escrita del juicio. Ejemplos$ %edro es estudiante de la &niversidad 'acional de !oja # ( ) * + , ( ) * - No !on enunciado!" La! o#acione! e$cla%a&i'a!. (.entimientos, interjecciones". Ej.$ /socorro0, /au#ilio0 /te quiero0 La! o#acione! i%(e#a&i'a!. (1rdenes", Ej.$ 2ierra la puerta; te vas afuera. La! de!ide#a&i'a!. (Deseos, s3plicas". Ej.$ 4jala no 5a6a clases. La! o#acione! in&e##o)a&i'a!. (%reguntas". Ej.$ 78u9 5ora es: Ra*ona%ien&o.-Es un conjunto de afirmaciones o juicios relacionados de manera al que se supone que uno de ellos (llamado conclusin" se desprende o infiere del o los otros (llamados premisas". !a pretensin de que la conclusin se deriva de las premisas se manifiesta a trav9s de e#presiones especiales como$ por lo tanto, luego, por consiguiente, etc. La (#o(o!ici+n.- Es un enunciado que puede ser falso o verdadero, pero no ambas cosas a la vez. !a proposicin es un elemento fundamental de la lgica matem;tica; generalmente se las e#presa en oraciones declarativas o aseverativas, tales como$ O#acione! a,i#%a&i'a!. (nforman". Ej.$ <a=ana es lunes. O#acione! de!c#i(&i'a!. (Describen". Ej.$ !a tiza es blanca O#acione! e$(lica&i'a!. (E#plican". Ej.$ .i 5ace fr>o entonces es invierno A continuacin se tienen algunos ejemplos de proposiciones v;lidas 6 no v;lidas, 6 se e#plica el porqu9 algunos enunciados no son proposiciones. !as proposiciones se indican por medio de una letra min3scula, dos puntos 6 la proposicin propiamente dic5a. Ejemplo. p !a tierra es plana. q -?+ ( ,@ * )? r # A 6-B s !a !iga de !oja ser; campen en la presente temporada de f3tbol. t$ Cola 7como estas: D !ava el coc5e por favor.
!os incisos p 6 q sabemos que pueden tomar un valor de falso o verdadero; por lo tanto son proposiciones v;lidas. El inciso r tambi9n es una proposicin v;lida, aunque el valor de falso o verdadero depende del valor asignado a las variables # 6 6 en determinado momento. !a proposicin del inciso s, es v;lida .in embargo los enunciados t 6 D no son v;lidos, 6a que no pueden tomar un valor de falso o verdadero, uno de ellos es un saludo 6 el otro es una orden. Earea$ Escribir ?F proposiciones v;lidas 6 ?F inv;lidas. -alo# de 'e#dad.- &na proposicin es verdadera o es falsa; si es verdadera se denotar; por la letra GHI o el G?I 6 si es falsa se denotar; por GJI o por el GFI. .i no se puede determinar su valor de verdad, se podr; analizar los posibles valores de verdad (tablas de certeza". CLASES DE PROPOSICIONES" !as proposiciones se clasifican en proposiciones simples o atmicas 6 proposiciones compuestas o moleculares$ P#o(o!icione! !i%(le!.- .on aquellas proposiciones que no se pueden descomponer. Ejemplo$ p$ Eodo organismo viviente se adapta a su medio f>sico. q$ .i un n3mero es divisible por K tambi9n lo es por ). r$ (a (b" ) * a ) ( )ab ( b ) P#o(o!icione! co%(ue!&a! o %olecula#e!. .on aquellos enunciados que est;n formados por dos o m;s proposiciones simples 6 unidos por t9rmino lgico. Ejemplos$ p$ !a ni=a <ar>a canta 6 su 5ermano !uis toca el piano. q$ Ecuador es un pa>s Amaznico 6 latinoamericano. %odemos observar en los ejemplos anteriores que tanto p como q est;n compuestas de dos proposiciones simples. !os conectivos lgicos son elementos gramaticales que unen dos o m;s proposiciones simples; estos son$ CONECTI-OS L.ICOS OPERADOR L.ICO L.ICA SIM/LICA TERMINOLO.0A L.ICA 'egacin
no 2onjuncin 6 Dis6uncin o Dis6uncin e#clusiva v o en sentido e#clu6ente 2onjuncin negativa niL.ni Dis6uncin negativa M noLno 2ondicional
.iL., entonces Nicondicional
.i 6 slo si PROPOSICIONES COMPUESTAS Y CONECTI-OS L.ICOS !os operadores lgicos tambi9n permiten formar proposiciones compuestas (formadas por varias proposiciones". !os operadores o conectores b;sicos son$ CONJUNCIN 1 2 3UE SE LEE Y .e utiliza para conectar dos proposiciones que se deben cumplir para que se pueda obtener un resultado verdadero. .u s>mbolo que se lee G6I. .e lo conoce como la multiplicacin lgica 6 tiene estrec5a relacin con la interseccin de conjuntos.
Ejemplo. .ea el siguiente enunciado GEl coc5e enciende cuando tiene gasolina en el tanque 6 tiene corriente la bater>aI. .imbolizando tenemos$ p$ el conc5e enciende cuando tiene gasolina en el tanque q$ tiene corriente la bater>a. H(p" * H H(q" * H En consecuencia$ H(p q" * H 4tro ejemplo$ , ( K * O 6 , ( + * ?F p$ , ( K * O H(p" * J q$ , ( + * ?F H(q" * H %or consiguiente$ H (p q" * J De tal manera que la representacin del enunciado anterior usando simbolog>a lgica es como sigue$ p 6 q p pero q p q; que se lee$ p aunque q p incluso q p tambi9n q; etc. .u tabla de verdad es$ p q p q H H J J H J H J H J J J EAPEA$ Escribir - ejercicios de conjuncin 6 determine el valor de verdad de cada uno. LA DISYUNCION" LA DISYUNCIN INCLUSI-A" 1 2 3UE SE LEE" O. Es la unin de dos proposiciones simples con el conectivo lgico GoI. .imblicamente se lo representa as>$ p q que se lee p q o ambas. El enunciado es verdadero cuando alguna de las proposiciones es verdadera o ambas son verdaderas; .e conoce tambi9n como la suma lgica 6 se relaciona estrec5amente con la unin de conjuntos. Ejemplos$
.ea el siguiente enunciado G&na persona puede entrar al cine si compra su boleto u obtiene un paseI. Donde. p$ &na persona puede entrar al cine si se compra su boleto. q$ 4btiene su pase. .imblicamente tenemos$ p q H( p " * H H( q " * H En consecuencia$ H (p q" * H K ( , * B o , ( - * @ p$ K ( , * B H ( p" * J q$ , ( - * @ H (q " * H En consecuencia$ H (p q" * H .u tabla de verdad es$ p q p q H H J J H J H J H H H J EAPEA$ Escriba - ejemplos de dis6uncin inclusiva 6 determine su valor de verdad. DISYUNCIN E4CLUSI-A. 1 - 2 3UE SE LEE O EN SENTIDO E4CLUYENTE El enunciado es verdadera cuando p es verdadero 6 q es falso o viceversa. .imblicamente se lo representa por p q que se lee p o q pero no ambas. Ejemplos$ 2armen es 5ija de Qos9 de Hicente .imblicamente tenemos$ p$ 2armen es 5ija de Qos9 H(p" * H q$ 2armen es 5ija de Hicente H (q" * H En consecuencia$ H (p q" * J (p q" que se lee$ p q, pero no ambas. 25 * O o , ( B * + p$ 25 * O H (p" J q$ , ( B * + H @q" * J En consecuencia$ H (p q" * J TAREA$ Escribir - ejercicios de dis6uncin e#clusiva 6 determine el valor de verdad. .u tabla de verdad es$ p q ( p q " H H J J H J H J J H H J CONJUNCIN NE.ATI-A" El enunciado es verdadero cuando las proposiciones simples que la forman son falsas. !a conjuncin negativa de dos proposiciones p 6 q, se representa por Gp qI o por p q se lee$ ni p, ni q Ejemplos$ Gni , ( ) * -, ni ) ( K * OI .imblicamente tenemos$ p q p$ , ( ) * - H (p" * H q$ ) ( K * O H (q" * H 2onsecuentemente tenemos que$ H (p q" * J p$ , ( ) - H ( p" * J q$ ) ( K O H ( q" * J; 2onsecuentemente$ H ( p q" * J Entonces se deduce que$ (p q" ( p q " .u tabla de verdad es$ p q ( p q " H H J J H J H J J J J H EAPEA$ Escribir - ejercicios de conjunciones negativas 6 determinar el valor de verdad. DISYUNCIN NE.ATI-A" El enunciado es falso cuando las proposiciones simples que la forman son verdaderas. !a dis6uncin negativa de proporciones se representa por p M q; que se lee no no q. Ejemplo$ 'o eres pintor o no eres artista p M q p$ eres artista H (p" * H q$ eres pintor H ( q" * H En consecuencia$ H (p M q" * J p$ no eres artista H (p" * J q$ no eres pintor H (q " * J 2onsecuentemente$ H (p q" * J !uego$ p M q (p q " .u tabla de verdad es$ p q ( p M q " H H J J H J H J J H H H 'egacin ( " no .u funcin es negar la proposicin. Esto significa que s> alguna proposicin es verdadera 6 se le aplica el operador no se obtendr; su complemento o negacin (falso". Al negar una proposicin simple, se transforma en una proposicin compuesta Este operador se indica por medio de los siguientes s>mbolos$ (R, " Ejemplo. Ejemplos$ p$ %atricio est; estudiando en la sala H (p" * H p$ %atricio no esta estudiando en la sala. H ( p" * J q$ <ar>a es novia de v;n H (q" * J q$ 'o es cierto que <ar>a es novia de v;n H (q" * H .u tabla de verdad es$ p p H J J H A veces la negacin de una proposicin simple se obtiene mediante otra proposicin simple, as>$ p$ # es mortal p$ # es inmortal q$ 6 es par q$ 6 es impar !a negacin en matem;ticas se realiza as>$ p$ ) ( , * - H (p" * H p$ ) ( , - H (p" * J NE.ACIN DE PROPOSICIONES COMPUESTAS" .e puede tambi9n utilizar otras formas de negar como$ no es el caso que; no es cierto que, (frecuentemente se acostumbra a utilizar esta forma cuando se niegan proposiciones compuestas" 'o es el caso que$ , < ) 6 K ( ? * -; simblicamente tenemos$ ( p q " 'o es cierto que$ , < ) 6 K ( ? * -; simblicamente tenemos$ ( p q " p$ , < ) H (p" * J q$ K ( ? * - H (q" * H 2onsecuentemente$ H ( p q " * H EAPEA$ Escriba - ejemplos de negacin. PROPOSICIONES CONDICIONALES ( " que se lee GentoncesI
&na proposicin condicional, es aquella que est; formada por dos proposiciones simples (o compuesta" p 6 q. !a cual se indica de la siguiente manera$ que se lee Gsi p, entonces q; simblicamente se la representa por$ .e lee G.i p, entonces qI .i p, q p q p, slo si q p es necesario para q; etc. En este caso p$ es el antecedente 6 q$ es el consecuente. .e lee$ q puesto que p q, si p q cuando p q p q cada vez que p q dado que p q porque p q 6a que p; etc. .e caracterizan porque despu9s de cada uno de estos conectivos est; el antecedente o condicin. Ejemplo$ .imbolice 6 determine el valor de verdad$ &n candidato a presidente del Ecuador dice$ G.i salgo electo presidente de la Pep3blica del Ecuador, entonces recibir;n un -FS de aumento en su sueldo el pr#imo a=oI. &na declaracin como esta se conoce como condicional. .u tabla de verdad es la siguiente$ p$ .i salgo electo %residente de la Pep3blica del Ecuador H (p" * H q$ Pecibir;n un -FS de aumento en su sueldo el pr#imo a=o H (q" * H De tal manera que el enunciado se puede e#presar de la siguiente manera$ p q El H( p q " * H 4tro ejemplo$ -(+*?) @- - * K ; .imblicamente tenemos$ p q p$ - ( + * ?) H( p" * H q$ @ T - * K H( q " * J .u valor de verdad es$ H (p q " * J .u tabla de verdad es$ p q p q H H J J H J H J H J H H Esto significa que una proposicin condicional es falsa cuando p * H 6 q * J; en los dem;s casos ser; verdadera. -ARIANTES DE LA CONDICIONAL A toda proposicin condicional se le asocia tres proposiciones igualmente importantes, que son$ proposicin rec>proca, inversa 6 contra rec>proca. P#o(o!ici+n #ec5(#oca. Dada la proposicin condicional Gp q G, se llama proposicin rec>proca a la proposicin que se denota por$ Gq pI Ejemplo$ .i 6 es par, entonces, 6 es m3ltiplo de ) ; simblicamente$ p q. 2ondicional .i 6 es m3ltiplo de ), entonces, 6 es par ; simblicamente$ p q. .u rec>proca$ .i b es perpendicular a c, entonces c es perpendicular a 6. !a proposicin anterior simblicamente la denotamos por Gp qI; mientras que la proposicin rec>proca ser;$ Gq pI. c es perpendicular a 6, si 6 es perpendicular a c. P#o(o!ici+n in'e#!a. Dada la proposicin condicional Gp q G, se llama proposicin inversa a la proposicin que se denota por$ G p qI. Ejemplo$ .i Quan consigue la beca, entonces viajar; a Jrancia; simblicamente tenemos$ p q !a proposicin inversa ser;$ U p qI, ser;$ .i Quan no consigue la beca, entonces no viajar; a Jrancia.. .imblicamente tenemos$ U p q P#o(o!ici+n con&#a #ec5(#oca. Dada la proposicin condicional$ Gp qI, se denomina proposicin contra rec>proca a la que se denota por$ q p. Ejemplo$ .i vivo en 2ariamanga, vivo en la provincia de !oja; simblicamente$ p q !a proposicin contra rec>proca ser; $ 'o vivo en la provincia de !oja, si no vivo en 2ariamanga ; simblicamente$ G q pI En los siguientes ejercicios escribir la proposicin dada en la forma Gsi p entonces qI; determine su valor de verdad. A continuacin, escribir la rec>proca 6 la contrarec>proca 6 determinar la verdad o falsedad de cada una. a" !as lec5ugas son verduras b" .lo las rectas paralelas no se cortan c" .lo las rectas perpendiculares forman ;ngulos rectos. d" &n tri;ngulo equil;tero tiene tres lados iguales e" .i a es ma6or que b entonces b es ma6or que a f" !os tri;ngulos issceles son equil;teros g" &n 5ombre natural de Vapotillo es natural de !oja 5" .i # * K entonces # ) * ?O i" 'ing3n profesor de idiomas tiene mala ortograf>a j" Eoda persona ma6or de ?@ a=os puede votar. PROPOSICIN /ICONDICIONAL" 1 2, 3UE SE LEE 7SI Y SLO SI8 .ean p 6 q dos proposiciones simples entonces se puede indicar la proposicin bicondicional de la siguiente manera$ p q; que se lee Gp si 6 solo si qI
Esto significa que p es verdadera si 6 solo si q es tambi9n verdadera. 4 bien p es falsa si 6 solo si q tambi9n es falsa. Ejemplo; el enunciado siguiente es una proposicin bicondicional G!uis es buen estudiante, si 6 solo si; tiene promedio de diezI .imblicamente tenemos$ p$ !u>s es buen estudiante H (p" * H q$ Eiene promedio de diez. H (q" * H %or consiguiente$ H (p q" * H .u tabla de verdad es$ p q p q H H J J H J H J H J J H !a proposicin bicondicional solamente es verdadera si tanto p como q son falsas o bien ambas verdaderas. !a proposicin bicondicional, tambi9n se forma por la conjuncin de una proposicin condicional 6 su rec>proca, simblicamente tememos$ p q * p q q p Ejemplo$ Quan viajar; a la ciudad de 2uenca si 6 slo si obtiene un pr9stamo en el Nanco de !oja; .imblicamente tenemos$ q p Equivale a decir$ .i Quan viaja a la ciudad de 2uenca, entonces obtiene un pr9stamo en el Nanco de !oja, 6 si obtiene un pr9stamo en el Nanco de !oja viajar; a la ciudad de 2uenca. .imblicamente tenemos$ * p q q p %or lo tanto la primera 6 segunda proposicin son iguales$ p q * p q q p SI.NOS DE PUNTUACIN, A.RUPACIN Y ORDEN DE LOS OPERADORES O CONECTI-OS L.ICOS !os signos de agrupacin m;s conocidos tenemos$ el par9ntesis, corc5ete 6 llaves ( "; W X ; {} Estos signos reemplazan a los signos gramaticales$ punto (.", la coma (,", el punto 6 como (;", 6 los dos puntos ($". !os signos de agrupacin se usan en lgica cuando se trata de obtener esquemas lgicos m;s complejos con el fin de evitar la ambigYedad de las frmulas$ ?. .i las proposiciones tienen el mismo tipo de operador o conectivo lgico, se debe colocar los par9ntesis de izquierda a derec5a as>$ p q r * (p q" r p q r s * W(p q" r X s p q r s * W(p q" rX s ). .i no 5a6 signos de puntuacin ni par9ntesis se debe considerar el siguiente orden de menor a ma6or jerarqu>a de los operadores 6 de izquierda a derec5a, para ubicar los par9ntesis.
, , , , Ejemplos$ p q r * (p q" r p q r v s * (p q" (r v s " p q r s * (p q" (r s" ,. .i la proposicin compuesta est; escrita con par9ntesis, la ubicacin de 9stos nos indicar; cual es el operador predominante$ Ejemplo$ p q r * (p q" v r Es un esquema dis6untivo p q r v s * (p q" ( r v s " Es un esquema condicional p q r s * (p q" (r s " Es un esquema bicondicional. K. .i un esquema molecular no lleva los signos de agrupacin, se puede indicar cual es el operador predominante as>$ ?" 2onjuncin p r s (p r" s )" 2ondicional p q s -------------------------------- ," 2ondicional p q r -------------------------------- K" 2ondicional r p q -------------------------------- -" 2onjuncin r p q -------------------------------- O" Dis6uncin r q t -------------------------------- +" Dis6uncin q p s -------------------------------- @" Dis6uncin q p s -------------------------------- B" Dis6uncin q r s -------------------------------- ?F" 2ondicional q r s -------------------------------- ??" 'egacin p r -------------------------------- ?)" 2ondicional p r -------------------------------- ?," 'egacin t s -------------------------------- Dadas las siguientes proposiciones matem;ticas, incluir los par9ntesis. ?. Dis6uncin # F # A 6 6 * z # F ( # A 6 6 * z" ). condicional # * F # A 6 6 z -------------------------------- ,. condicional # * F # F 6 z -------------------------------- K. condicional # A 6 # 6 6 A z -------------------------------- -. conjuncin # * F # A F 6* F -------------------------------- O. condicional # * 6 6 * z #* z -------------------------------- +. conjuncin # * 6 6 * z 6 z -------------------------------- En la proposicin compuesta$ p ( q r " el conector principal es . En la proposicin compuesta$ p q el conector principal es En la proposicin compuesta$ p ( p r" el conector principal es En la proposicin compuesta$ W ( p q" (r s"X el conector principal es 2omo podemos darnos cuenta, que los signos de puntuacin permiten, entre otras cosas, identificar en una proposicin compuesta el CONECTOR DOMINANTE O CONECTOR PRINCIPAL O EL DE MAYOR JERARQUA Debemos recordar que un esquema molecular es la combinacin de las variables, operadores lgicos y los signos de agrupacin. C9LCULO PROPOSICIONAL -ALORES DE -ERDAD DE PROPOSICIONES COMPUESTAS Ca6 dos formas de establecer los valores de verdad$ :. Po# %edio de la! &a6la! de 'e#dad !as tablas de verdad permiten determinar el valor de verdad de una proposicin compuesta 6 depende de las proposiciones simples 6 de los operadores que contengan. Es posible que no se conozca un valor de verdad espec>fico para cada proposicin; es este caso es necesario elaborar una tabla de verdad que nos indique todas las diferentes combinaciones de valores de verdad que pueden presentarse. !as posibilidades de combinar valores de verdad dependen del n3mero de proposiciones dadas. %ara una proposicin (n * ?", tenemos ) ? * )
combinaciones %ara dos proposiciones (n * )", tenemos ) ) * K combinaciones %ara tres proposiciones (n * ,", tenemos ) , * @ combinaciones %ara n proposiciones tenemos ) n combinaciones Ejemplo$ dado el siguiente esquema molecular, construir su tabla de valores de verdad$ %asos para construir la tabla$ ( p q" (p r" ?. Determinamos sus valores de verdad ) , * @ combinaciones ). Determinamos las combinaciones$
p q r H H H H J J J J H H J J H H J J H J H J H J H J ,. Adjuntamos a 9ste cuadro el esquema molecular 6 colocamos debajo de cada una de la variables sus valores de verdad $ p q r ( p q " ( p r " H H H H J J J J H H J J H H J J H J H J H J H J J J J J H H H H J J J J H H J J (K" H H J J H H J J H J H J H H J J (O" H H H H J J J J J H J H H H H H (-" J H J H J H J H K. Aplicamos la conjuncin de$ ( p q " -. Aplicamos la condicional ( p r " O. Aplicamos la bicondicional ( p q " ( p r " El operador de ma6or jerarqu>a es el que determina los valores de verdad del esquema molecular. Ejercicios$ .abiendo que p es falsa, q es verdadera 6 r es falso, 5allar el valor de verdad de las siguientes proposiciones compuestas por medio de la tabla de verdad. a" (p q" (p q" b" p (q r" c" q (p q" d" ( p q" (p r" e" ( q " (q r" f" (r r" r ;. Po# %edio del dia)#a%a de <#6ol. Es un procedimiento corto 6 f;cil, se necesita conocer los valores de verdad de cada variable 6 aplicar las tablas de certeza lgica$ Ejemplos$ a. .abiendo que p es falsa, q es verdadera 6 r es verdadera. 2u;l es el valor de verdad de la proposicin q (p r". .olucin$ Eenemos$ q ( p r " H J H J J !uego la proposicin$ q (p r", es falsa. b. Dado el siguiente esquema molecular$ ( p q" (p r" .i$ GpI es falsa GqI es verdadera 6 GrI es verdadera. El conector dominante es el bicondicional encontrar el valor de verdad del esquema por medio del diagrama del ;rbol$ .olucin$ ( p q " ( p r"
H H J J H H
H !uego la proposicin$ ( p q" (p r" es verdadera Eje#cicio! ?. .i el valor de verdad de la proposicin$ q p, es falsa, 72u;l ser; el valor de verdad de$ q p. ). 2ompletar con H o J, cada una de las siguientes proposiciones, justificar la respuesta$ a. .e sabe que p q es verdadera. %or lo tanto el valor de verdad de p q es$ ----------------------- b. .e sabe que p q es falsa. %or lo tanto, el valor de verdad de p q es$ ----------------------- c. .e sabe que p q es falsa. %or lo tanto, el valor de vedad de p q es$ ----------------------- d. .e sabe que p es falsa 6 p q es verdadera. %or lo tanto, p q es$ ----------------------- e. .e sabe que q 6 r es verdadera. %or lo tanto q ( p r" es$ ------------------------ ,. Escribir simblicamente las proposiciones siguientes 6 encontrar el valor de verdad por el diagrama del ;rbol$ a. ) es n3mero par 6 )? es m3ltiplo de ,, - es la ra>z cuadrada de ?F b. .i el m.c.m. de ?) 6 ?- es OF 6 , es el cuadrado de B, entonces, estudio o juego ajedrez. CONTIN.ENTES, TAUTOLO.0AS Y CONTRADICCIONES !os esquemas moleculares se clasifican seg3n el resultado que se obtenga en el operador de ma6or jerarqu>a, pueden ser$ CONTIN.ENTES 2uando en su resultado 5a6 por lo menos una verdad 6 una falsedad Ejemplo$ dado el siguiente esquema$ ( p q" (p r" p q r ( p q " ( p r " H H H H J J J J H H J J H H J J H J H J H J H J J J J J H H H H J J J J H H J J H H J J H H J J H J H J H H J J H H H H J J J J J H J H H H H H J H J H J H J H El esquema es contingente TAUTOLO.0A Es una proposicin que siempre es verdadera, independientemente del valor lgico de las proposiciones simples que la componen.. .e puede decir tambi9n que un esquema es un tautolgico cuando los valores de verdad del operador principal son todos verdaderos. Eje%(lo .i p 6 q son proporciones simples distintas, demuestre mediante tablas de certeza que el siguiente esquema proposicional es una tautolog>a. (p q" (p q" p q ( p q " ( p q " H H J J H J H J H H J J H J J J H J H J H H H H H H J J H J J H H J H J Es un esquema tautolgico CONTRADICCIN Es cuando en el resultado todos los valores de verdad son falsos o &n esquema A es una contradiccin si Gno AI ( A", es una contradiccin cuando todos los valores del operador de ma6or jerarqu>a son falsos. ndeterminacin$ es la sentencia que ni es verdadera ni falsa. Ejemplo$ Dado el siguiente esquema molecular$ [( p q" r ] W r ( p q "], determinar si se trata de una contradiccin$ p q r [( p q " r ] W r ( p q "] H H H J J H H J J H J H H H J J J J ? H J J H H J J ) J H J H J H J , J J J H H H H K J J J H H J J ?F H J J H H J J - H H H J H H H ?? H J H J H J H O J J J H J J J ?- J H J H J H J + J J J H J J J ?K %odemos observar en el ejemplo anterior que no se trata de una contradiccin; pero si es un es un esquema contingente. O/SER-ACIN" A la tautolog>a se la simboliza con la letra E A la idea de tautolog>a se la relaciona con el conjunto universal A la contradiccin se la simboliza con la letra 2 A la contradiccin se la relaciona con el conjunto vac>o. !a negacin de una tautolog>a es una contradiccin !a negacin de una contradiccin es una tautolog>a. EJERCICIOS 2omprobar por medio de una tabla de verdad que las siguientes esquemas compuestas son tautolog>as, contingentes o contradictorios ?. p p ). (p q" ( q p" ,. [( p q " ( q r "X ( p r" K. Wp ( p q "] q -. ( p q" ( q p" INFERENCIA L.ICA IMPLICACIONES L.ICAS .e lo representa por el s>mbolo GI, no es un conectivo lgico, es un signo de relacin .e dice que un esquema A implica a otro esquema N, cuando al unirlos por la condicional nos da una tautolog>a. .imblicamente se lo representa as>$ A N. .i la proposicin compuesta A implica a la proposicin compuesta N, entonces N se deduce necesariamente de A, o tambi9n se dice que N se infiere lgicamente de A. Ejemplo$ Demostrar que el esquema A implica a N A$ p q N$ p q !uego unimos con la condicional 6 construimos la tabla$ p q p q p q p q p q H H J J H J H J H J J J H H H H H H H J 2omo el resultado es una tautolog>a, se 5a demostrado que A implica a N. 'ota$ la relacin de implicacin no es rec>proca. E3UI-ALENCIAS L.ICAS .e lo representa por GI pero no es un operador lgico. Decimos que dos proposiciones compuestas % 6 8 son equivalente, s> al unir las dos con la bicondicional nos da una tautolog>a, es decir que % 6 8 tienen los mismos valores de verdad en su operador principal. .imblicamente se escribe as>$ % 8 % 8 .e lee % es equivalente a 8 8 es equivalente a %.
.i no son equivalentes se los escribe as>$ % 8 .i % 6 8 son equivalentes, entonces 8 se deduce v;lidamente a partir %, 6 a la vez tambi9n % se deduce necesariamente a partir de 8. %ara demostrar que una proposicin compuesta es equivalente a otra, se lo puede 5acer por medio de las tablas de verdad o por medio de las le6es 6 reglas de inferencia que veremos a continuacin. A los esquemas moleculares compuestos se los representa con las letras ma63sculas A, N, 2,.. etc. con %, 8, P, etc. Eje%(lo!" Determinar si las proposiciones siguientes son equivalentes, por medio de la tabla de verdad$ A $ .i %edro aprob el curso preuniversitario, entonces ingres a la &'!. .imblicamente$ p q N$ 'o es el caso que$ %edro apruebe el curso preuniversitario 6 no ingrese a la &'!
.imblicamente $ ( p q " !uego demostramos que$ p q ( p q " .eguidamente para demostrar que estos dos esquemas son equivalentes, los unimos con la bicondicional as>$ ( p q " ( p q " 6 construimos una tabla de verdad$ p q ( p q " ( p q " H H J J H J H J H J H H H H H H H J H H J H J J Dado que el resultado de la tabla es una tautolog>a, las proposiciones A 6 N son equivalentes. O&#o Eje%(lo" %$ q p ; 8$ ( q p " p q ( q p " ( q p " H H J J H J H J J H H H ? H H H H J H H H , H J J J ) Aqu> observamos que la columna ? 6 , de los operadores principales de las proposiciones % 6 8 son iguales, por lo tanto son equivalentes. Eambi9n las proposiciones % 6 8 son equivalentes porque al unirlas con la bicondicional nos dio una tautolog>a. Ejercicios$ Demostrar que los siguientes esquemas moleculares son equivalentes a2 W p ( q r " X W ( p q " ( p r "] 62 [ p ( q r " X [ ( p q " ( p r "] c2 ( p ( q r" (p q " r d2 (p (q r" (p q" r e2 ( p q " ( p q " ,2 ( p q " ( p q " LEYES DEL 9L.E/RA PROPOSICIONAL En lgica, las tautolog>as son conocidas con el nombre de le6es o principios lgicos. A continuacin anotamos las principales le6es que vamos a utilizarlos en el futuro 6 que usted de familiarizarse$ L :" Le=e! de Ide%(o&encia (a#a = (a#a Si ( e! una (#o(o!ici+n !i%(le o co%(ue!&a, en&once!" a. 1( (2 ( 6. 1( (2 ( .eg3n estas le6es, las proporciones ( p p" o (p p" pueden sustituirse por p. L > ;" Le=e! de Iden&idad (a#a = (a#a Si ( e! una (#o(o!ici+n !i%(le o co%(ue!&a, en&once!" a2 ( 1 - 2 1 - 2? e! deci#, cuando ,o#%a%o! la di!=unci+n de una (#o(o#ci+n (, cu=o 'alo# de 'e#dad e! de!conocido, con o&#a cu=o 'alo# de 'e#dad de 1 - 2, el #e!ul&ado e! 1 - 2, =a @ue la di!=unci+n e! 1 - 2 cuando al %eno! una de la! (#o(o!icione! dada! e! 'e#dade#a. 62 ( 1 F 2 (? e! deci#, el 'alo# de 'e#dad de la di!=unci+n de una (#o(o!ici+n (, cu=o 'alo# de 'e#dad no conoce%o!, con o&#a cu=o 'alo# de 'e#dad e! 1 F 2, de(ende del 'alo# de (. c2 ( 1 - 2 (? en e!&e ca!o el an<li!i! e! !i%ila# a la (a#&e 62, &eniendo en cuen&a @ue a@u5 el conec&o# e! d2 ( 1 F 2 1 F 2? el an<li!i! e! !i%ila# al de la (a#&e a2, &eniendo en cuen&a a@u5 @ue el conec&o# e! L A" Le=e! Con%u&a&i'a! = (a#a Si ( = @ !on (#o(o!icione!, en&once!" a2 1 ( @ 2 1 @ ( 2 62 1( @ 2 1@ (2, e! deci#, do! (#o(o#cione! conec&ada! con (ueden e!c#i6i#!e en cual@uie# o#den. L B" Le=e! A!ocia&i'a! Si (, @, , !on (#o(o!icione! cuale!@uie#a, en&once!" )2 1 ( 1 @ #2 1( @ 2 # C2 1( 1@ #2 1( @2 # L> D" Le=e! Di!&#i6u&i'a!" Si (, @, # !on (#o(o!icione! cuale!@uie#a, en&once!. i2 E ( 1 @ # 2 F E 1 ( @ 2 1 ( # 2] j2 [ ( 1 @ # 2 F [ 1 ( @ 2 1 ( # 2] Estas le6es son similares a las que conocemos en el ;lgebra para la suma 6 la multiplicacin. Pecordemos que$ K( # ( 6 " * (K#" ( ( K6" L > G" Le= de la Do6le Ne)aci+n" Si ( e! una (#o(o!ici+n !i%(le cual@uie#a, en&once!" 1 ( 2 (
Al negar dos veces una proposicin obtenemos una afirmacin. L > H" Le= del Te#ce# E$cluido" Si ( e! una (#o(o!ici+n cuale!@uie#a, en&once!" 1 ( (2 1 - 2 Esta propiedad establece que independientemente del valor de verdad que tenga p, la proposicin$ (p p" siempre es verdadera. %or tanto, en un esquema lgico complejo podemos reemplazar (p p", (q q", (r r", (a b" (a b", etc., por (". L > I" Le= de Con&#adicci+n" Si ( e! una (#o(o!ici+n cuale!@uie#a, en&once!" 1 ( ( 2 1 F 2 Esquemas como (p p", (q q", (r r" pueden remplazarse por (J" L > J" Le=e! de De Mo#)an" Si (, @ !on (#o(o!icione! !i%(le! o co%(ue!&a!, en&once!" K2 1 ( @ 2 1 ( @ 2 l2 1 ( @ 2 1 ( @ 2 Estas le6es nos indican cmo negar una dis6uncin 6 una conjuncin. !a parte$ a" establece que para negar una conjuncin es necesario cambiar la conjuncin por dis6uncin ( por " 6 negar las proposiciones dadas. !a parte b" establece que para negar una dis6uncin debemos cambiar la dis6uncin por la conjuncin (la por " 6 negar las proposiciones dadas. Eje%(lo" 'egar la proposicin$ G+ es un n3mero primo 6 ,F es divisible por -I. .olucin$ 2ambiamos G6I por GoI 6 negamos las proposiciones simples que forman el enunciado, as>$ G+ no es un n3mero primo o ,F no es divisible por -I. L> :L" Le= de la condicional" U!ando &a6la! de 'e#dad (ode%o! 'e#i,ica# @ue" ( @ e@ui'ale a ( @ . La (#o(o!ici+n ( @ e! una a6#e'iaci+n de la (#o(o!ici+n ( @? e! deci#" 1 ( @ 2 1 ( @2 '4EA$ .on muc5os los esquemas lgicos que ofrecen alguna complejidad 6 pueden simplificarse utilizando esta definicin alterna del condicional. Eje%(lo :" Escribamos sin condicional las proposiciones siguientes$ a. ( p q" r b. p ( q " c. p q SOLUCIN" a. [ (p q " r X ( p q " r b. [ p ( q r " X p ( q r " c. ( p q " ( p " q p ( q " Eje%(lo ;" Escribamos una proposicin equivalente a$ G.i Z es par entonces # es divisible por )I SOLUCIN" &sando la definicin alterna de la implicacin tenemos$ G# no es par o # no es divisible por )I Eje%(lo A" 2omprobemos que ( p q" ( p q" SOLUCIN" Elaboramos la tabla de verdad$ p q p ( p q" ( p q" H H J J H J H J J J H H H H H J H J H H H H H H (?" (," ()" L :: Le= de la /icondicional p q ( p q " ( q p " L :; Conjunci+n Ne)a&i'a.
p q p q L:A Di!=unci+n E$clu!i'a. p q ( p q " ( p q " Ejercicios$ Demuestre las le6es mediante el uso de las tablas de verdad. APLICACIONES DE LAS LEYES DEL AL.E/RA PROPOSICIONAL !as le6es nos pueden servir para demostrar que un esquema es equivalente a otro, tambi9n podemos utilizar en la simplificacin de proposiciones etc. Eje%(lo :" %robemos que ( p q " [ p q "X SOLUCIN" ?. ( % 8 " [( p " q ] Definicin alterna de implicacin ). ( p" ( q " !e6 de De <organ para ,. p ( q" !e6 de la Doble 'egacin !uego$ ( p q " [ p (q"] Eje%(lo ;" %robemos que la proposicin ( p q" p es una tautolog>a. SOLUCIN" ?. [ ( p q " p X ( p q " p Definicin alterna de ). ( p q" p !e6 de De <organ para ,. ( p p " ( q" !e6 Asociativa de la K. ( H " ( q " !e6 del Eercer e#cluido -. ( H " !e6 d9ntica de la %or lo tanto, al ser [( p q " p] ( H ", concluimos que es una tautolog>a. Ejemplos$ ?. %robemos que la proposicin W ( p q" ( q"X ( p" es una tautolog>a. ). %robemos que la siguiente proposicin es una contradiccin$ W ( p q " ( p q " X W ( p q " ] ( p q " Elaborar la tabla de verdad de las siguientes proposiciones 6 decir en cada caso si se trata de una tautolog>a, una contradiccin o una determinacin. a" ( p q" ( p q " b" ( p q" ( p q" c" p ( q r " d" p ( p q" e" ( p q " ( p q" f" ( p q " p g" ( q r " ( q r" 5" ( r r " r !os siguientes ejercicios deben resolverse aplicando las !e6es del [lgebra proposicional 6 no por tablas de verdad.- %robar que las proposiciones siguientes son tautolog>as$ a) W q ( p q " X ( p " b) W ( p q " q X ( p " c) W ( p ( q r " X W ( p q " r X d) W p ( p q " X q e) p ( p q " .implificar las siguientes proposicin utilizando le6es$ a" ( p q " ( p q " b" p ( p q " c" m ( m n " d" W t ( m t " ] e" [ ( p q " ( p q " X INFERENCIA L.ICA" !a inferencia es el paso de un conjunto de premisas a la conclusin. .imblicamente se lo representa as>$ % ? % ) % , . . . % n \\\\\\ 2 Al unir cada una de las premisas por el operador conjuntivo 6 estas a la vez con la conclusin por medio del condicional, se obtiene la siguiente frmula inferencial$
% ? % ) % , LL % n 2 2omo las premisas 6 la conclusin est;n constituidas por proposiciones, podemos decir que la inferencia es una estructura de proposiciones, donde a partir de una o m;s proposiciones llamadas premisas se obtiene otra proposicin llamada conclusin$ Ejemplos$ ?. Hicente viajar; al norte del pa>s o se quedar; en la capital. %or lo tanto, .i Hicente viaja al norte del pa>s entonces no se quedar; en la capital. ). .i Quan gana el concurso de poes>a entonces obtendr; una beca. Quan gan el concurso de poes>a. !uego Quan obtendr; una beca. !a conclusin se puede distinguir de sus premisas porque generalmente van precedidas por alguno de los t9rminos como Gpor lo tantoI, GluegoI, en consecuenciaI, Gde a5> queI, etc. 6 las premisas podemos distinguirlas casi siempre por los signos de puntuacin como el punto seguido o por el sentido que tiene el enunciado. -ALIDEM Y -ERDAD !a validez se refiere a la forma de pensamiento, mientras que la verdad se obtiene del an;lisis del contenido del pensamiento. En todo razonamiento o inferencia 5a6 que distinguir su validez de su verdad.
El razonamiento o la inferencia son v;lidos cuando la conjuncin de premisas implica a la conclusin; 6, si esto no sucede, la inferencia es inv;lida. !a validez o invalidez de una inferencia depende 3nicamente de su forma lgica, 6 la forma lgica depende de la funcin que desempe=an las conectivas en la estructura del enunciado inferencial. .i una inferencia v;lida tiene su premisa o conjunto de premisas verdaderas, entonces se puede asegurar que la conclusin es necesariamente verdadera; pero si la premisas o conjunto de premisas no son verdaderas, as> la inferencia sea v;lida, lgicamente no se puede saber la verdad o falsedad de la conclusin. Entonces, el 3nico caso que se puede saber la verdad de la conclusin es cuando la inferencia es v;lida 6 tiene premisas verdaderas. MNTODOS PARA DETERMINAR LA -ALIDEM DE UNA INFERENCIA L.ICA Analizar la validez o invalidez de una inferencia consiste en decidir si la frmula de la inferencia es v;lida o no, para esto conocemos dos m9todos$ :. POR LA TA/LA DE -ALORES
.e sugiere seguir los siguientes pasos$ a. .imbolizar las premisas 6 la conclusin$ b. 4btener la formula inferencial c. Aplicar la tabla de valores. .i el resultado es tautolgico, la conjuncin de premisas implica a la conclusin, 6 por tanto la inferencia es v;lida, pero si el resultado no es tautolgico, la inferencia no es v;lida. Ejemplos$ ?. Hicente viajar; al norte del pa>s o se quedar; en la capital. %or lo tanto, .i Hicente viaja al norte del pa>s entonces no se quedar; en la capital. a. .imbolizamos$ p q \\\\\\\\\\\\\ p q b. 4btenemos la formula inferencial$ ( p q " ( p q " c. Elaboramos la tabla de valores$
p q ( p q " ( p q " H H J J H J H J H J J H H H H H H J H H El esquema no es tautolgico, luego la premisa no implica a la conclusin 6 la inferencia no es v;lida, ). .i Quan gana el concurso de poes>a entonces obtendr; una beca. Quan gan el concurso de poes>a. !uego Quan obtendr; una beca. a. .imbolizando tenemos$ p q p \\\\\\\\\\ q b. 4btenemos la formula inferencial$
W( p q " p X q
c. Elaboramos la tabla de valores$
p q W( p q " p X q H H J J H J H J H H H J J H H J H H J H El esquema es tautolgico, luego la conjuncin de premisas implica a la conclusin 6 la inferencia es v;lida. ;. POR EL MNTODO A/RE-IADO Es un procedimiento que evita estar constru6endo la tabla de valores de verdad para determinar la validez de la inferencia. Este m9todo consiste en suponer la conjuncin de premisas verdaderas 6 la conclusin falsa, 3nica posibilidad que invalidad la implicacin. % ? % ) % , LL % n 2 H H H H J Ejemplo$ ?. Hicente viajar; al norte del pa>s o se quedar; en la capital. %or lo tanto, .i Hicente viaja al norte del pa>s entonces no se quedar; en la capital. a. .imbolizamos$ p q \\\\\\\\\\\\\ p q b. 4btenemos la formula inferencial$ ( p q " ( p q " c. .uponemos valores, a las premisas verdaderas 6 la conclusin falsa ( p q " ( p q " H J 2omo cada una de las variables (p, q", cumplen una sola funcin veritativa, decidimos que la inferencia no es v;lida. Esto es, se 5a demostrado que la premisa es verdadera 6 la conclusin es falsa. ). .i Quan gana el concurso de poes>a entonces obtendr; una beca. Quan gan el concurso de poes>a. !uego Quan obtendr; una beca.
a. .imbolizando tenemos$ p q p \\\\\\\\\\ q b. 4btenemos la formula inferencial$ W(p q" pX q c. .uponemos valores, a las premisas verdaderas 6 la conclusin falsa$ W(p q" pX q
H H J d. 2omprobamos$ W( p q " p X q
J J H H J 2omo la variable p tiene dos valores$ verdadero 6 falso a la vez. %or lo tanto, 5a6 implicacin 6 la inferencia es v;lida. Re)la! de in,e#encia" %ara inferir un razonamiento a partir de otros se requiere de un proceso en el que se aplican propiedades o le6es fijadas de antemano 6 que no 5a6an sido obtenidas de casos particulares o para casos particulares. Estas le6es dan la certeza de que solo es posible obtener conclusiones ciertas de premisas ciertas. :. MODUS PONENDO PONENS 1 RE.LA DE SEPARACIN2" .u abreviatura es %%.
.imblicamente tenemos$ p q (?" p (?" \\\\\\\ q (?"
.u frmula inferencial es$ W ( p q " p ] q .i una proposicin condicional es verdadera 6 si verdadero el antecedente, entonces necesariamente ser; verdadero el consecuente. Ejemplo$ %remisa ?$ .i 9l est; en el partido de f3tbol, entonces 9l est; en el estadio. %remisa )$ El est; en el partido de f3tbol 2onclusin$ El est; en el estadio. .e simboliza de la siguiente manera el ejercicio anterior p q (?" p (?" \\\\\\\ q (?"
Eje#cicio!" A. 78u9 conclusin se puede sacar de cada uno de los siguientes conjuntos de premisas: Es decir 7qu9 proposicin lgica se sigue de las premisas: 1) .i usted est; en <adrid, entonces su reloj se=ala la misa 5ora que en Narcelona. &sted est; en <adrid. 2) .i no nos despedimos a5ora, entonces no cumpliremos nuestro plan. 'o nos despedimos a5ora. 3) .i vivo en la capital del Ecuador, entonces no vivo en ninguno de las )? provincias del Ecuador. Hivo en la capital del Ecuador. N. &tilizando <odus %onendo %onens sacar una conclusin de cada uno de los conjuntos de premisas siguientes. Escribir la conclusin en la l>nea (," ?" p q r )" p q ," ?" p r )" p ," ?" r )" r q p 2. %oner una 2 junto a cada ejemplo en el que la conclusin es correcta seg3n el <odus %oniendo %onens. %oner una junto a cada conclusin incorrecta. ?. %remisas$ s 6 s t$ conclusin$ t ). %remisas$ t v 6 t$ conclusin v ,. %remisas$ p q 6 q$ conclusin r K. %remisas$ s 6 r s -. %remisas$ r 6 r s ;. DO/LE NE.ACIN. !a regla de doble negacin es una regla simple que permite pasar de una premisa 3nica a la conclusin. .imblicamente tenemos$ p (?" p (?" \\\\\\\\ \\\\\\\ p (?" p (?"
Ejemplo$ 'o ocurre que <ar>a no es estudiante .imbolizando el ejemplo anterior tenemos$ p (?" \\\\\\\\ p (?" !a conclusin es que <ar>a es estudiante. Eje#cicio!" A. 8u9 conclusin podemos sacar de cada una de las proposiciones siguientes por la doble negacin$ ?. Eodos los mam>feros son animales de sangre caliente ). El granito es un tipo de mineral >gneo ,. 'o ocurre que un quinto no es el veinte por cierto N. Demostrar que las conclusiones son consecuencia de las premisas dadas$ ?. Demostrar$ t ). Demostrar$ b (?" s t (?" a ()" s ()" a b (," (," (K" (K" A. MODUS TOLLENDO TOLLENS. .u abreviatura es EE. .imblicamente tenemos$ (?" (?" p (?" .u frmula es$ W ( p q " q X p .i una proposicin condicional es verdadera 6 si es verdadera la negacin del consecuente, entonces necesariamente ser; verdadera la negacin del antecedente. Ejemplo$ %remisa ?$ .i tiene luz propia, entonces el astro es una estrella %remisa )$ El astro no es una estrella. 2onclusin$ %or tanto no tiene luz propia .e simboliza de la siguiente manera el ejercicio anterior % % p EE ?, ) Ejercicios$ A. 78u9 conclusin se puede deducir de cada uno de los conjuntos de premisas siguientes utilizando EE: Escribir las conclusiones es castellano. ?" .i la luz fuera simplemente un movimiento ondulatorio continuo, entonces la luz m;s brillante dar; lugar siempre a una emisin de electrones con ma6or energ>a que los originados por luz m;s tenue. !a luz m;s brillante no siempre emite electrones con ma6or energ>a que los originados. )" .i un ;ngulo de un tri;ngulo es ma6or de BF grados, entonces la suma de los otros dos ;ngulos es menor de BF grados. !a sima de los otros dos ;ngulos no es menor de BF grados. p q q p q q ," .i el arriendo se mantiene v;lido, entonces el due=o es responsable de las reparaciones. El due=o no es responsable de las reptaciones. N. Deducir una conclusin de cada uno de los conjuntos de premisas siguientes, aplicando la regla del <odus Eollendo Eollens. ?. (?" q r ). (?" q r ,. (?" ( p q" r ()" r ()" r ()" r (," (," (," 2. Demostrar que las conclusiones son consecuencia de las premisas dadas. ndicar la demostracin completa. Demostrar$ c Demostrar$ r s Demostrar$ (?" b (?" p q (?" f ()" a b ()" q ()" e f (," a c (," p r s B. MODUS TOLLENDO PONENS. .u abreviatura es$ <E%
.imblicamente tenemos$ (?" (?" q (?"
(?" (?" p (?" .us frmulas son$ [ (p q " p ] q [ (p q " q ] p .i una proposicin dis6untiva es verdadera 6 si es verdadera la negacin de una de sus componentes, entonces necesariamente ser; verdadera la otra componente de la dis6uncin. Ejemplo$ .upngase que se tiene como premisa$ 4 esta sustancia contiene 5idrgeno o contiene o#>geno !a segunda premisa dice$ Esta sustancia no contiene o#>geno %or medio del <odus Eollendo %onens se puede concluir$ Esta sustancia contiene o#>geno %ara aclarar la forma de esta inferencia, se puede simbolizar el ejemplo$ p$ Esta sustancia contiene 5idrgeno p q p p q q q$ Esta sustancia contiene o#>geno !a demostracin de la conclusin es$
q E% ?, ) Eje#cicio!" A. 78u9 conclusin, en forma de proposicin escrita en castellano, se puede deducir de cada uno de los conjuntos de premisas siguientes utilizando la regla E%: ?. Este 5ombre o es un abogado o es un pol>tico. 'o es un abogado. 2. Quan o 5a terminado el libro o no 5a ido a devolverlo 5o6 a la biblioteca. 3. Quan no 5a terminado el libro. N. Deducir una conclusin de cada uno de los siguientes conjuntos de premisas usando el <odus Eollendo %onens. (?" q r % (?" t ( p q" % (?" (s t" r % ()" r % ()" t % ()" (s t" % 2. Demostrar que las conclusiones son consecuencia de las premisas dadas en los Ejercicios que siguen. Dar una demostracin completa. ?" Demostrar$ p )" Demostrar a b ," Demostrar$ p (?" p q % (?" a b % (?" t p q % ()" t % ()" a e % ()" t % (," q t % (," e % (," q % D. TAUTOLO.0A SIMPLIFICATI-A .imblicamente tenemos$ p q p p q q .u frmula es$ (p q" p (p q" q .i una conjuncin de proposiciones es verdadera entonces necesariamente ser; verdadera cada una de sus componentes. Ejemplo$ Apruebo los talleres 6 apruebo el mdulo ) p q % p % %remisa ?$ apruebo los talleres %remisa )$ apruebo el mdulo ) 2onclusin$ ?" apruebo los talleres 2onclusin$ )" apruebo el mdulo ) G. TAUTOLO.0A ADJUNCIN .imblicamente tenemos$ p q p q .u frmula es$ [ ( p " ( q " ] ( p q" .i dos proporciones cualesquiera son verdaderas, entonces necesariamente ser; verdadera la conjuncin que con dic5as proposiciones se forme. Ejemplo$ .al> bien en el e#amen 6 tengo ?F p$ sal> bien en el e#amen q$ tengo ?F ( p q " $ sal> bien en el e#amen 6 tengo ?F H. TAUTOLO.0A ADICIN
.imblicamente tenemos$ p p q
.u frmula es$ p [ p qX .i una proposicin cualesquiera es verdadera, entonces necesariamente ser; verdadera la dis6uncin que se forme con dic5a proposicin 6 cualquier otra. Ejemplo$ Estudio con responsabilidad o pierdo el mdulo p$ estudio con responsabilidad q$ pierdo el mdulo p q$ estudio con responsabilidad o pierdo el mdulo. I. SILO.ISMO OIPOTNTICO 1LEY TRANSITI-A". .u abreviatura es C. .imblicamente tenemos$ p q q r p r .u frmula es$ [( p q " ( r s " ( p r "] (q s" .i una proposicin condicional es verdadera 6 si es verdadera otra condicional que tenga como antecedente el consecuente de la primera, entonces necesariamente ser; verdadera otra condicional que tenga por antecedente el de la primea 6 por consecuente el consecuente de la segunda. Ejemplo$ (?" .i 5ace calor, entonces Quana va a nadar ()" .i Quana va a nadar, entonces arregla la casa despu9s de comer. .e puede concluir$ (," .i 5ace calor, entonces arregla la casa despu9s de comer. Ejercicios$ En los ejemplos siguientes de la le6 del silogismo 5ipot9tico obs9rvese que algunos de los antecedentes 6 consecuentes son proposiciones moleculares. !a forma, sin embargo es la misma. a. (?" p q % ()" q r % (," p r C. ?,)
b. (?" (p q" r % ()" r (q t " % (," (p q" ( q t " C. ?,) A. 78u9 conclusiones se puede sacar, si se puede sacar alguna, por la le6 de silogismo 5ipot9tico de los conjuntos de proposiciones siguientes: ?. .i el agua se 5iela, entonces sus mol9culas forman cristales. .i las mol9culas forman cristales, entonces el agua aumenta de volumen. ). .i un 5az fino de fotones penetran en un gas en una c;mara de niebla, entonces los fotones e#pulsan electrones de lo s ;tomos del gas. .i los fotones e#pulsan electrones de ;tomos de gas, entonces la energ>a de la luz se convierte en energ>a cin9tica de los electrones.
N. Eraducir los razonamientos del ejercicio A en s>mbolos lgicos 6 demostrar que su conclusin es consecuencia lgica de las premisas. 2. &tilizar la le6 del silogismo 5ipot9tico 6 obtener una conclusin del siguiente conjunto de premisas. ?. (?" q p ). (?" s t r q ()" p r ()" r q p D. ndicar una deduccin formal de las siguientes conclusiones a partir de las premisas dadas. ?. Demostrar$ t ). Demostrar$ q (?" ( q r" p (?" r s ()" r t ()" s p q (," ( q r " t (," r t (K" t J. SILO.ISMO DISYUNTI-O 1LEY DEL DILEMA2. .u abreviatura es D. .imblicamente tenemos$ p q r s p r q s .u frmula es$ [(p q" (r s " (p q"] (q s" .i dos proposiciones condicionales son verdaderas 6 si es verdadera la dis6uncin que se forme con los antecedentes de dic5as condicionales, entonces necesariamente ser; verdadera la dis6uncin que se forme con los consecuentes. Ejemplo$ 4 llueve o el campo est; seco .i llueve, entonces jugaremos dentro. .i el campo est; seco, entonces jugaremos al baloncesto 78u9 conclusin se puede sacar de estas proposiciones: !a conclusin es que o jugaremos dentro o jugaremos el baloncesto. !a conclusin es otra dis6uncin. .imbolizamos$ r$ llueve d$ el campo est; seco p$ jugaremos dentro b$ jugaremos al baloncesto Esto se simboliza as>$ (?" r d % ()" r p % (," d b % (K" p b D .?, ), 6 , Ejercicios$ A. 78u9 conclusin se puede sacar de cada uno de los siguientes conjuntos de premisas, por la le6 del silogismo dis6untivo: Dar como conclusin una proposicin en lenguaje corriente. K" 4 Quan tiene ma6or>a o %edro tiene ma6or>a. .i Quan tiene ma6or>a. %edro ser; el tesorero. .i %edro tiene ma6or>a, entonces Quan ser; el tesorero. -" 4 la planta es un aplanta verde o es una planta no verde. .i es una planta verde, entonces fabrica su propio elemento. .i es una planta no verde, entonces depende de las materias de otras plantas para su alimento. N. .imbolizar los razonamientos de los ejemplos anteriores 6 demostrar que las conclusiones son consecuencia lgica de las premisas. 2. &tilizar la le6 del silogismo dis6untivo (D." para obtener una conclusin de cada uno de los siguientes conjuntos de premisas. ?. (?" p q ). (?" t s ()" q r ()" s p (," p s (," t q D. Dar una deduccin completamente formal de las siguientes conclusiones a partir de las premisas dadas. ?. Demostrar$ r (p q " ). Demostrar$ q s (?" p q (?" s r ()" q r ()" r t (," p t (," q t (K" t :L. CONMUTATI-A .imblicamente tenemos$
p q p q PPPPPPP PPPPPP q p q p .u frmula es$ (p q " (q p" (p q" ( q p" Ejemplo$ %edro trabaja 6 estudia p q %or lo tanto$ %edro estudia 6 trabaja q p ::. SIMPLIFICACION DISYUNTI-A" .imblicamente tenemos$ p p PPPPPPPP p
.u frmula es$ (p p" p Ejemplo$ %edro trabaja o %edro trabaja p p .e conclu6e$ que %edro trabaja. :;. LAS LEYES DE DE MOR.AN" .imblicamente tenemos$
a" (p q" b" p q PPPPPPPP PPPPPPPP p q (p q" Ejemplos$ a" 'o ocurre a la vez que$ 5ace calor o que 5ace fr>o (p q" .e puede tambi9n e#presar$ 'o 5ace calor 6 no 5ace fr>o p q b" 'o llueve 6 no 5ace sol p q .e puede tambi9n e#presar$ 'o ocurre que$ llueve o 5aga sol (p q" Ejercicios$ A. 78ue se puede concluir de las premisas siguientes utilizando las le6es de De <organ: ?. 4 los ar;cnidos no son insectos o no tienen oc5o patas ). 'o ocurre que o el aire es un buen conductor del calor o el agua es un buen conductor del calor. ,. 'o ocurre que los murci9lagos son p;jaros o que las focas son peces N. Aplicar las le6es de De <organ para deducir conclusiones$ ?. ( p q" ). r t ,. ( r s" K. g 5 2. ndicar una demostracin formal completa para cada uno de los razonamientos simbolizados siguientes$
?. Demostrar$ s ). Demostrar$ r q (?" (p q" (?" s ( p t" ()" q t ()" t (q r" (," p t (," s (K" s t
D. Dar una demostracin formal completa para cada uno de los razonamientos siguientes$ ?. Demostrar$ # * ? (?" (z < ," ( # > 6" 6 * ) ()" # < 6 # * ? (," # > z # > 6 (K" # > z # < 6 :A. RE.LA DE LA /ICONDICIONAL. .u abreviatura es !N .imblicamente tenemos$ p q p q \\\\\\\\\\\\\\\\\\\ q p (p q " (q p" \\\\\\\\\\\\ p q Eje#cicio!" A. .imbolizar las siguientes proposiciones 6 dar una deduccin formal$
?. Esta le6 ser; aprobada en esta sesin si 6 solo si es apo6ada por la ma6or>a. 4 es apo6ada por la ma6or>a o el gobernador se opone a ella. .i el gobernador se opone a ella, entonces ser; pospuesta en las deliberaciones del comit9. %or tanto o esta le6 ser; aprobada en esta sesin o ser; pospuesta en la deliberacin del comit9. ). , # - * ?) - (- (- * ?) K # K ?, - (- (- * ?) K # K * ?, %or lo tanto$ , # - ?) N. Dar una demostracin formal completa de cada uno de los razonamientos siguientes$ ?. Demostrar$ ) # - * - ( - ) # K * K ( K (?" ) # K * K ( K ) # - * - ( - ). Demostrar$ # * K ,# ( ) * ?K (?" ,# ( ) * ?K ,# * ?) ()" ,# * ?) # * K :B. CONJUNCIN NE.ATI-A .imblicamente$ p q PPPPPPPPP p q .u frmula es$ 1p q" ( p q" Ejemplo$ 'i !uis estudia ni Quan trabaja p q .e conclu6e que$ !uis no estudia 6 Quan no trabaja. p q :D. DISYUNCIN E4CLUSI-A
.imblicamente$
p v q \\\\\\\\\\\\\ (p q " ( p q" Ejemplo$ n9s es 5ija de %edro o 5ija de !uis p v q
.e conclu6e$ n9s es 5ija de %edro o n9s es 5ija de !uis 6 no es cierto que$ n9s es 5ija de %edro 6 de !uis PROCESOS DE DEDUCCIN De un conjunto de premisas dadas, que se puede deducir$ ?. Determinar el valor de verdad de las premisas. .i alguna de ellas es falsa no es posible inferir nada de ellas. Ejemplo$ que se puede deducir de$
) ( , * - , * , K ( ) * + B ( ) * ?? K ( ) * + ) * )
Determinamos el valor de verdad ) ( , * - , * , H K ( ) * + B ( ) * ??H K ( ) * + ) * ) J
De este conjunto de premisas no se puede concluir nada. ). Determinar si las premisas son inconsistentes o no.
a. .i las premisas no son consistentes (inconsistentes" no se puede inferir nada de ellas. b. .i las premisas son consistentes es posible deducir una conclusin utilizando las reglas de inferencia. Ejemplo$ que se deduce de$ .i , ( ) * -, O T K * ) .i O T K * ), O * , ( , ?. Determinamos el valor de verdad de las premisas$ , ( ) * - O T K * ) H O T K * ) O * , ( , H ). Determinamos la conclusin$
, ( ) * - O * , ( , Ejemplo$ 2onsiderando que las premisas son verdaderas, que se puede deducir de$ p q r p q r p q % ? r p % ) q r % , r 2 ? de % ) (Pegla de la simplificacin" q 2 ) de % , 6 2 ? (< E.E" p 2 , de % ? 6 2 ) (<. E.E" p 2 K de % ) (Pegla de la simplificacin" p p 2 - de 2 , 6 2 K (Pegla de adjuncin" !as premisas son inconsistentes, en consecuencia nada se puede deducir de ellas Ejercicios$ 8ue se puede deducir de$ ?. K ( , * + ) * ) ,. q v r , ( ) * O K ( , * + q p , ( ) O ) ) r ( s t" ). p q K. p q p q [ s (r p" ] s q MNTODOS DE DEMOSTRACIN !os m9todos de demostracin pueden ser$ directo, condicional e indirecto. !a demostracin de una proposicin tiene por objeto establecer que es verdad, infiri9ndola de verdades conocidas o 6a demostradas. MNTODO DIRECTO" 2onsiste en inferir una conclusin, partiendo 3nicamente de un conjunto de premisas. Ejemplo$ Demostrar$ s; de p q p q % ? p s p s % )
q s q s % ,
s 2 ? ; de % ? , % ) 6 % , (Pegla del .ilogismo Dis6." s 2; de 2 ? (.implificacin Dis6untiva" RE.LA DE DEMOSTRACIN CONDICIONAL" 1R.D.C2 .i de un conjunto de premisas 6 de p se deduce q, entonces de tal conjunto de premisas se deduce p q. !a premisa p, puede ser introducida en cualquier momento del proceso deductivo . Ejemplo$ Demuestre$ q s; de$ p q p s 'o e#iste regla alguna que nos permita inferir la conclusin pedida, sin embargo por la regla de la demostracin condicional si podemos concluir as>$ p q % ? p s % ) q % p 2 ?; % ? 6 % (<odus E.%." s 2 ) ; % ) 6 2 ? (<odus %. %" q s 2, (P.D.2" DEMOSTRACIN INDIRECTA" Esta demostracin se la denomina tambi9n demostracin por contradiccin o reduccin al absurdo. .eg3n el <odus Eollens, se puede deducir la negacin del antecedente de una condicional cuando se sabe que el consecuente es falso. .i el consecuente es una contradiccin se sabe que es lgicamente falso. As> de p ( q q", se puede deducir p. (!e6 del Absurdo" Ejemplo$ Demuestre$ s, de$ q s % ? p q % ) p r % , s r % K r s 2 ? ; % ), % ? 6 % , (.ilogismo dis6untivo" s % r 2 ) ; 2 ? 6 % (Doble 'eg. ] <.E.%" r 2 , ; % K , 6 % (<.%.%" r r 2 K ; de 2 ) 6 2 , (Pegla de Adjuncin" s ( r r" 2 - ; de % 6 2 K (Pegla de contradiccin." s 2; de 2 - !e6 del absurdo RE.LA DE LA DEMOSTRACIN CONTRA RECIPROCA 1R. C. R2 .i de un conjunto de premisas, se infiere q p, de dic5o conjunto se infiere tambi9n$ p q. (que es la contra rec>proca" Ejemplo$ Demostrar$ q (p r" de$ p q r q Demostraremos$ (p r " q de$ p q % ? r q % ) p r % p 2 ? , de % (.implificativa" r 2 ) , de % (.implificativa" q 2 , , de 2 ? 6 % ? (<.%.%" (p r" q 2 K , de % 6 2 , (P.D. 2" q (p " 2. de 2 K (P. 2. P" Earea$ Pesolver ejercicios, aplicando los m9todos 6 reglas antes indicadas. CIRCUITOS L.ICOS El valor de verdad de una proposicin puede asociarse al pasaje de corriente en un circuito el9ctrico controlado por un interruptor. En efecto, para representar un interruptor mediante una proposicin p, se tiene$ p p 2ircuito cerrado 2ircuito abierto Es decir, el interruptor est; cerrado (pasa corriente" si H(p" * H, 6 est; abierto (no pasa corriente" si H(p" * J. De aqu> establecemos una identificacin entre las proposiciones 6 los interruptores de un circuito el9ctrico. !as operaciones proposicionales (conjuncin, dis6uncin, etc." pueden representarse mediante circuitos con tantos interruptores como proposiciones componentes. 2onsiderando las clases de instalaciones$ en serie 6 en paralelo, es factible dise=ar esquemas de circuitos el9ctricos para representar a proposiciones compuestas o viceversa. CIRCUITOS EN SERIE" 2onsideremos dos interruptores p 6 q conectados en serie$ p q .e observa que este circuito admite poso de corriente cuando los dos (interruptores p 6 q est;n cerrados, en cualquier otro caso no 5a6 paso de corriente. De aqu> tenemos el comportamiento de la conjuncin de las proposiciones p q. %or tanto$ a" p q$ representa un circuito cerrado en serie, que deja posar corriente solo si los interruptores p 6 q est;n cerrados a la vez. Diremos que solo en este estado p q es verdadera. b" ^ p ^ q$ representa un circuito abierto en serie que deja pasar corriente. Diremos entonces que en este estado ^ p ^ q es falsa. p q p q p q p q Ci#cui&o! en (a#alelo" 2onsideremos a5ora dos interruptores instalados en paralelo$
p q .e observa en el circuito que 5a6 paso de corriente cuando uno de los interruptores o ambos est;n cerrados; no 5a6 paso de corriente cuando los dos interruptores est;n abiertos. Eenemos, entonces, el comportamiento de la dis6uncin de las proposiciones p 6 q. !a falsedad de p q, es decir, el 5ec5o de que no pase corriente, solo se verifica en el caso de la falsedad simult;nea de p q; %or tanto$ a" p q$ representa un circuito cerrado en paralelo que deja pasar corriente si por lo menos uno de los interruptores el9ctricos est; cerrado. Diremos que solo en este estado p q es verdadero b" ^ p ^ q$ representa un circuito abierto en paralelo que no deja pasar corriente, polo que en este estado ^ p ^ q es falsa. p ^ p q ^ q p q p q
!as representaciones anteriores nos permiten dise=ar o simbolizar redes de circuitos el9ctricos conectados en serie 6 en paralelo, o tambi9n simplificar circuitos mu6 complicados 5aciendo uso de las 6a conocidas equivalencias notables. Ejemplo$ Disertar circuitos lgicos de las siguientes proposiciones$ a" (p q" r b" p q c" p q .olucin$ a" Hemos que (p q" r es la conjuncin de p q 6 r, que deben estar conectados en serie$ p q r %ero, p q se representa por$ (?" p q
!uego sustitu6endo en (?", tendremos la representacin pedida, esto es$ p r q
b" .eg3n la condicional$ p q ^ p q !uego, la representacin de p q, es la dis6uncin (cone#in en paralelo" de ^ p q. Esto es$ p
q c" De la equivalencia$ p q (p q" (q p" (^ p q " (^ q p" Entonces, la representacin de p q es conjuncin (cone#in en serie" de (^ p v q " 6 (^ q p", esto es$
^ p q ^ q p
%ero ^p q 6 ^ q p, se representan, respectivamente, por$ ()" ^ p ^ q
q p .ustitu6endo en ()" se tiene$ (," p q q p
%ero, seg3n la equivalencia$ p q ( p q " (^ p ^ q" Pepresentando la dis6uncin de p q 6 ^ p ^ q, tendremos$ pq p q ^ p q ^ p ^q !os circuitos (," 6 (K" son representaciones de p q; se dice entonces que (," 6 (K" son circuitos equivalentes. Ejercicios$ ?. Describir simblicamente el circuito$ r p ^ q
q ^ r ). . Determinar el circuito equivalente al circuito$ ^ p ^ q p p q q q ^ p
p q q q p ,. 2onstruir el circuito lgico equivalente del esquema$ ( ) [ ] ( ) [ ] p q p p q p ^ p q K. 7!a proposicin p _ q (Dis6uncin e#clusiva" a cu;les de los siguientes circuitos es equivalente: p q p p p q (?" ()" q p q
q p p q (," (K" p q q p -. 8u9 representa el circuito equivalente a$
p ^ p
q ^ q p q ^ p ^ q O. Callar la menor e#presin que representa el circuito$ p r ^ q q q ^ r ^ r q
r ^ q
+. .ea A el circuito lgico m;s simple correspondiente a la proposicin$ ( ) ( ) [ ] ( ) ( ) [ ] s p s p r p q p 6 N el circuito lgico m;s simple equivalente a$ q ^ p ^ q ^ p q q 2onstruir el circuito lgico correspondiente a$ A N
p r p q q q t p q r r q p p B A @. Callar la proposicin # de manera que sea una tautolog>a el circuito simplificado siguiente$ ^ p ^ q p p q q p q
p q p q r ^ p ^ r B. 2onstruir el circuito lgico m;s simple equivalente a$ p q p p
?F. 7.i el costo de cada llave de nstalacin del circuito E de la figura adjunta es `?F, cu;nto se a5orrar>a si se reemplaza 9ste por un circuito lgico m;s simple equivalente: Continuar. r s t r s t p q