Instituto de Formacién Técnica Superior Nro. 21 Materia: Logica Computacional Profesora: Carina Prado Afio:2013Logica Computacional Definicién de propos (Una proposicién es una sentencia con un tinico valor de verdad” Ejemplo: a)“443=7 ) “10 es un ntimero primo ” c) “ Cierra la puerta “ El valor de verdad de a) es verdadero, de b) es falso y c) no es una proposicién. A las proposiciones las designamos con letras minisculas, entonces refiriéndonos a los ejemplos quedaria: a) p“4+3=7" b) q:“ 10 es un nimero primo” Luego el valor de verdad se escribe de la siguiente forma: a) V@)=V b) V@=F Proposicién compuesta: [Una proposcién compursa se obtiene a pari d ns proposisiones simples qe ls componen: Heme: r:“4 + 3=7y 10 es un ntimero primo” r se obtiene a partir de las proposiciones simples p y q 1s proposilaaeg gro obtienen a partir de las proposiciones simples mediante el uso de los Simbolo__| Se lee | Se llama ~= no megacion A y conjuncién 0 producto logico v © (inclusive) disyuncién o suma logica > si .entonces | implicacién e Siy solo si doble implicacién v © (en sentido excluyente) ‘Tabla de verdad: La tabla dé verdad es un cuadro que nos muestra la relacién entre el valor de verdad de la proposicién compuesta y el de las simples que la componen. La proposicién “p” puede ser V 0 F, luego: eS p: “ Hoy es lunes” VF “ no es cierto que hoy es lunes “ Flv ~p: “ hoy no es lunes “ Observamos que el V(p)# Vp) ‘Veremos a continuacién las tablas de verdad con cada uno de los conectores légicos: (po) El valor de verdad de pqes verdadero silos El valor de verdad de pvq es falso, si los valores de verdad de p y p son ambos valores de verdad de p y q son ambos falsos, verdaderos, es falso en todos los demas casos. en todos los demas casos es verdadero.Légica Computacional p=>q_ (pimplica q, q se deduce de p) Vp: antecedente F — q:consecuente Vv v El valor de verdad de p => q es falso si el antecedente es verdadero y el corisecuente es falso, en cualquier otro caso es verdadero. mad fo am qes verdadero solo El valor de verdad de p v-q es verdadero en el encl caso que py p tengan el mismo valor de _caso que p y q tengan el valor de verdad verdad. 4% opuesto. De acuerdo con el resultado de la tabla de verdad se clasifican en: tautologia, contradiccin y contingencia. Tautologia: el valor de verdad es verdadero independiente de los valores de verdad de las proposiciones que la componen. Contradiccién: (también se le Hama antitautologia) es valor de verdad es siempre falso. + el valor de verdad depende del valor de verdad de las proposiciones que la componen. ‘Dos proposiciones son equivalentes si sus tablas de verdad son idénticas. Ejemplos: )-pva p|a|-p| ~pvq vivjFT ov 4 y _ : E Observamos que el resultado de esta ririvi ¥ tabla de verdad es igual a lade p= q 2)(p=a)ala=Pp) a|p=ql a> =>qaq> ad psa| asp |e AI P— | Observamos que el resultado de esta viFl F v F tabla de verdad es igual a lade p <4 Fiv| ov F F Luego ambas proposiciones son FIFI] Vv v v equivalentes. Depva)acavp) p _|'a |~p |~q | ~pvq | ~avp | Cpva)acave) viviFlFl v Vv Vv virlri]v| F v F Fiv}|vJFE] v F F Fle[v]|vl v v v ‘Observamos que el resultado de esta tabla de verdad es igual a la de p> Luego ambas proposiciones son equivalentes. ZLogica Computacional 4)~(pya) P Vv y Observamos que el resultado de esta E tabla de verdad es igual ala de p <> q Leyes del Algebra de proposiciones: Conmutativa: (p va) = (av P) disyuncién | © (pag)=(qap) conjuncién ) Asociativa: (pvq) vr =pv(qvr) (pag)ar =pa(aar) Distributiva: pv (qAr)=(pVq)A(PVE). distributiva de la disyuncién respecto de la conjuneién pA(avr)=(pAq)v(pAr) distributiva de la conjuncién respecto de la disyuncién Idempotencia: pvp PAP p Observamos que F es el elemento neutro de la disyuncién y Vesel elemento neutro de la conjuncién. pVV=V_ paFSF Observamos que V es el elemento absorvente de la disyuncién y Fes el elemento absorvente de la conjuncién. Identidad: pvF=p pa Complemento: pv~p PA~P Involucién: ~(~ p)=P ~VeF ~F= DeMorgan: ~(pvq)= ~p A~4 ~(paqy=~Py~a Todas estas propiedades se demuestran utilizando las tablas de verdad. Ejemplo: 1) Demostraremos la primera ley de Morgan: Observamos que la cuarta columna es igual a la séptima columna. 2) Demostraremos la propiedad asociativa: (pvq)vr =pv (avr) 3Légica Computacional amandddd madcdmad co mcndd|s madd dd<~q)=~@Ppv~a)= PAG Funciones proposicionales: ~ ‘Sea X un conjunto, una funcién proposicional sobre X, P(X) es una expresion que puede ser verdadera o falsa dependiendo de los valores de a € X. Ejemplo: PCR): Sxt si si 5° Pia): “441=5* — VR)=V PO): 941=5% — VR())=F ‘Una funcién proposicional puede generalizarse 0 particularizarse por medio de los cuantificadores, “3x/P(x)” particularizacion - —> 3 cuantificador existencial ~ “¥x/ P(x)“ generalizacion —» V cuantificador universal Bjemplo: En el conjunto X=Z la proposicion “Vx, x < 0” es falsa por que 3x: x20 ion de funciones proposicionales: ~ (Wx: PO) = 3c ~PCs) ~ (3x: PO) = Vx: PG) Ejemplo: ‘Negar las siguientes funciones proposicionales: 1) Vxix<-7 enX ~ (Wa x<-7 ) (3ex2-72) 2) 3x: P(x) => AX) i = (3x PO) => Qox) ) Vx: ~ (PCR) => QD) ) = We = POD ¥ OG) ) = Ve: POY A~ QO) 3) Vx: ~ P(x) A Q(x) ~ (Vx: ~ PR) 9 AW) = Be ~(~ POD A A) 3x: Px) v~ Q(x)Légica Computacional Teoria de Conjuntos Definicién: un conjunto es una coleccién de objetos. Los conjuntos se designan eqn letra mayiscula y los elementos del conjunto con letras mintiseulas. aeéA significa que el elemento a pertenece al conjunto A a¢A_ significa queel elemento a no pertenece al conjunto A Utilizando las letras N, Z, Q, R, C designaremos a los conjuntos de mimeros naturales, enteros, racionales, reales y complejos. A ‘Los conjuntos se pueden definir por extensidn nombrando a todos sus elementos 0 por compresnsién wtilizando una propiedad que caracteriza a todos los elementos del conjunto. Ejemplo: A={1,2,3} Elconjunto A esté definido por extensi6n. A= {x/x€N, x<4} Elconjunto A esté definido por comprension Conjuntos especiales: Conjunto unitario: un conjunto se llama unitario o singulete si tiene un solo elemento. a}={x/x=a} Conjunto Universal: un conjanto se llama universal si para todo conjunto A es verdadera la siguiente proposicién: xe A =>xeU El conjunto universal no se fija previamente para todos los conjuntos. Conjunto Vacio: un conjunto se llama vacfo si hace verdadera la siguiente proposicion: xeU >xeU Da{x/x#x} ={} Igualdad e Inclusién de conjuntos: Definicién inclusién: un conjunto A esta incluido en un conjunto B, si para todo x es verdadera la siguiente proposicién: x ¢ A=>x €B Ejemplo: ACB @ VxeA=>xeB (AessubconjuntodeB) Definicién igualdad: dados dos conjuntos A y B diremos que A es igual a.B si y solo si se incluyen mutuamente. Ejemplo: A=B << ACBABCA Si Ac Ba A#B. diremos que la inolusién es estricta. Propiedades de la inclusi6n: Dados A, B y C se verifican: DACA 2) ACBABCA=>A=B 3) AGB ABCC AcC Propiedades relativas al conjunto vacto y al conjunto universal: 1) VA @cA 2) VAS AcU 3) A=B ACB 4) A-U@UcA 5) El conjunto vacio es tinicoLégica Computacional Ejemplos: 1) SeaM={ m,r,s}, indicar cudles de las siguientes afirmaciones son correctas o incorrectas. a)reM Correcto, un elemento pertenece al conjunto b) rcM Incorrecto, pues r es elemento, se incluyen conjuntos c){r}=M _Incorrecto, pues {r} es subconjunto no es elemento d{r}cM — Correcto 2) Son iguales los siguientes conjuntos: 2, { 0}, {2} ‘No son iguales, pues, @ es el conjunto vacio, { 0 } es un conjunto unitario cuyo elemento es el cero y { @ } es un conjunto unitario cuyo elemento esel @ . Operaciones entre conjuntos: Interseccién: dados dos conjuntos A y B lamamos interseccién entre A y Ba ANB={x/xeAy xeB} ¥ Si AB =@entonces A y B son conjuntos disjuntos Unién: dados dos conjuntos A y B lamamios unién de A con B al conjunto dado por AUB={x/xeAvxeB} © Complementacién: dados A llamamos complemento de A al conjunto dado por: Z=A‘=C(A)={x/xe A} ; Diferencia: dados dos conjuntos A y B llamamos A diferencia B al conjunto dado por: A-B={x/xe An x¢B}={x/xeAn xe B}=AN B, OseaA-B=AnB Diferencia simétrica: + wa AAB={x/x ¢(AUB)A x €(ANB)}={x/x € (AUB)A x €(ANB)} aplicando propiedades llegamos a AOB={x/x¢(A-B)U(B-A)} Leyes del Algebra de Conjuntos: Dados los conjuntos A, B, C que pertenecen al universal U, se cumplen las siguientes propiedades. Conmutativa: (AAB)=(BOA) interseccién (AUB)=(BUA) unién Asociativa: (AQNB)AC =AN(BNC)* - (AUB)UC =AvU (BUC) Distributiva: AU(BAC)S(AUB)A(AUC) distributiva de la unién respecto de la interseccién AA(BUC)=(ANB)U(ANC) distributiva de la interseccién respecto de la union Idempotencia: AUA=A ANA=A Identidad: ANU=A AU@=A_ Observamos que U es el elemento neutro de la interseccion y Ges el elemento neutro de la unin. AN@=B AUU=U_ Observamos que U es el elemento absorvente de la unién y @ es el elemento absorvente de la interseccién. 6Légica Computacional Complemento: AU A=U AN A=8 Involucién: A=A @=u @ q De Morgan: AUB = ANB AGB = AUB Todas estas propiedades se demuestran utilizando légica proposicional. J) Demostraremos la segunda ley de Morgan:| ANB = AUB Debo probar la doble inclusién por definicién de inalded, a) ANB C AUB b) AUB cAnB H) A¥@ BAD T) ayb) a)xe€AnB = x€AnB = ~(k€ ANB) =~ (xe AnxeB) >~(x e ADV ~(K EB) dof. comp. porneg. def. por Morgan (~(p.- 4) =~ pv~a) = xeAvxeB = xedvxeB > xedUB porneg. por camp. atu b)xedUB oxeAvxeB = xeAvxeB >~(x € A)v~ (ke B)>~ (xe AAxe B) atu def.comp. por neg. por Morgan (~p V~q= ~{p..9)) = ~(E ANB) =xeANB = xeAnB ein por neg. por comp. roars Luego de a) yb) > ANB = AUB 2) Demostraremos Ia ley distributiva de la interseccién respecto de la unién. H) A#@, BAD, C#O T) AN(BUC)=(AnB)U(ANC) Dem) Vale la igualdad por definicién si y solo si se incluyen mutuamente a)AN(BUC) & (ANB)U(ANC) ° b)(ANB)U(ANC) c AN(BUC) a) Vx:x€U>x e AA(BUC)=>x¢Aaxe(BUC) >xeAn(xeBvxeC) def ~ defi (KE AAx € B(x Anx € C9 x € (ANB) Vx (ANC) K€ (ANBUANC) dist. def. def.u =AN(BUC) C(ANB)U(ANC) (1) b) Wx: x € Ux € (ANB)U(ANC) x € (ANB) VxE(ANO) > def deh (KE AAx € Ble AAx eC) > xe An(xeByxeC)xeAnxe(BUC) dist. def. =>xeAn(BUC) ann =(ANMB)U(ANC) cCAN(BUC) (2) De(I)y@) AN(BUC) =(ANB)U(ANC) 7Légica Computacional Conjunto de partes: Definicién: Dado un conjunto A llamamos conjunto de partes de A, al conjunto P(A) dado por: P(A)={S/ScA} luego P(A) es un conjunto cuyos elementos son los subconjuntos de A, 0 sea Se P(A) > SCA Ejemplo: Hallar los conjuntos de partes en los siguientes casos: 1A={1,2} luego P(A)={{1},{2},(1,2},.9} 5 2A={a} — luego P(A)={{a},O} 3)A=@ Tuego P(A)= {2 } Propiedad: Si el conjunto A tiene n elementos entonces el conjunto P(A) tiene 2° elementos. laAl=n = [PaAyl= 2‘Légica Computacional Niumeros Enteros Divisi6n de enteros: Teorema: Dados a,b < Z, b# 0, se puede escribir: a=bqtr | dondegreZ 0 _cociente Sir=0 diremos que “b divide aa”, o bien “ b es divisor de a”, o bien “aes multiplo de b” y Jo notaremos b/a Propiedades: 1) a/baa/e=a/ (bec) 2) albva/c=a/be 3) afbab/e=ale Ejemplo: ‘ Demostraremos la propiedad 1) Sia/b=> b=ak: kjeZ Sia/e> c=ak, eZ bto=a(ki+k) perok=k+ ky =k conkeZ bto=ak = a/(b+c) Definicién de divisibilidad: Dados, b € Z, se dice quea/b (adivideab) si3qeZ/b=aq Porteorema b=agtr =>b=aq = r=0 por def ‘ Definicic n° primo: Dado p € Z,p #0, 1,-1 sedice primo <> sus tmicos divisores son + 1,+ Pp Propiedad: Teorema fundamental de la. aritmética ‘Todo némero entero positive n > 1 puede expresarse en tna tinioa forma n = py! p2'?,...+..sPs donde p; ...... Ps Son distintos nimeros primos que dividen an y ky .... ky también son enteros positivos que indican el nimero de veces que cada pi primo es factor de n Ejemplo: 48 |2 24|2 12|2 48=2'3' 6|2 3|3 1 Definicién de maximo comin divisor: a>0 d.abeZ*, d=med(ab) = (a:b) <> 1) d/an d/b 2 akeZ klank/b >k/d Propiedades: 1) Sid=med (ab) = d=sa+tb cons,teZ (combinacién lineal) 2)VabeZ* => med (ab) ~ med(b,b+a) Obtencién del med (a.b): 1) Expresando los nimeros 2 y b como producto de sus factores primos y de ellos se eligen los comunes con su tenor exponente. rmin(akbl) pintLégica Computacional Ejemplo: 48=2'3 84=2°3.7 luego mod (48, 84)= 27.3" b) Usando el algoritmo de Euclides med (ab) siendo a> b>0 a=bqtn O med (2, b) Ejemplo: med (5, 12)=1 entonces 5 y 12 son coprimos Definicién de minimo comin miltiplo: m>0 m,abeZ*, m=mem (ab) <- 1) mes miltiplo de a y mes miltiplo deb, o sea amy b/m 2akez también méliplo dea y deb entoners kes miltiplo em, a kn b/ k= m/k Obtencién del mem (ab Ye Se obtiene factoreando a y b en sus factores primos y realizando el producto de los comunes con su mayor exponente y de los no comunes. Ejemplo: a= 540 b=504 Hallar el mem (a,b) Se factoriza y resulta: am le amie 540= 27.3.5 135 | 3 126 | 2 504= 2.37.7 45 | 3 6/3 mem (540,504) = 23. 3°. 5.7 1s | 3 2/3 med ( 540,504) = 27. 37 ; a q # 10Légica Computacional Propiedad: mem (a,b). med (a, b)= a.b Definicién de congruenci Dos enteros a y b son congruentes en médulo n, si y solo si su diferencia es miiltiplo den 0 bien sin divide a su diferencia. stock Notacién: a= b(n) <9. n/(a-b)->"~ sin/(Q@-b) > a-b=nk keZ @sbe P a u