|. [Ligica Proposicional nade, que, en logica propasicional, los enunciados san Hemos: menci proposiciones, Definicién: Se entiende por proposicién una scnten Son proposiciones ldgieus, por ejemplu: = 8 es un numero par = 2s Un ndiero prints = Llovid ayer + Maria estudia ~ Juan juicga al futbol No son proposiciones ldgicas, por ejemplo: ~ {Qué hermaso! - ¢Lluewe? = (Qué hora es? ¢Vendra? + Envie el trabajo ripidamente. # Es importante tenet presente que mo compete a da légica establecer et valor de verdad de las proposiciones, de eso se ocupan las ciencias paniculares, Por ejempla: “La vacu es un mamifero” es una proposicién verdadera poryur lu zoologis asi lo afirma. °2.¥8 un niimero impar” es una proposicién falsa porque la matemilica asi lo afirna, En légica se consideran las proposiciones simples con su valor ya asignado. * Nos refériremos @ las proposicioncs mediante nombres simbélicos (p.4yr,5). Por cjemplo ,, si p denota la proposicién “todas los estudiantes de Ja clase aprobaron e! examen final”, podremos decir que p es verdadera 0 p es falsa dependiendo de les resultados de! examen final, Ya mencionames que uns proposicion tiene dos posibilidades, ser verdadera 0 falsa y a éstas se les conoce como les dos valores posibles de verdad que puede tomar una proposicidn. Se acastumbra usur una V pure designar el valor verdadero y F, para e! faiso. En consecuencia, en lugar de decir que la proposicion “todos los estudiantes de Ia clase aproburon cl ‘examen final” es verdudera, podemas simplemente decir quer el valor de p esl. 2Definicién: Dos proposiciones p y g aon equivalenves si cuando p es etdadera tansidn 4 64 verdedens, cuando p08 fala tarnbiga ¢ es false, y vioeversa, Las proposiciones “6 divide a 12" y “12 es divigible por 6" son equivalentes Lats empresiones | x es un numero primu” y “x no ¢s divisible por 2" no son equivalentes, debido a que six no es divisible por 2 no sigy necesariamente que x sea un ndmero primo. * EJERCICIOS Indicar cudles de las siguientes oraciones son proposiciones, y de aquellas que lo son, asignar su valor de verdad. a. 10.¢8 un niimero impar. b. Argentina ¢s un pais umericuno, ©. {Qué hora es? 475-10 ¢. Muria estudia matematica | Por favor, cierte la puerta. (Que ulegria! 1. Agregue a lu prepuraeion dos euchuradus de aztiew, ipa tu valu. cuadrada de 5. b. Proposieién Verdadera ¢. Na 6s proposicion 4. Proposicién Falsa ‘¢, V-F sepin sca verdadero que Maria estudiv mutemtica, ; 8, h, i, NO son proposiciones * A partir de proposiciones simples es posible gencrar otras simples o ‘compuestas; ¢3 decir, se puede operar con proposiciones, y segiin scun tales ‘operaciones, se emplean cicrios simbolos lamudos conectivos ldgicus.jones sinmples en brs siguivites enuan wir prupust a) Maria es alta y delgad. In fa oraciint Maria es alta y delgacla, distinguimos dos propasiciones simples vinculadas medium la operacion eunjuneion, nai de ellas es: p. Maria es alta ylaowra 1g, Maria es delgad Marites aha y delyady es una forma de decir: Maria es alla y Maria es delpada, b) La comida, el servicio y ti atencida abel hovel, 80m buenas, Ddistinguimos en esta arucidin las proposieione: Pp: Lat caida del feted es buena 4H servicio del hotel es bueno T La mencién del hotel es buena |. comida, el servicio y la aleneidn del hotel #om buenos es una forma de “ decir yue la comida del hotel es buena, et servicio del howl ex bueno y ta ut del hotel es. bues ) Reina la pas o reina ta disc Distinguimys en esta oracio p: Reina la pte. 4): feina ta discordia, in este casu La operaciOn usuciada es la disyunciin excluyente, 4) Si Juan est’ cnfermo, entonces se queda en cam Las propusiviones simples sons, P Juan wsid eniferna . 41 Juan $e queda en cama. y fa operaciebn usuciuds es ta impli 50 sees EHIQUCES sue ny condicional; * Kjercici Distinguir lus proposiciones simples, uel siguiente parrato, Ga aiatialy de ciertas disciplinus escolares se tansmiten « los NIBESUOSTY Was_eseuelBs se llevan de hombres y mujeres de mentalidad ‘esirecha, vanidosos, cuyo horizonic esta limitndo por el pizarrén y ¢! libra * de texto”, *OPERACIONES PROPOSICIONALES Derininemus les operaciones entre proposiciones en el sigulene saninde- Duds una o dos proposiciones, cuyos vulores de verdad se conacen, se uaa de caracterizar lu propusicidn resullante u raves de su valor de verdead Se supone que en la elece sentido, De todas formas h de estos vulures se tiene en cuenta el buen que eonsiderurlas come delinicior DB". "p" simbotizan ty prapasich nplas: a) si p es “Pp sera: sro primy” b “S noes un nimezo put” es la negacién de: "5 es un nimero par" ‘Lanegacian no presenta ninguna dificultad en el lenguaje corricnie, ‘Tabla de Verdad La negacion cs una operueidn unitaria, pues a purtir Ue una proposicidn se “oblicne otra, que es su negacion, La relacién cstablecida por ta eonjuncidn “y™ e lenguaje comriente, no da lugar a ningu clara. te dos propusicivnes en cl ambiguedid; es perfectameme Por cjemplo, si consideramos las proposiciones: pid es un mimero™; 2 “ta Tierra es wn planeta”: al decir “4 ¥ 4a Tierra es ua planesa", sabemos que "y” agrega a decimas lus dos cosas, . un nimero Uccir, La operacién propasicional establecida por “y" se simboliza eon “a “P aq" quiere decir py q y recibe el nombre de conjuncidn.Definicién: La conjuncién de dos proposicioncs 3 una proposicion compuesta que resulta verdadera cuanda lo son las. dos’ proposicianes simples. que la constituyen, y.falsa,,en.caso coutrario, es decir, cuando ‘alguna de ellas es falsa, eo . ‘Tabla de Verdad 4: "5 es divisible por 2” La proposicion pq; "4 es numery par y 5 es divisible por 2" es falsi, pues P:“4 es 1nimero pur cs una proposivién verdauera, pero $ es divisible por 2 €3 una propasicién tulsa, y para que pag resulle verdaderu, deberin ser verdaderas lis das proposiciones es simultineamente. Sea p: 2 ex nimero primo. * q: 2esnimero pur, La propasicién “2 cs un numero primo par” es verdadera, pues son verdaderas las proposiciones: “2 es wn numero “primo” y "2 es un ni DISYUNCION: La relacion entre dos proposiciones por ta palabra Ye" ya no resulta tan clara como la “y" puesto que en ef Ienguaje corrientc, no tiene un significado preciso y tinico, Por cjemplo, si decimos “el sdbado iré a la cosianera o w Paso de la Pavia", para cualquiera que escuche resuliard claro que si vamos # un lugar, no iremos al otro; cs decir, que una accién que realicemos excluye a Ja owa, Este caso seria si rio, Esia disyuncién recibe el nombre de diferencia simétrica, Sin embargo, si decimos: “daré Ia ropa éntiende que si tengo ropa vicja, que; ademas mc quede chica, esta ropa estard en el paquete que duré. Elo” aqui no es excluyente,re de disyuncién incluyeme o simplemente ta disyuncin reeibe ef nor dispruncid 1 comprender en ambos casos lo que se quicre decir, es por et sentivy general de la Hrase, pero no desde un punto de vista légiey, es decir, cuundo os interesamos exclusivamene en su valar de verdad; no en el contenido de las proposiciones, c tonces, que hay dos Interpretuciones diferce par “a”, La relacion proposicionul estublecidy por * "se simboliea con “v" (euundo: ves incluyente) y por “A” (cuando es excluyeate), “pv-4: quiere deeir po q (eon een sentido inctuyente) “p44”: quiere decir po y (eon “o” en sentido excluyente) icmp! }) Sip: ~alumnos que estudian matematiea 4 “alumnus que estudian quit “Pv Q” significant: alumnos que estudian matematica y no quimica; slumnes que estudian quimics y no mateitica, camo asf también alumnos que cstudian matemética y quimica, 2) Si p: "16 es un ndmero primo” q: “16 es maniplo de 4” “p.4.q" significa que 16 es un niriero primo o es un numere mialtiplo de en sentido excluyente; es decir, no puede ser ambas cosas a la vez; es una o la otra, (p Aq en este ejemplo-es V, ya que pes F y qes V) 31 Si descamos expresar simbdlicamente "y cl material es interesante » los -r aw apar) dypa-q 3. a) p: of solo brite 4: ta humedad es alta Simbolicamente: p aq 1) p: termine mi turea antes de ka 4g: Mueve 1 Ine al partido de fitbol Simbélicumente; (p 4 -y) = ¢ ¢) p: me ves manana 4; habrd ido a ta playa Simbélicamente: -p'=> q 4) p: el costo de las ulilidades crece, 44: 8€ nicga la requisién de fondos aJicion © compraremos una nueva compatdora. 5: podremos mostrar quc lus recursos de edmpulus, son, 8. Simbélicamente: (p vq) => (re2s) * Cuando consideramos la proposicién simple: p; mencionamos quv las valores posibles du verdad sn das: V (verdadero) 0 F (fulso), v » Pp < vj F F Cuando consideramos des proposiciones, sin embargo debemos tencr en Cuenta cualra situaciones posibles, por cuda una de ellus; 2.2 = 2"= 4. Si consideramos p verdadera, los valores posibles de g sin dos: verdadera y falsa y si consideramos p falsa, los valores posibles de q tambien son dos. verdadera-falsa,luego se presentan las siguientes posibilidades, que bien to ifustra el Siguiente diagrama (llamado de drbal), muy tail en la sulucién de analisis de idades, posibi Fesuumiends ‘en una tabla se trata de 3 proposiciones, por gjemplo p, qf, las pusibilidaues ‘Sonsidcrur son 8, dos por cadit una ue las proposicioties: 2.2.2 2°=8 Empleando nuevumente e} diggrama de arbol para visuulizur las combinaciones posibles resulta aor v iF Plafr v (:F—r Viviv p F iy Fly F ea . En general el nimero de situaciones ® considerar e5 2 ; sicndo “n" el numero de proposiciones que intervienen. jorcorceremos 4 construir las tablas de verdad solisitadas. Una posible forma de trabajo cs la siguiente pero na es la nica) :‘Se eseribert las proposiciones simple con sus posibles valores de verdud, asi Se exeribe la pruposiciin cuyo cunieter de verdad vumnus a unaliz separando cada proposicién simple y cada conective en una col Por ejemplo, si queremos ja tabla de verdad de {p * q), anotaremos: pt aj -|{ep}] aja 3. Sv trusladtan todas las posibles combinaciones Ue lus vulores de verdad de las propasiciones simples, obtenidus en | - 0 “a 4 Vv vy v e & y é & 4, Se completan las columnas currespondientes a los congetives ue acuerdo con el siguiente arden 4) Operacion entre paréntesis: en nuestra caso: pag K «ha Fl v—v[y Vi viele viFlely virlele b) Operacién final: en nuestra caso -{pnq) es decir negar el resultado ‘obtenido en a. “Cuando el resultado abtenido es verdadero en todos los casus, estamus wie la presencia de una sawtologla; si toda es fala; gentrudiccidn, ‘Dos proposiciones que tengan la mismu tabia de verdad s¢ dice que son fquivalentes. Continuamos resolv do los ejercicios propucstos. b)-panq En este caso, mustruremos otra forma posible de organiza la tbla: 1) Escribimos las proposiciones simplescon sus respectivos valores de verdad, .’ cin eseribimos lus operaciones -p 4 - dejando libre 1a columna correspondiente uf conective, Jade escribimos el restiltily te Pay. Si observumas los resultados oblenids en las tblas de ead yur: Tuide, verchves que lus cuftespon dines & Cag) (ay es ida w fy de ped (4) ¥ duc la corespondiente a -(pvq) (a) es Ww mistna que la Sorresponuiente:a-pa-g (6): por lo tanto resulton equivatentes Fuego podemes cmunciar las leyes de De Morea que se refieren a ba ‘on de la canjuncidin y Ue la disyuncton de dos peoposiciones siniples LEVES DE DE MORGAN ‘Seu p: “Las procis som alius” y 4:"Los precios suben"* Eseribir en lenguaje corriente las expresioncs simbolicas siguientes: 4) preg bY {PAG 6) (pug)4) Los precios son altos y no suben, b) Los pi $10 S0it alias O no suber ¢) Lus precios na son altos yo suben, Empleando las Ieyes de De Morgan, negar las siguiontes proposicianes a) "6 es impary 6 es prime b)"2 es impary 2 no es prime’ ¢) "Maftana es jueves. 9 mafana es eamaval” Gon Pruposiciones puede definirse & purtir Ue la capresiin; “Sip entonees g", que simbolizamos por “p = 4", imphcucnin ~ cunticionat El valor de verdad de “poy seri verdauere si p y q son wnbus verduderas ¥ sera lalso si p ey verdaderu y q es Falsa. La lably de verdad se complet Sonviniende que sicimpre que p seu filsa, el valor de verdad de “"p2q” se verdader ‘Tabla de verdad |-as proposiciones “p" y ~g” se Haman wecedente y consecueate tke ta implicacién © candicronat, Y La implicacion usual en matcrnética, es material, en el semtido de que no es necesario que el consecucnte se derive logicumente del antecedente; cumdo ‘slo ocurre, la implicacién se llama formal y queda incluida en tu primera, Las tablas de valores de verdad se definen arbitrariamente, pero respetando el sentido comin. Elemplos: 1) Enunciamos ta siguiente proposicién: “Si upruebo el examen, emonces, te presto el apunte” (1) Se trata de la implicacion de las proposicionesPS aprueby el exam le presto.el apume Imveresa deducit fa verdad o falsedad de ta V0 Fide las proposiciones yy q. 131 emunciada (1) puede pensarse come un sompromise, condicionado por p, y pademus asowiar su verdad al fs obvio que si yr es F. ex decir, sino quedo liberudo del canipromise, ¥ preste «no preste Proposieion (1) es V. H's decir, si ct untecedente es Flt cones V, nplicacian (1), ew términas de ta Sip es V, en cuyo caso apruebo ef examen, y no prest compromiso no se cumple, y la proposicion (1) vs entonees |. Si py q se V, eutunces la implicucion es V porque ef compromise se cumple. De exte mado, ta implicacion s6lo es falsa cuando el antecedente ex Vy ol consceugnte gs FF" * 2) Sea: witngulo Si Tes equildtero, entonces ‘I ¢s isdsveles, cintonees “Tes isosveles™ us verdad Si "1 es equilitero” es verdudere ta implicacion es verdudera, 2+3 entonces 4 divide Como 2=3 es tulsa; talso, av es verdadera por ser ef unteeedeite cumibiv si decimos: ‘Si 4 divide a 8, entonces 2=3, es (alsa por ser verdadery el anievedente: (4 divide u 8) y also el consecuente” (2=3) nero es Distinguimos; p; un numero es par : un niimero es divisible por 2. ¥ expresado simbélicamente es q=>p. * Empleando tablas de verdad, verifiquernos la siguiente equivalencia: le=y) vy Gee] geben Rojo, Ea Atsonw, 1977.Tablas de verdad: “HI uso del candicional para vineular praposiciones: sin refaeidn entre si pucde hacer aparecer eumo paradojales propesiciones compucstas come por ejemplo: “Si la mesa es de maderu entonces el gute es cuudrapede’ que es una propesicién compuesta, verdadera si las des propesiciones simples sobre fas yue se fa operado son fas dos verdaderas. Dcbe sin embargo Feeurdurse quc la propusicién compuesta anterior ny tiene ni mds mi menus do que la que resulta aplicande ta conjuncién a las mismas dos Proposiciones simples estableciendo: “la mesu cy de madera y ef guto es cuadrineda’, {Lo importante es sefalar que cuando e! eundigional se usu para expresur que una proposicién implica ldgicamente atra que lo que se expresu al escribir P=dq Uche entendetsc como: ‘si p es verdudera implicura q verdudcra si. sole si, el condicional p=y es ldgicumente verdadero’. Dicho de otra Huunera ef condicional, come ruzonamiente ldgice significa que ‘p implica % sig es verdadera siempre que p ex verdadera’. Se niega usi la posibilidad lbgica de que psiendo verdudera implique q falsa, [in matematica la reluvidn de implicacion se usa como metodo de fazonamiento: 94 significa ahora “g ve cleduce légicamente te Sip ¢5 una hipteisy q una conclusion, p=q constiluye un tcorema que expresa: 'si p emtonces 4°, es verdadero. Matematicumente suele Ieerse ‘p=q" no solo coma ‘si p entonces q’, sino en las formas equivalente: ‘p es condicién suficiente para q’, "q es condicion hecesaria para que p’,qsip’,"p —sdlosiq’.? "altar M. Sadusky C. tnroduccson al Algebra Lineal EUDEA. De-An :Latabla de verdad es: port! Vv v : mmedy q) « (q=9p), come sigue. (XDA =p) p: Tes equiliitere es equidingulo ‘Vouu vez que p sca V, tambien lo es g, y undloganente, si pes F, y es F. De modo que la dable implicacion es V y resulta p eondicign fiecesari 2) arbi y silo sia? =b* Las proposiciones son pasb « la doble immplicacién propuesta es falsu sip es Fy y es V. Kin los dems casos cs V. ' "T es equilitero si y sole si T es equidingulo” ‘85 la doble implicacién de las proposicianes ‘La propasician es peg, proposicianes es cond ek 1) Indicar en cuales en cuiiles es cont neN yeN ©) p: “ABCD tienen sus lados opuestos paralelos” 4: “ABCD es un reetingula” d}p:“utb ics un imaginario puro" ae R, be R, be 0 ©) p: “xe y son numeros racionules” 4: “el producta x , y €6 racional”™ Dp: "ABCDE es un pentigano reg ible por 4” en efecto, sin ¢s divisible por 4; n es de la forma 4.k, W=pesF con keZ; luego lo pouemos pensar como (2.2)K, pues 4=2.2y por propiedad asociativa 2 (2.K), siendo 2.K otro numery entero al que lamaremos K" y sits de la forma 2.K° entonees es par. ‘En cambio: si n es par, no necesuriumenite es divisible por 4, Pur ejemplo, & € par y 6 no es divisible por 4 Esta forma de justificacién se denomina contrw-cjemplo, es decir, danas conocer un ejemplo done se evidenciu la ncgacién de lo que afirmamos, Luego: p es condicién sulicicnte para g, es condicién necesuria para p. Es suficiente que un nimero sea disible por 4, para que sea pat. Es necesurio que ua numero sea par, para que sea divisible por 4. bypxy>4 xeyeN Gx>2ey>2 xeNiyeN 4.88 condicin sufciente para p, pero-na ex nacesara, pues, por ejemplo, X97 |y=1, hacen p verdadera y qfalea . ;* Eiercicios 1 Espeese sir 8 sig a. res condivion necesaria para q b. pes condicidn sufelente para y ©. pes condicion necesariy y suficieme para y, d. pres condicion ne heme es propasiccinnes bash e=b'Sa=shwas-b dat=b => ea?= bt = lal = |b] iones 3. Auaticar ta valides de las siguientes aliem: a, Si dus figure mgjuntes SUSEEMLNIOS CURTEspUNdiciites som Proporcionales. b, Un niimero es multipto ai miltiplo de 2 © de 3. Hin euso le que is ufirmaciones sean verduderus, determine condicidn tkicesaria, condicion suficiente, NEGACION DE LA IMPLICACION Auiérionnente comprobamos que p=3q es equivillente a -pwq. uego negar -(p=>q) es equivuleiile a neyar -pyy y venienda eyes De Morgan resulta: Wa) CP wa) = CPLA APS PA 4. fh cuEIIt Tas [Raa paw Resulta enionces que ta negucién de: “Si4 es un nimero par, ertonces es divisible por 2" es: "4 es un ndmero pur y no es divisibte por 2”. Queda a curgo del lector verificar mediante tablas de verdad ia siguiente equivalencia: -(p=>q) p » -9,RQUIVALENCTA LOGICA * Cuanda uit condicion 8 decir, que nunca es Halve; se Vive que se trata de una implicucin légiew, Por ejemplo a) py p => pes una ky Logica Tautologia b) p= (pvg) es una tautologia Luego: p=>(nvq) es uni fmplicuctén ldyiew, * Cuando un bicondicional o doble implicucion es una fautologla, se dive que se truta de una equivelencia o ley légice Por ejemplo: (P= 4) = @>-n) Observetios las lablus de verdad; Por tratarse de una tuutalygla Jes propusiciones (pq) y (4=>-p) sun equiv i “Si un numero es primo, entonces no es divisible por 2” ‘es equivalente a afirmar que; “Si un nimero ¢s divisible por 2, entonces no es primo”, * Conocido el concepto de equivulencius ldgieas, lus tublas de verdud correspondientes a la conjuncién, disyuncién, disyuncion excluyente 0 diferencia simetrica, implicacién, doble implicacion y negacién, el lector ssid en condiciones de dcmostrar las siguientes propiedudes del dlgebra de Proposiciones, empleando tablas de verdad. ‘+ Invulucién ap)

~Ge— Mciprocos _, ~qy Us Tacil verificar que las implicaciones contrarreciprocas son equivulentcs, es decir, los siguientes bicondicionales son taulologias: 2) (p=) < (-q=>~p) 9 =p) 2 p>) Si la implicacién directa es V, tambien Jo es Ia condrarreciprocty, y 4 Podemos alirmar la verdad de la reejproca o de la contruia, Peru ‘si son verduderos un condicional y su reciproco o contrario, citances son Verdaderos los cuatro, y. tas proposiciones amtecedente y consecuente son equivalentes, Verifiquats el lectori Se presenta continuaments la necesidad de demostrar Ia verdad de p=o4, y ‘de acuerdo con lo expuesio se presentan dos métodos: disecto, Si pes F, nada hay que probar, pues en este caso poy 8 V. Si Pes V hay que establecer que cl valor de verdad de q es V. »- mutirecta. Si q es V queda establecida ta verdad de p=>q. Pero si q es I hay que examinar p y llegar a establecer que su valor de verdad okAngulo equilakera entennces ALC ex sa el freuba divecta:Si AIC es un th triangule isosceles (verdadera), Helo puede eappresarse eh Torna equivalente diciendo |. Que un tridngulo seu equilitero es condieian suliciente (pera nw nccesaria) para que sea isdisveles, 2. Que un tridnguly sea isdsceles es condicidn necesuriu (perw no suffene) pure que sea equilatero, 3. Un tridingulo es isdscules si es equilier. 4. Un triangulo es equiliteru silo si es isésceles. Si ABC es un tridngule (LS | directo dado se n triingulo equi (1 reorema reciproce isdiscules eulonces ABC es EL woremacontraroes: Si AUC to 3 un triangulo equi ‘no es iridngula isdseeles (also). eles EL teorema contrarreciproca es: Si ABC no es un tridngulo ist entonces ABC no es un tridngulo equilitere (verdadera), * Kiereigi 4) Escribir lox teuremus reciproco,contrario y contrarreciproco de los sii woremas direetos: 4. Dos tridngulos que tienen les angulos y los lados humélogus congrucntes son semejantes, b. Todo numero par divisible por ires, es miltipla de 6. Ana tijela verdad o falsedad de todas los enunciados. 3) A continaucidn mencionamos otras Proposiciunes twutoligicus las que invitamos al lector, a modo de gjercitacién, vetificurtas 4. [(p=>4) « p]=eq 4. [ipvy) » -p] = 4 b. [(pq) a -yf=>- ef. y= A) le aqd=> q © [vy A -9J=3p fp=(pva) EL conocimiento dé cquivalencias Wgicas, y de propiedaues Ue lus ‘operaciones ldgicas, nus permiten simplificur proposiciones compuestus, Ejemplo: |. Consideremos el cnunciado, “iré al futbol sino hay examen mafuna 0 bien si hay examen muahana y el juego es un encuentro de cainpeonato” Sean p la proposicién “hay examen mafana”, y ¢ la proposicion “el juego es un encuentro de campeonuto", é 6Es obvia que iré al fibol sita proposicién -) v (pay) 8 verdudera, No obstunte, la equivalen.-p v (pau) ¢-pvq. Hos permite simplitiear nuesi enunciado a, “iré al fitbol sino hay examen mafana © si el juygo es un encuentra de cumpeonato”. wwion brindada ¢s suficiente para conocer el valor de verdad de lus propesiciones dadas, determinefo, Justitique las respuestas: al(-p vir) > (q As A-n), sires verdadera. Dp ata vel] ois wo si(p ar es verdadera, ©) [Sv png) vr] > Kes), sires falsa ) lp vq) ar] 5), sis es verdadera 2. Simplificar, si es posible, las siguiemes expresiones: al-[p a «pen) bY (eva) a Gp vq) RAZONAMIENTO DEDUCTIVO VALIDO En matematica interesa cl tipa deeaconamicnto llamado deduct, Llamanios fuzonamiento a un par ordenade ({n}; 4), sicido {p) un conjunto finito de proposiciones, llumudas preinisas, y y una proposicidn, Homada conctusién, respect de la cual sc afirma que deriva de las premisas, Un raconamiento es deductive si y sOlo si las premisas son evidencias de La verdad de Ja conclusion, es decir, si pi, pa, ... pa son verdaderas, entonces verdadera. Un razonamiento deductivo es valido si no es posible que las premisas sean verdaderas y la conclusidn falsa. De un razonamienio se dice que cs valido 0 no.Ldamainos feghi de infercnicia, a todos independ ile de la Vo F de tas propos modo, toda replade Ua razonamienta deductivo ¢s valido cuando el condicivnal cuyu antccedentc es lu conjuncién de las premisas, y cl consccu ‘conclusion, ¢s.tauialigics. Es importante tener en eventa que: 1) La verdad de La conclusion es independiente de la manera de demastrut | valided de un fazonamiento. 2) Una conclusion verdadera no es ni condicién necesaria ni suficienwe para la validex de un razonanienta, 3) Si un sazonamiento es correcto, entonces ta conjuncidn de todus las premisus implica la conclusion, Si las premisas son verdaderas, ta conclusion ¢s verdadera. Sin embargo, si una © nas de las premisas es fsa, 1a conjuncidn de todas las premisas es alsa; por tunto la conclusion puede ser verdadiera o fal Ejemplos: 1) Si Grecia es una democracia, entonces sus ciudadados ticnen el derecho de volar. ‘Sus ciudadanos tienen el derecho de volar Por tanto, Grecia es una democracia, En esta caso la conclusion es verdadera, y sin embargo el razonamiento no es vilido, porque ia conclusién no es consecucecta de les premisas. 2) Em una democracia al presidente to elige ef pueblo. En Inglaterra, el primer ministre es el jefe ejecutive. El primer ministro britinico no es clegide directamente Por tanto, Inglaterra no es una democracia. En este-caso, la conclusién es falsa, pero cl razonamiento es correo porque la conelusién es eonsecuencia de las premisas, 3) Todos tos gatos tienen dos patus, = * ‘Todos los animales dedos patas son camivoros. Por tanto, todos los galas son camivoros En este caso, el ragunamiento cs verdadero, y la conclusién verdudera, y las dos premisas falsas. 5* Cada uno de estos ejemplus evidencia el heeho de que ni el va verdad ni el contenido de cualquiera de las proposiciones que imeervienen en ef razmnamiento determina la validex del args REGLAS DI TONCES q. La hotacion chisica es b) Ley del modus tolens: p>q a “P Este esquema es lu notacion clasica del eondicional fsa) a~q) = ~p ¢) Ley del silogisino hipotetica: p>4 t >= Es decir, la proposicién [(p=>q) (q=91)] = (p=>r) ¢s una tautologia. En eainbia, el condicianal [(p=>4) 9 q] => p no es una forma valida de Tuconumiento, pues si confeccionumos su tubla de verdad, veriamus que Wo €$ una tautologia, tarca que dejarnos a cargo del lector. * En este curso pura analizar la validec de un raconamiento, empleuremos el metodo de las lablas de verdad; siguiendo los siguientes pasos: L. Del texto dado, distinguiremos las premisas y 1a conclusién. 2, Se expresa cl texto simbélicamente, 43. Se construye la tabla de verdad, recordando que de la verdad de las Premisas, se deduce la verdud de ta conclusién. Si ps, p2, Ps... ps Fepresentan las premisas y g la cunclusién debemos detenninar ¢l valor de verdad de Ia tabla de (pi A pra pr ... pe} => 4 »Ejemptos Analicae ta valides de los siguientes razanamientos L Martin esta cunsade 0 enferie., Si Miurtint esta cansado, entonces se queda en canis No se queda en eaina, ee Laepo: Exta-endenne 1) Separamos as proposieiones sith p> “Martin ext eansada™ a "Munin esta entero” F "Martin se queda en cu dis sirmbolicanncnte 2) Expresanies el enun pya por 4 3) Construimus ta tabla de werdad EL "e" signifia que eli cde ut imp que es verdadera sismipre que todus lus propo siempre que el antecedente sew falsa, ta implica rf pva Tt Wx: ~PUX) Negar simbolicamente lus propusicianes siguicnies: a) Wx: Ay /=P(x) > Qy) ~{¥x, 3y / POX) => QUI] * Recordar que la negacién de un cuantificador universal es un cuantilicador existencial y reciprocumente y que la negucién de (p=>q) es (pay), . by 3x, Jy / (P(x) v QG)] = PQ) YX VP) VOONA-PO)] la negacion es: a* Ejercicin: Nepar simbolicamente las sinuicntes functones epropesieiwnales 0 anv aalicsnatnvat) AVP SN) Glin BOSSMAD QO) lim unevcisal negativi SAN APY Qo)” (particular alinnativad AN 7PUS)A-QiN (particular negauiva) Soluciones; BLY PEN) => Ques aN / PX) A Uta) Bi ALVKD PON) = ~QUdPS Ix PUNTA Gtx) [x PU) A QUT x: POX) v Qu A ~LBR/PO) A QIN WR: PLR) VQUX) * Kiercics 1 Analizar el valur de verdad de las sigu aFabeR J tath= a+ im bYube Rs: latb=ii+ iy ce Wre Rp wax d3xeR / gtax eaxeN / x20 Paneionee 2. Negar las siguientes propesicionabsy analizar el valor de verdud de las misinas; peeve ay Wx eR: (x-1) (x#1) = x7 = “DVN ER: [By ER/xt Hye (x 4yp] ? Bye W/¥yeR: xty=0 OvWeR VER xysyx MaNERVWyER xyeyxey. SiA* 11, 2,3, 4, 5} Determine cuales de las siguicntes fn cones prvpeseeomaler son verduderas © fulsas, axe A/x+3=10 bVaeArxt3<10 C)dxe Ain +3<$ DVN GArN+ 357 +l ale un cuutra ejemplo pura is siguiemes!ore. povpetic, signdo B= (2.3,..8,9) 2) Vx ¢ B: x es un ndmero prime b) Ys © Bi: ces un nomero par CIRCUITOS LoGicos Retomenws el concepio de ambiwalencia de las proposiciones: Verdaleru- falso y ala lidad de otras represeniaciones; verdadero ul equivuleite ‘de paso de corriente a waves de un cinuito eléetrieu y fatso al equivalente de {a interrupeion del paso de corriente a tavds de un cizcuito eldetsica o bien, I+ verdadero, 0 +—* falso, Extenderemos el uso de los circuitos eléciricos pura estudiar las relaciones ’s enlfe propasiciones. Usto no es una mera ejemplificacién, ya que en 'a construceién de las computudoras clectrénicas se emplea ta anulogia de los circulios con tas relaciones Wgicas pura dotar a las maquinas de la ‘apacidad de comparar y de decidir entre diversas allernativas, En el diagrama de circuitos: | indica un interruptor cerrado yo imterruptor abierio, 1 | corresponde o una proposicién vetdadera, y pasa cortiente O comesponde a una proposiciga falsa y no pasa corricate, —- _.. Si Yes pasaje deveorriente y # interrupcion, es claro que -p €s falsa om» oo _» P * Este circuito representa “p” y "sp", Empleando esta convencién, suponganus tier dos interruplorys eunectadas én serie, tal que el primero se cierra si p es verdadero y el segunda se cierra siges verdadero: oP —“4——2 Este circuito comresponde.a pad” puesto que la coments circulard silis dosproposiciones son werducderes Si los itterruptores estan consctador en puralel; el circuito se surtespo 2 Peat Hiwesto para que la vurrieite circale buslurd con que seu verdader uni de las proposiciones, ‘ EI citeuita corespondiente a “pg” es mis complgja, El “o” exchyyente Seauiere url ciecuito en el que circule curriente euando “p” sca verdadero 0 Suavido “a” sea verdadcto, pero en el que deje de circular evando p y 4 sean verduderus sinwult; MeNLC, "ste circuita corresponde u “pay” (p o excluyemte 4) Ho ie 4 “4 * | cireuito comespondicnte a “p=2q", debe ser tl que no circule cori nle, solo cuando p seu verdadera y ¢ falsu En este caso, recurriremas a la cquivalencia de proposiciones demsirada en Paginas anteriores: p= y > -p vy i Circuito correspondiente a ta proposicion: (p a q) v = res: p—4 Look orDibujar los eireuitas que puedan reprusentar kas viguientes proposiciones: wip Aay er biPAn>cyvn epeq a)(Da-gyesr ces equivalente a ipa-w) ve Recordar que{p => eo¢-p v 4) y aplicunda Leyes le Morgan resulta: [-p v Cap] VF, lo que es equivalente u: (pvavr cuyo circuits ligico es *eP Gi SAND Gy v ey Procedjende de forma andloga a la anterior result: WANS IVs tp dAnv qv 2 GP Y=) ¥ Cd vi) c2(Aplicande Layes de De Morgan) $3 (RYU) V Gt vr) © E por conmutatividad y cS sasucttividad de la dasyumcion (pues -r'v res unw tautologia, siempre es verdadero), es decir que (PA 1)>> (-q vr) depende exelusivamente de! vulor de verdad de pyy 7 Sip ¢s verdadero, r puede ser verdadere 0 falso Si res verdadero, resulta el antecedente verdadero y la implicucion seri verduderasPyis } conse, cotute tam bidite #5), Sires falsoes el untecedente [also y la implicucién es verdadera sicmpre, Sip ¢s falso, el antecedentc es faiso y Ia implicacién verdadera. Luego el valor de verdad de la proposicién dada solo depende de p yy.Feuite es. P— vhs 4— ©) P< 418s euivatente a ip => 4) 4 (g => pe CRY ada Cay pd stp vada (nya Ho oo “4 * Biercicioy: |. ¢Que proposicion compuesta representa el siguiente giceu a7 Lo ‘44 2. (Qué proposicién compuesta representa dl sighicnte'circuito? fA pe - 5 Ustablccer la tabla de verdad correspondiente. gue indiea usa tabla sobre el circuita? Otrs apli Consideremes Aesumiende: Tablas de verdad, circwites tégicos, la convencién 0 y 1 y Sircuitos digiutes pars:-p; pag: pvg ‘Tabla de verdad de -p Cireuita Logica p op seco ¥ —7—‘Vabas 0 y 1 Cireuito Digital elo Cy o} Hs Als ireuito Logico Tabla de verdad de pou, Cea rag v ¥ v t —p 4 F r F F ed ‘Tabla dey 1 Circuito digital ' 1 1 1 0 0 oO 1 0 u “Habla de verdad pv Habla dle verd fa | pq Vv rte vie v Fividov rye] Fe Tabla de Qy 1