Légica 33 @ {Cuail de las siguientes esquemas no sefialan una tautologia? a) (pag@e(qvp) b) (pag) e(-pa-~q ) (page(qap) 4) (Pp—>q) = (-pr-a) Qi) Determinar ta validez del esquema: ~|~(=p 4 ~q)—+ ~(PV > [-(-PV)] @)_—_ Ludi ce tas siguientes proposiciones es una tautologta. a) (Pag vy lpacpy gl — (p— ~9) bb --~vqg— -ql > (pP— 2) +P Ver Pe>g Construir 1a tabla de verdad y determinar cudles son tautologia, contradiccién © contingencia. a) (p—+q) <> [&#—> gq) a (q—> pI bd P— qv-la-peo {Cudles de las siguientes proposiciones es una tautologia? a) ~{(paq@ vipa (-pv Ql] <> (p—>~@) b) ~-p-3 9) (peg) ©) [(pv-aaql—p d ~-(-pvqg— ql ->— 9) ee) [-patqqv-nl— ICpagvpvn) ‘Simplificar las siguientes proposiciones: a) {-a— -al— I-p)—> CI) — ~P rg) by) (p—>q) v-p] A(-a—> P) oo ~tI-~p ag) v~ql— I+ v-al) @& Cpy-aal-pa@—pil 2) [p> (Prglv(an Hh +Hpsg>-ayp ® I-pad>=@=>pilap Simplificar las siguientes proposiciones:54 Eduardo Espinoza Ramos a) [(-paqg)— (ran a-q b) [-a— ~P) — -P— -@] 0-04) © [pag v(pa-~g] vCpr-a) 4) (pPagdvCpr-ayp ® ®@ ® ® ® ® ® ®@ ©) telp=goqdabresq=p) 9 erg >~a>pPla@Prva 8) pr-@aq=panve Si-[(-p v q) v ¢—> q)] 4 [(-p v q) — (qa -p)] es verdadera, hallar los valores de verdad de p,q yr. Si la proposicién (p —» ~q) —+ (r —> ~s) es falsa. Hallar el valor de verdad de las proposiciones p.q.r.s. Si la proposicién ~(p 0 q) a (q <9 p) ¢s verdadera; entonces hallar los valores de verdad de p y qrespectivamente. Si la proposicién (p =» ~q) v (~r — s) es falsa. Hallar el valor de verdad de los siguientes esquemas moleculares. a) (P=Q>[PvQr~d bb) Crvgel-avnas] oo (Ppa-dvy-~q Determinar el valor de verdad de las proposiciones p y q si se conoce Ia informacién siguiente: a) (pag) (pva) es verdadero b) ~(prq) es verdadero Determinar el valor de verdad de las proposiciones p y q si se conoce que el valor de verdad de! siguiente esquema [~(~p => q) => ~p—> ~q)] = (p— q) ¢s falso. Si p y q son verdaderos gpara qué valores de r, el esquema siguiente es verdadero? (r —> p) = (-q=> 0) Si se tiene los siguientes datos: p es verdadero; r => ~p es verdadero y w => t es verdadero. hallar el valor de verdad de~ry det.55 a Si el esquema (p a q) —> (p— 1) tiene valor de verdad, falso, halla el valor de verdad de los esquemas a) [pag viqv -)] (pv) b) (Py-g=Crag) © ~Gvnviva Si la proposicién (~p q) => [(p 41) vt] ¢s falsa, hallar el valor veritativo de: a) ~(-py-@— v0) db) Gav-nv[-tv (va) Oo -psvs-qsn Si la proposicién (p « q) => (q = 1) es falsa y se tiene los esquemas moleculares. a) ~qGvnv(pvq) db) (Pv -g=>CrAq) © [pagdv@a—l eo (pv-r) Cuales son falsas Si la proposicién (~p q) => {(p 01) v t) es falsa. Hallar el valor de verdad de cada una de las siguientes proposiciones. a) (p>=n)>Cq>n0 b) Cqa-)vita@vg) ) -Cpy-q(rv-p] Sean p.q.r.s,t proposiciones. Si [(-p) A q] = [(r => p) vt es una proposicién falsa, hallar ef valor de verdad de: ~(q vr) v ~{t=9 (-qa pI] Si la proposicién (~p a q) => (-s v1) es falsa, de las proposiciones siguientes, cuales son verdaderas? a) 4Ap>Q>r) by -~(-pagacrvodlas ) (py~aaply(-a) ‘Adnmitiendo la falsedad de: ~{p v qv 1] = ~(M AN a0). Hallar el valor de verdad de: a) (PAM) => (qvNJat b) [e=d=4>M) e050 ©) {{pvq—ras)]} A(-g— -9} = Kp— gq) a (q—> M))56 Eduardo Espinoza Ramos Admitiendo la falsedad de la proposicién: (pA q) = [(F v s) => (t => w)] hallar et valor de verdad de: a) (pP>war>q b) ~padv>Cs=>p) OO {lq=~tvn] a [p> ~r WI) [p= ~a) v ~t} Sila proposicién (~p a q)— [(p 4g) v t] es falsa. Hallar el valor de verdad de: a) -[-pv-qg— (rv 0) by -p— 9 — (-q— 9) oo Cav-)v[Aa@val Si q—>t ypq son falsas. Determinar el valor de verdad de: a) Cpviv-q b) ~-pacay-p)l oD [p—@a-~Gavle> [pv @a-v) Si la proposicién (~p « q) —» (-s v r) es falsa, Determinar el valor de verdad de: a) -l(p—9— 1] by ~-pagalervnas) oo Upy-daply~a Si la proposicién (p—> q) v (s —> ~1) es falsa. Determinar el valor de verdad de las proposiciones. a) “evadv—d by -L(pvq)a-q} (p—> 9) ©) It—-gade[-qvnas] Si la proposicin (q 4 ~p) —> [(p 41) vt) es falsa, calcular el valor de verdad de la proposicién: (~p— t) > (~q—> 1) Sabiendo que (q—> t) y (pq) son falsas, determinar el valor de verdad de: a) ~Ipat-av-p)l by) (pyovs © Epviqa-)] > I(p—>q) a-~qn vl]Légica 37 @ _ Sictesquema (-p-—>~a) v (FA q) es falsa, determinar el valor de verdad de: a) (p—>q)—> (r4~q) b) ~4~— lp gan Si We 48) At) —> (pv q) es falsa determinar el valor de verdad de: a) -1v(~s—> +t) b) Me dvIqa(-rvs)) © [As)vt—slal(pan Dado los esquemas proposicionales denotados por A, B y C respectivamente: A: pe ~qan ; B: ~pA-r ; C 4paq)v-r Determinar si A> C y B—>C son implicaciones (tautologia) Si la proposicién (~p q) => [(p Aq) v t] es falsa. Hallar el valor de verdad de: a) ACpy-@ (rv ~)] b) Cqa-nvita(pv@) Si el esquema indicado: [(~p v q) v [(p > q) at] Aq es verdadero, indicar el valor de verdad de: a) p=>q b) tvq oo ~qvttvp) Si la proposicién [(p v ) > (p A q)| es falsa, dar el valor de verdad de las siguientes proposiciones. a) [Gpa-latq>n] bd) [pv0e-py~q) ) pyvdA@agl Si la siguiente proposicién légica ~[(p q) = (q ¢ (rv s))] es verdadera, hallar los valores de verdad de p, r, 4, S- De la falsedad de la proposicién: (p > ~q) v (-r > s) determinar el valor de verdad de los esquemas moleculares. a) (-pa-gyv-q b) rvgeCavnas ©) (Pag Pyga-q De la falsedad de (p = ~g) v (-1 => ~s). hallar el valor de verdad de las siguientes proposiciones. a) -Cqv-s)>-p b) -Gras=Cp3=q 00) ps ~q~6 7)® ® ©O8© © @O|? ®©® Eduardo Espinoza Ramos Hallar los valores de verdad de: p,q. si: [(-pv q) v (r => @) A ((-p vq > (qa-p)l es falso. Si la proposicién: [~(p => q) a (~1 v s)] => es falso, halle los valores de verdad de: p,q yr Si: ~pv (pA > (6 q)] es also, halle el valor de verdad de: [(p =9 q) v 1] (p Ar) Si [-(P =>.) A-4] = [p 4 (qv n)] es falsa, halle los valores de verdad de: p, qy r- De la proposicién compuesta: ~[(p - q r) => s] => (~p vs) se conoce que es falso, sefiale el valor de: p, q,r ys. Si la proposicion “s” es falsa, y el siguiente esquema: (~p 0 q) <> [(q =>) v (pA -s)] es una tautologfa, hallar los valores de verdad de p, q yr. Demostrar si las siguientes f6rmulas son légicamente equivalentes: a) -paqs~pvq) « Pobseedeungrl 2 -avp=--prg=-p & (p> -q) 4a) ~(paga—}=Cpa-gaivn) ~p2Qd=-p @q5pe-q=-(-pe-@) Probar que son equivalentes p => q y(~p) v4 Probar la equivalencia de las siguientes proposiciones: a) ~p=>q) y pa(-@ b) ~paq) y Cp)v(-q) oO +pya)y Cpa a p>qay-q>-p 9 (~=OAGs0 y Pst Demostrar que las bicondicionales siguientes son equivalencias l6gicas. a) (p—QMeCrvg b) (P39) — DAG— P) ©) (agvp ep 4) (py@apep 2) ~p—gePr-o