Você está na página 1de 8
Logica Matematica I Es una parte de las matemsticas cuyo objetivo es cuestionar con el mayor rigor los conceptos y las reglas de deduccién utilizados en ellos. PROPOSICION LOGICA. Es aquella expresi6n u oracién que puede calificarse o bien como verdadero (V) obien comofalso (F) ysin ambigtiedad. Las proposiciones légicas sedenotan con letras mintisculas, tales COMO: Py Gy T Spe Ejemplos: pr S+4=8 ® qt Todo hombre es mortal. (V) 1: Ellibertador Simén Bolivar nacié en Lima, ® s: I4esunnimero primo. (F) =a No son proposiciones légicas: iCéme te llamas? Buenos dias atb=x Pues en ellas no podemos afirmar si son verdaderas o falsas. NEGACION DE UNA PROPOSICION Consiste en cambiar el valor de verdad que tiene una proposicién, Si la proposicién es “p”, su negacién se “ap” y se lee “no p" o “es. Las diferentes posibilidades las podemos esquematizar en una tabla denominada tabla de verdad. Pip VIF Flv Bjemplos: pi 6 esun niimero par W) =p: 6no es un ntimero par ®) CONECTIVOS LOGICOS Son elementos que sirven de enlace entre las proposiciones, para formar otra, denominada a veces proposicién molecular. Bjemplos: Lima es la capital del Ferdi y Barcelona es la capital de Espai P LL q CONECTIVO LOGICO 4 e8un niimero impar o 15 es un ntimero primo, — le P LL a CONECTIVO LOGICO Los conectivos Iégicos empleados son: a) DISYUNCION (se simboliza “V", se lee “o”) Dos proposiciones se pueden enlazar por medio de la palabra “o”, para formar una nueva proposicién llamada disyuncién de ambas. La disyuncién de las proposiciones “p y q"se denota: p vq. pv qes falsa (F) finicamente cuando “pyq" son ambas falsas, en los dems casos es verdadera Ejemplos: pr 4esmenor que 7 ) @ 4esiguala? ® La disyuncién de ambas sera: “4.es menor que 7” 6 “es igual a 7", —_—sX Pp Y4 -—__ simbélicamente Suvvalor de verdad: Vv F=V (Seatin la tabla) b) CONJUNCION (se simboliza “A' selee "y") Dos proposiciones se pueden enlazar por medio de la palabra “y", para formar una nueva proposicién Mamada conjuncién de ambos. La conjuncién de las proposiciones “p yaq'se denota: pA 4, paq men q uu simbdlicamente Su valor de verdad: V °F=F (Gegtin la tabla) 4) BICONDICIONAL (ce simboliza “ep” 8e lee “siy sélo si”) Es.aquel conective que al enlazar p" con “q” se denota “peng” y se lee: “p siy sélo sq’. anuals P Vv Vv E F © qes verdadera (V) tinicamente cuando “py “a! valor de verdad. tienen el mismo Ejemplo p: 4esmenorque7 — (V) a 4esigual a? ) La bicondicional de ambos seré: “esmenor que 7” siysdlosi“4esigual a7”. eS Pp o 4 a simbélicamente Su valor de verdad: V ¢> F=F (Segtin la tabla) Proposiciones Compuestas Utilizando conectivos légicos se puede combinar cualquier nimero finito de proposiciones para obtener otras, cuyos valores de verdad pueden ser conocides construyendo sus tablas de verdad Ejemplos: QD (poaaeprs) Tl) (p-qveren) ‘TAUTOLOGIA, CONTRADICCION Y CONTINGENCIA 1, Tautologia Es toda proposicién cuyo valor de verdad es siempre verdadero (V) para cualquier combinacién de los valores de verdad de sus componentes, se le denota por “V", Ejemplo: La proposicién: “p>(pvq)" es una tautologfa, tal comose puede comprobar en su tabla de verdad. Pp > (va VV Vv vv v Vv men(pva)"=V FV FV 2. Contradiccién Es toda proposicién cuyo valor de verdad es siempre falso (F) para cualquier combinacién de los valores de verdad de sus componentes. Se le denota por “F”. Ejemplo: La proposicién: “(paq)A~q" es una contradiccién, tal como se puede comprobar en su tabla de verdad. P (pag a~q vv[l v FF VFi[ FFY FV) FFF FF] FOEFV Entonces: “(pag)~a' 3. Contingencia Es toda proposicién cuyo valor de verdad tiene al menos un verdadero (V) y un falso (F). Ejemplo: La proposicién: “(pva)—>~p" es una contigencia tal como se puede comprobar en su tabla de verdad. P (pvq>~p vv[ veEeF vF| v BEF Fv| v vv FFI F VV IMPLICACION LOGICA Se denomina astatoda condicional “p->q” que sea una tautologia y en tal casolacondicional sedenota por “pq 1) Dada las proposiciones: p: Lenin aprucha sus cursos. Lenin va ala festa. 1: Lenin estudia para su examen. Simboliza: “Si Lenin va a la fiesta, entonces no estudiard para su examen, pero no es el caso que vaya a la fiesta y apruebe sus cursos, De aht que Lenin estudia para su examen’, Resolucién: Si Lenin va a la fiesta, entonces Lenin waa Hestg cuteness a = no estudiaré para su examen, pero oleae es no es el caso que vaya.a la fiesta oer ~( q yapruebe sus cursos. De ahf que A p) > Lenin estudia para su examen, —e— [(q>~1)4~(a9p)]>r 2) Halla el resultado de la matriz principal de: pvq) o(pr~a) Resolucién: epv@ @ Pr~d) oO 2 @ LenS Resultado final: PEFF Contradiccién Rpta.: Contradiccién 3) Si (pa~q)r es falsa, determina el valor de p, ay Resolucién: (pargd—or It Q 19 7 ® Del grafico se nota que: p=V F =F 72 Rpta: VEF 4) Sila proposicign: pr(a7s) es falsa, entonces se puede afirmar que: 1) pes necesariamente verdadera, Il) res necesariamente verdadera Il s puede ser verdadera, Resolucién: Luego: pir as) V EV V VE VFF Se concluye que: pes necesariamente “V” rpuede ser V oF s puede ser VoF Rpta.: I y Ill son verdaderas. 5) Sabiendo que la proposicién p es verdadera, Zen cuil de los siguientes, casos ¢s suficiente dicha informacién para determinar el valor de verdad de las siguientes proposiciones? ) (pv) © (pa) I) (pag) > (ov. I) @a) > Resolucién: Dato: p= V Luego: D @ve) © (-prea) I)(prq) > (pvt) (Wag) (Vu) Se q> VeV I)(pq) > (Voq) 8 aw aor [Nose puede saber Rptas Ly I Nivel @ Cusnios de los enunciados son proposiciones? es un ndimero impar. + El Perti es un pafs latino, + Laballena es un animal acuatic. 34 *xty=ll + (Mario est4 vestido? a6 bys oF d3 2 © De los siguientes enunciados: * Recoge el cuaderno. *3417>20 *xty=15 {Qué alternativa es correcta? a) Una es proposicién. b) Dos son enunciados abiertos. ©) Dos son proposiciones. d) Dos son enunciados no proposicionales. eayd @ Ai cesarrollerta tabla de verdad: (va) (pve) El ntimero de valores verdaderos en el operador principal es: a)l b)2 3 d)4 ——e) Ninguna =F; q= Vi 1=V, entonces indica el valor de verdad de las proposicionest 1. ~[~pv~a] (rt) Ifa pl (P90) a)VV b)VF oc) FV d)FF ce) NA. o De la siguiente proposicién compuesta: [(pat) vr] amt. Se dice que es: a) Tautologia b) Contradiceién ©) Contingencia, dayb ©) Todas 0 ‘Sean las proposiciones: p: Nathaly estudia en la UNI a: Nathaly es comerciante. : Nathaly gasta poco dinero. Simboliza el siguiente enunciado: “Bs suficiente:que Nathaly sea comerciante 0 gaste mucho dinero, para que no estudie en la UNI: Pero si estudia en la UNI entonces no es comerciante”. a)~q(pv1) b) (ave) Opoeann) ) pvave e) NA. @ sloulalaciterencia del ntimero de V y F que hay en la tabla de la verdad de M. M=(perq)a(rdp) a2 -b)3 4 a5 6 @ A cesorrollarlatabla de verdad de:(~pvq)a(~qnp), el néimero: de valores falsos en el operador principal es: a0 bl ds 84 P#aq=(py-geop Al evaluar: (-pea)al ¢(-a-p) su tabla de valores es a) VVVV b) VVFF c) FVFF d) FVVV &) FVFV Los valores de verdad de las proposiciones: pi qi ¢ y $ son respectivamente: V; Fj F y V. Obtén los valores de verdad de: L. [(evavrlas IL. Gap) IIL (pvq)9(e~s) a) VFF_ b)FVV <) VWWV d) VVF ec) FFF Sis pio): awa rQdnd45 halla el valor de verdad de: Hed-pAvor2e3)> F(p2)va2))1 IL. [p2)r~qt2)]<>r(4) IL [-p(4)or(5)}v~a(4) a) VFV_ b) VEF ad) VVV e) FV ©) WF De: ~[ipva)a~(pna)] (pda) se firma que es a) Tautologta b) Contingencia ¢) Contradiceién 4d) Siempre verdaderas e) NA. Al hacer la tabla de verdad de: (p99) >-a>~P) se obtiene una: a) Contingencia b) Contradiccién ©) Nose puede determinar 4d) Tautologta ©) ED: @® Scan myn neimeros reales, definimos: Spayrisixes una na} proposicién verdadera. 2 1; sixes una proposicién falsa, P(x)= Sit <3<>(-1=0) -1<0)->(x<0) \ P(r) +P(@)=21, halla el valor EE a3 b)1T 0 Dil e)3 @ Lialla valores de verdad de las siguientes proposiciones: 4) (446=9)<>(5-2=4) a) VVVV b) VVEV ¢) VVFF @) VFVF ©) NA, © De las siguientes proposiciones compuestas: + Si5+3<7, entonces 8<7 + 9es mayor que 5.68 es menor que 6. + W5=5 y-#=16 * 3cdes1F16<5+6 indica la relaci6n correcta. a) VVVV b) VWVF c) FVFV d) FVW ©) VVEF Indica el valor de verdad det L p>tpva) IL. (pag) (pera) a) VFVF b) VEFV c) VFFF d) VVVF e) VWWVV @ Ve los siguientes esquemas: (qovp) [pve>a)] > [png] leon) Indica si es: T, Co. a)STC b)SCT c) TSC d) TCS e) CTS 9 iCugntas de las siguientes estructuras son tautolégicas? L [pa ploa IL. {ipva)ap]>~a TL. [(p9q)a(-ave)]>~(pa~2) aoON 1 92 a3) NA. @ iicicaVor a)FVF b) VFF c) FFF ad) FVV eo) WV @ Al cesarrollar la tabla de verdad de: (pv-q—~(-pva) el ntimero de valores verdaderos en el operador principal es at b)2 3 d)4 ——e) Ninguna Indica los valores de verdad de las siguientes proposiciones: (6-2-5) UL. G+ IV, Bx4=10)(9-4=3) a)VVWWV od) VFVF ‘b) VWVFV e) VVVF ©) VVEF [Cusles delas siguientes formulas son equivalentes a ~r(pr~q)? Lp IL pq) UL. ~po al 4) Lylll b) Ninguna —_e) Todas o) Uy lll Evalda las siguientes férmulas: L. [potqv-ple(eoa) I. ~(par)(qvt) IIL. {(p3q)(por}a(pat) a) Las f6rmulas I y II son tautolégicas. ) Las férmulas I y III son tautolégicas, ©) Ninguna de las tres es contradiccién. 4) Sélola formula Il es contingencia. ¢) Todas son eontingencia, @ is p: Andrés compra pan q: Andrés ingresa a la academia. 1: Andrés se levanta temprano, Simboliza: “Si Andrés se levanta temprano yno compra pan implica que no podré ingresar a la academia, pero que haya comprado el pan es condicién necesatia y suficiente para que se haya levantado tempran a) [(raep) vq] (peor) b) [(rap)>~ala@eon) ©) Litr~p) sq] (peor) ) [(r~p)<>ralarp) e) [pad rp © Daas las proposiciones: p: Marco es comerciante. q: Marco es un préspero industrial. t: Marco es ingeniero. simboliza el enunciado: “Si no es el caso que Marco sea lua comerciante y un préspero industrial, entonces es ingeniero ono es comerciante”. a) ~(paq) (rp) b) pag) itra) )~(pvq)trvp) d) ~(prq)(ev=p) ©) &pr~a) (vp) Dado el conjunto; 1,2,3,4,5}, {oudntas de las siguientes proposiciones son verdaderas? L¥xeA, x+3<9 Il. WxeA, x >1 TIL. vxeR, x >0 IV. ¥xeN, x°+2>0 a) d)3 1 2 a4 Dadas las proposiciones: «a 25 es un cubo perfecto. pe 9s un ntimero par. 1: 23 es un ndmero primo absoluto. calcula el valor de verdad de: ~al-prd rr) a) Verdadero d) Falso ©) No se puede precisar. e) No son proposiciones. NA. ® La proposicién: “Si Patty no va al cine o Patty va al cine, pero no va con falda implica que no va al cine, pero tiene puesta su falda”. es equivalente a a) Patty vaal cine, 1) Patty no va al cine, ©) Patty tiene puesta su falda, ¢) Patty no lleva puesta su falda, e) Es una tautologéa iCudles de las siguientes proposiciones son equivalentes a(poq)or L~(p-an~s) Il. (pa~q) IIL. @vqga~(-r0@) IV.~pvavr a) Sélo I d) Lyf b)Sdloll ey NA. ©) Sélo IIT mam ® Sila proposicién compuesta: qo) ¢s falsa, indica las proposiciones que son verdaderas. bypya ryt Opryt a)pyr Daye Si:~[pvarsq)IA~pva)> (q-p)] es verdadera, los valores de verdad de p, ay r son, respectivamente: a) FFV d) VEF b) WE ©) VEV VW @ Ve la falsedad de: (p~qury); sededuce quer L~qv-s)p IL. ~C1ns}eo-p >a) II. plq>~6>)] ‘Son respectivamente: a) VWF d) FFE b) VEV e) FVF o) FW Si la proposicién: pr(ras) es falsa, icusles de las siguientes afirmaciones son verdaderas? I. “r” necesariamente es falsa IL. “s" puede ser verdadera. IIL. “p” acepta un sélo valor de verdad. a) SéloI dIytl b) Sélo II e) yl ¢) Sélo IIL Dadas las proposiciones: q: “4 es un ntimero impar”; y pyr cualquiera tal que: ~[(rvq)>(¢-9p)] es verdadera; halla el valor de verdad de los siguientes esquemas moleculares. LroGpy-q) IL, Frer(on@l o-pra) a) VF d) FF b) VV) depende de “a” on La proposiciéns(pvq)a] s[(pva)ds] }> [(s4p) >t] es falso, determina el valor de verdad de la siguiente proposicién: {[(~pdq) br] >~[q>(up)F Alpdq) a)V DF ce) V6F 4) Absurdo e) Paltan datos ® Sila proposicién [p>~qlvl-r> s] es falsa; halla el valor de verdad de las propesiciones 5, ¢ Y p, respectivamente, a) FVV 6) VF 4) VWF) VW ©) VFV @ Si la proposicisn: ~[(pr~e)> (rd~q)] es verdadera, halla el valor de verdad de: L Gsq)Aep) I m(qnmsa(pr=t) ILL (pagers) per) a) VEV by EVV 4) VVV e) FFF c) FVF @ Sila proposicién: ~[(pr~1)> (ed~q)] es verdadera, halla el valor de verdad de: I. (tas) [(pdp)—>(rys)] TL. (perg)A(rerg) I. (easaqvisna)va a) VEV.b) FFV d) VVV_ e) FFF o)VVE ® Sabiendo que: (r->q)v~p es falso, halla los valores de verdad de: L@po@oo IL (pa~aeq) a)WWb)VE EV OFF 6) FD. ® Sila siguiente proposicién: [arpa] (rs) es falsa, da de el valor veritativo de: 1 [(po-a)vs rev) IL. [(evp)=s} vw 0) a)VVB)VE EV 4) FF ©) Depende de "w" @ Si la proposicién: (a> Ara) es falsa; el valor de verdad de las proposiciones es respectivamente: 1 (poa)viepne) IL. (@a~a) (pr) a) WV b)VE or 4) Solo puede determinarse una de ellas. ¢) No puede determinarse. i las siguientes proposiciones: (pv~q) y (aap) son falsas, determina el valor de verdad de: 1 (qop)(q>~p) I. @>-p)> (a>) a)VVB)VE oo) FF dJEV NA i definimos: p#q=pa~qi entonces si ~p#(pva) es verdadero; determina el valor de verdad de(p#q) y ~p#~a a)VF BW FV FF NA i la proposicién: [(pda) - (pws es falsa, entonces se afirma que la siguiente proposicién: [svipr~w)]v(peoq), es: a)V b)F c) Nose afirma nada, ) Toma ambos valores de verdad ED. Se define: p*q="ni p,niq’ (Cusl (es) de las proposiciones son ciertas? 2) (@*p)*(a%a)=pra b) (a) =(e"P) ©) pta=pla 4) (p%@) (p>) =P e) NA. a / jRumbo a la Universidad...! —— @ Silaproporicions*(prq)—-@)"es alsa, ‘cual de las siguientes afirmaciones son verdaderas? I. “pt es falsa, II. “q” puede ser verdadero. I. “qr es fala. a) Sélol b) Sdloll —_¢) Solo IIL dlyll ©) Ninguna Sila proposicién: "(pr~q)—>(p 91)" es falsa, dcusl de las siguientes proposiciones son verdaderas? 1. “pvq” es falsa IL. “+g es verdadera, UI, “sqyvp" es verdadera, a) Ty b) Ty) yl d) Todas e) Ninguna @ De la falsedad de: (pq) (199), se deduce que: 1 &pvq)s I. ~qa(pr) IL. (qo) son respectivamente: a) FFV b) FW ) VFV d) WF e) VFF Dadas as proposicionesq “13 esun ntimero par”; ~{(rvq)—r(r-+p)] es verdadera; “p" y “e* cualquier valor Halla el valorde verdad de las siguientes proposiciones: Lop) IL. [ro(pagloema) a) VF »w oF d) FF ¢) Depende de “q” Si ~[(pvav(rog)lal-pva)>(qr~p)] es verdadera, los valores de verdad de “p”, ‘a y “e" son respectivamente: a) FFV b) VVF ow d) VEF ©) VFV

Você também pode gostar