LOGICA. INTRODUCCION Légica es et estudio de tos procesos vilidos del razonamiento himano. Existen dos t{pos importantes de razonaniento: et inducttvo y el deducti- ‘vo. El razonomiento inductive es el medio por et cual una persona, en ba- se de sus experiencias espectficas, decide aceptar com valido un princi- pio generat. El razonamiento deductivo es, en cambio, el medio segun el cual dicha persona utiliza el principio general aceptado previanente para decidir sobre la validez de una idea, que a su vez habra de determinar et curso de su accién. Dado que las proposiciones son preceptos validos de razonamiento deductive en nuestro breve estudio, verenos lo esencial de 1a légica proposicional, a través del uso y manejo de una simbologta adecuada. ENUNCIADO Se llama enunciado 9 toda frase u oracién. Algunos enunciados son mandatos o in- terrogaciones 0 son expresiones de emocién; otros en cambio son afirmaciones 0 negaciones que tienen las caracteristicas de ser verdadero o falsa, 01. {Qué curso te has matriculado? 02, {Vaya ripido! 03. Viva el Pera! 04. Prohibido hacer bulla 05. Dos mas tres es igual a cinco 06. Todas las gallinas son aves 07. Paris es la capital de Francia 08. «5 >8 09. 34+5= 10. x? <4y I xt+y?s9 PROPOSICION;: Liamamos Proposicion a todo enunciado que tiene la cualidad de ser VERDADERA (V) 0 de ser FALSA (F), pero nunca puede set Vy Fa la vez, La proposicién es un elemento fundamental de la Wogica matematica Los ejemplos: 5,6,7,8,9 _ son proposiciones. Losejemplos: 1011 son enunciados abiertos.NOTACION.- Denotaremos a las proposiciones con letras ininisculas: p, g,r,5 ,& Si son muchas proposiciones, entonces usaremos subindices, tales como: Pos Pas Py corse s Pe , W929 Vo verre rere eM on EJEMPLOS DE PROPOSICIONES: P+ “dos mas tres, es igual a cinco” @ + “ocho es menor que tres” 7 + “cinco es diferente que cero” 5: “cuatro multiplicado por tres, es igual a doce” 1: “cuatro y diez son miiltiplos de dos” 4: “Qesmenor que 3 y 3 es miltiplo de 5” Como podemos observar: pesv sey qaF tes V roe V woes F Observactones: 1, Aquellos enunciados que indican una pregunta, una orden o una exctama- cién, son expresiones no proposicionales. Ejenplos: a) Qué edad tienes? b) Viva et Pera! ¢) Prohibido funar 2. Los enunetados que usan las palabras "ét", “ella” y los stnbolos x,y,z, no tienen ta propicdad de ser verdadero 0 falso, es decir, no son propo- sictones. Sin enbargo, si a una de estas palabras y simbotos se le asig- na un determinado objeto © valor, itanado constante, el resultado es u- na proposicién. A este tipo de enunciados se tes denomina enunciados a- biertos. Ejonplos: 0)'El esté jugando tenis b) xe > 5 c) 2x+3y=8ENUNCIADOS ABIERTOS Son expresiones que conticnen variables y que no tiene la propiedad de ser verdade- 0 0 falso, ESEMPLO 1) P fx) : “x <5” es un enunciado abierto porque no podemos afirmar que es V0 06 F. S6lo cuando la variable “x” toma un valor numérico se hace Vor. Asitendremos: p[3] : 3< Ses V pi): 9. llama- das conectivas Jogicas Donder*’ “y" se representa por “An” <0” se representa por “V si... enfonces ... ” se representa por “p> q” si... Solosi...” por “p<>q”EJEMPLOS ) Se denota por: pi A p2 2) A: “José llegé tarde, sin embargo dis examen” José llego tarde = P; José dio examen = Py A=PRAR DB: “Maradona jugé, aunque estuvo lesionado” Maradona jug6 = Ps Maradona estuvo lesionado = A Bahn Nota: aunque ¢s “y” ac .» entonces, 9 C8 (py AP) Po 5) D: “No es el caso que Pedro baile y no eante” . Pedro baila = p Pedro eante = q Da~(pa ~q)” CONECTIVOS LOGICOS Los conectivos légicos son simbolos que enlazan proposiciones atémicas, sin formar parte de ellas. Dichos simbolos también toman e! nombre de operadores. Los conectivos Wbgicos que usaremos en matemdticas son: Laconjuncién : Ladisyuncién : v Lacondicional : > La bicondicional : <> Lanegacion : ~LA CONJUNCION.- La conjuncién de dos proposiciones p y q es la proposicién ‘compuesta que resulta de unir p y q mediante el conectivo I6gico *y” que se simboliza p « q, donde el principio légico es “La conjuncién p «4 es verdadero V, sélo cuando p es verdadero y q es verdadero V, en todos los demas casos es falso”. Su tabla de verdad es: PAG =< <|s nmenels = mmm LA DISYUNCION.-._ La disyuncién de dos proposiciones p y q es la proposicién compuesta que resulta de uni. pyq por el conectivo 6gico “o” en el sentido inclusivo y/o y que el principio I6gico es “La proposicién pv qes falsa tnicamente en el caso en que p y q son ambas falsas, en cualquier otro caso es verdadera”. La tabla de verdad para la disyuncién Tee Mev viv]v viFriyv Flvlv Fl Fl F LA NEGACION Dado una proposicién P, Harkaremos la negacién de P, a otra proposici6n que denotaremos por~P, y que se le asigna el valor opuesto ap, y su tabla de verdad es: Wee vi} F FlvLA CONDICIONAL (IMPLICATIVA).- La implicacién 0 condicional de dos Proposiciones py q es la proposicicn ‘compuesta mediante el conectivo l6gico “si, .., entonces, .."y_se simboliza p—> 4g, donde el principio I6gico es “La proposicién implicativa es falso tinicamente en el ‘caso que la proposicion p es verdadera y la proposiciOn q es falsa, siendo verdadera entodos los demés casos. Su tabla de verdad es: < ——_ ae 9 Antecedente ‘Consecuente Premisa Conclusién. Hipotesis Tesis. LA BICONDICIONAL (Equivalente 6 Doble Implicacién).- La doble implicaci6n o bicondicional de dos proposiciones p y q es la proposicién compuesta mediante el conectivo légico “si y s6lo si” y se simboliza p <— q son verdaderos V © son falsos F, en otros casos es falso F. Su tabla de verdad es: p [a [pea v v v viF] F F v F FL Fv LA DISYUNCION EXCLUSIVA.. La disyuncién exclusiva de dos proposiciones p y q es la proposicién compuesto mediante conective légico “o” y se simboliza p Aq, donde ambas proposiciones p y q tengan valores de verdad opuestos y es falsa si ambas tiene idémticos valores. Su tabla de verdad es: P Vv v F F menudo LGk 1. be los enunciados siguientes (D Hola que tal? (A) Todos los hombres son inmortales (2) x41 < 10 (5) Sécrates nact6 en Atenas (3) 24556 (x+5$8 Guét de tas alternatives siguientes es correcta: 0) 3 son enunciados abiertos ©) 3 no son proposiciones b) 2 son proposiciones 4) 4 son proposiciones 2, St p:"Carlos vendré", q:"Carlos ha recibido 10 carta” y r: "Carlos esté interesado todavia en el asunto". Simbolizar los siguientes enunciados: ©) "Carlos vendra, si ha recibido 1a carta, siempre que esté interesado todavia en el asunto". b) "0 Carlos vendré porque ha recibido 1a carta o no esta interesado to- davia en et asunto". €) "Carlos vendr si y 3610 si ha recibido ta carta o vendré porque esté interesado todavia en el asunto”. 3. Determinar los valores de verdad de las siguientes proposiciones: (A) (345-8) v (5-3-4) (3) (398-12) 8 (7-4 > 1) (2) (5-4-8) > (1-7-6) (4) (44629) o (5-224) 4. py) vir + IA (py) + (qAxp)], es verdadera. Hallar los valo- ros de verdad de p.q yr 5. De la falsedad de (p > ~q)V (wr +»), se deduce que el valor de verdad de tos esquems: A>(rqy ss) + xp; B(aras) + (xp + mq) y Gp > Iq + (5 + r)]. son respectivanente a) FEV >) FRE ©) FF a) FW 6. Se sabe que pAq yq > t son fatsas. De tos esquems moleculares siguien tes, cuales son verdaderos: A=(xpvt)yxq ; BPA (a v~p)] 5 (= QAnQaty] + Ip v(qart)] 7. La proposicién (paq) + (q +r) es falsa, y se tienen los esquenas mole- (avriv (py). Bripysa)* Crag) y =HPAG)¥ (qarr)] o> (py~r). Cubes son falsos. culares 8. Si la proposicién A=(p>uq) + (r+ v9) es falsa, hatiar et valom de ver dad de las proposiciones q,p,r.s.(en este orden).10. ue 12, 13. 4. 18. 18. uw. Dadas las proposiciones: A=(p * q) +r; Vir}e¥. Bo(pvq) —* (*parq): VeQ=¥ . C(PAQ) + (PAP); VOIEV y VirI=P. Depa(q +r); VOrd=¥. fr que casos 1a informacién que se da es suficiente pare determinar et vator de verdad de cada proposicién (pvq) “ (PAs) es una proposicién verdadera, teniendo r y s valores de verdad opuestos. De tas afimmaciones siguientes cudles son verdade- ras: A=[(~Pa*q) Vv (rAs)JAp, es verdadera B=l~(pyQAlrv sii vixpaq), es fatsa Cal(orans) + (pyr)IAv(rAs). es verdadera. St La proposictén (~pag) + (xsvr) es falsa, de tas proposiciones si- guientes, cules son verdaderas?: A=*((p + q) > rJi, B=v(mpag) a (wry ryas 3 C=f(py qa pl v (a). Si las proposiciones As(p ++ 5) ++ ¥8 y Bel(p + 5)A “plas, son verdade~ ras, hallar los valores de verdad de p,s y pie, en ese orden. Dada ta siguiente informaci én: Ver = qv=¥; Vinar)=F; Vimvn)=¥ y Vipyvm)=F. Determinar el valor de verdad det esquena molecular: Ae((myrn) + (parrd] = (mag) Si Ax(p + 7) “(spv4q), 08 verdadera, hallar at valor de verdad de ta proposicién Be(p * q) “= (p “* r) St ¥itq + p) * (rv p)I=F: hatlar el valor de verdad de cada una de las siguientes proposiciones: As(pax) + (mary) G(r + py = (Aq) Be(q > nv (way) Del(s * p)v(n =r) = (even) St Vim = m)=F, Vim(o =n) IF y VepAngy= del esquema A=[(pvq) = (aAsr)) (nm). : hallar el valor de verdad Sabiendo que et valor de verdad de 1a proposic(én compuesta: Axivf(par) = QIA[(pvqias)) ~ (sp) * t}, es sionpre fatso. Determi- nar el valor de verdad de las siguientes proposiciones: a) Bal{(opsqvar) + ((q + (8 > p))]}8(p8q) b) Cein(p + q) & [(rap) + rvs) At TABLAS DE VERDAD La VERDAD 0 FALSEDAD de una proposicién se denomina su VALIDEZ (o:su valor de verdad). La v jez de la conjuncién, de la disyuncién, de la condicional, de la bi- condicional y de la negacion pueden representarse en TABLAS. En consecuencia, dadas dos 0 mas proposiciones simples cuyos valores de VERDAD son conocidas, el VALOR DE VERDAD de una PROPOSICION COMPUESTA depende de la verdad de cada uno de las proposiciones componentes y se determina mediante TABLAS DE VERDAD.EJEMPLO 1. Evaluar la tabla de verdad del esquema molecular: A=~(paq) © [(-p) v (-9)] EJEMPLO 2. Evaluar ta tabla de verdad de ta proposicién: A=“{p + (pvq)] EJEMPLO 3. Evaluar la tabla de verdad de la proposicién: Lepasg) > or] + (p)v ir & (pargy] Observacién. Segiin el resultado que se obtenga en el operador de mayor je- rarquia, los esquenas moleculares se clasifican en cont igen tes (consistentes), tautolégicos y contradictorios. Un esquena molecular es cont ingente cuando en su resultado hay por to menos una verdad y una falsedad (Ejemplo 3). Un esquena molecular es tautolégico cuando los valores de verdad de su operedor principal son todos verdaderos (Ejemplo 1). Un esquena molecular es contredictorio cuando en et resut tado todos los valores de verdad son fatsos (Ejempto 2).En los ejercicios del 1 al 12 estabiecer, por medio de una tabla de valo- res, $i cada uno de los siguientes esquenas moleculares es contingente, tau tolégico 0 contratictorio. 1. Espes vega sp) IY “(Pv q) 5. [(parq) a (mp = r)] * (pra) 2. [pyaar] & *(q * p) 6. [pia *1AL pyr) = Ql 3. (pq) + 40"q > BP 7. (OxpnQ) +r) + [ramps] 4. [pt (Qe rd) [parry sq) 8. “pag PACov@ll = (p> a) 9. IPAta + PIIAS(p + %qQ) * (av “PH 10. Pxpalqu~r)] = [paqiy (Pp vr)] IL. [Cp Bqhamirag)] = ~£(p 8 q) * (qar)] 12. (epar) +a) = tq (pyr))) 8 (pq) & (quar) 418. Dados tos esquenas Légicos: P=(p * q)A (Pag): Rp + Qi @ (pv "q). Oud de tas siguientes relaciones es correcta: a PER ay RE cyPER 4) Ninguna 16. Si se sabe que: p*qz(p > ~q) y pla=parg, evaluar el esquena molecular As(p + r)EQ*r) 47, Si definimos et conectivo & como: pag = (para) y[(paria ra}, donde r es una proposicién cuatquiera. Anal{zar cuales de las siguientes afirma ‘tones son correctas. 0) php es una contradiceién c) qat f qart b) pag = atp 4) ping = pa(rpya) 18. Doda la siguiente informacién: pq = (sp ~q) A(%q ~ D) pas (p= gv (a * p) Evatuar la formula: [(p*@) A (av r)] > (p#Q).