Es una parte de la légica que estudia las proposiciones y la relacién existente entre ellas, asi como la funcién que tienen los conectivos ldgicos. PROPOSICION LOGICA : Es aquella expresi6n u oracion coherdfily que puede calificarse o bien como verdadero (V) 0 bien como falso (F) y sin ambigiiedad. Las proposiciones ldgicas generalmente se denotan con letras minusculas, tales como: p, q, FS, ..., etc. EJEMPLOS: p :7+5=8 q_ : Todo hombre es mortal. r :14 es un numero primo. Las preguntas, mandatos, exclamaciones, deseos, etc. NO son proposiciones légicas ya que no se pueden calificar como verdaderas (V) o falsas (F). EJEMPLO: éComo te llamas? Buenos dias jHaz tu tarea! NEGACION DE UNA PROPOSICION : Consiste en cambiar el valor de verdad que tiene una proposicién. Si la proposicion es "p", su negacion se denota por "~p" y se lee: "no p" o "es falso que p". Las diferentes posibilidades las podemos esquematizar en una tabla, denominada Tabla de verdad. EJEMPLO: p :6 es un numero par. ~p: 6 no es un numero par. wl amCONECTIVOS oe 3 Son elementos que sirven de enlace entre las proposiciones, para formar otra, denominada a veces proposicién molecular. EJEMPLOS: Lima es la capital del Peri y Barcelona es la capital de Espafia Pp q KS ‘CONECTIVO LOGICO 4es un niimero impar 0 16 es un niimero primo o_ar—ew {em ninropin re ens CONECTIVO LOGICO. Los conectivos légicos empleados son: 1) 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 disyuncion de ambas. La disyuncién de las propy "po q" se denota: pv q. EJEMPLO: “4 es menor que 7” 0 “4es igual a7” simbélicamente: P v q Il) CONJUNCION : (se simboliza: "A", se lee: "y") Dos proposiciones se pueden enlazar por medio de la palabra "y" para formar una nueva proposicién llamada conjuncién de ambos. La conjunci6n de las proposiciones "py q" se denota: pa q. Be a> [ips AngEJEMPLO: “4 es menor que 7” y “4 es igual a7” ————— —— simbélicamente: p A q Las palabras “sin embargo”, “pero”, “ademas”, “también”, “incluso”, “no obstante”, “aunque”, “asi mismo”, “ta como”, etc, equivalen al conectivo légice-y. Ill) CONDICIONAL : (se simboliza por: "+>", se lee: "si ..entonces.. Muchas proposiciones, especialmente matematicas, son de la forma "si p entonces q". Tales proposiciones se denominan condicionales y se les denota por: p> q. A la proposicién “"p" se le denomina “antecedente" y a "q" “consecuente". EJEMPLO: Si; “4.es menor que 7” entonces “4 es igual a7” simbélicamente: p > q Las palabras “por consiguiente”, “de modo que”, “por lo tanto”, “en consecuencia’”, “luego”, “dado que”, equivalen al conectivo condicional. IV) BICONDICIONAL : (simbolizada por: "<>", se lee: "si y sdlo si") Es aquel conectivo que al enlazar"p" con "q" se denota "p<> q" yse lee: "psiy solo si q". q|peoqEJEMPLO: “4 es menor que 7” si y sdlo si “4 es igual a7” Gulbis pele er Oraes simbélicamente: p ° q las palabras “cuando y sdlo cuando”, “entonces y solo entonces’, etc, equivalen al conectivo légico “si y sdlo si”. V) DISYUNCION EXCLUSIVA : (Se simboliza: "A", se lee: “o ... 0 ...”) P a|pPaaq vov F FOF F EJEMPLO: 0 bien Marco juega o bien estudia aS — —e simbélicamente: p A PROPOSICIONES conpuellilly Utilizando conectivos Idgicos se puede combinar cualquier numero finito*de proposiciones; para obtener otras, denominados proposiciones compuestas. EJEMPLOS: (p> 4)s(~Pvs) (Pa ~)v(~ta wr) TAUTOLOGIA, CONTRADICCION Y CONTINGENCIA TAUTOLOGIA : Es toda proposicion 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 > (p v q)es una tautologia, tal como se puede comprobar en su tabla de verdad. flyP 4a| Pp > (pva) vviv Vv VFiV Vv Fov|F Vv FFI F F fly Entonces: p> (pv q)=V vw CONTRADICCION : 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 proposicion: (p A q) A ~q es una contradiccién, tal como se puede comprobar en su tabla de verdad. Pog |(PADMANA Entonces: (p ~ q) A ~q =F CONTINGENCIA : Es toda proposicién légica cuyo valor de verdad tiene al menos un verdadero (V) y un falso (F). EJEMPLO: La proposicién (p v q) > ~p es una contingencia tal como se puede comprobar en su tabla de verdad. Pq |(Pvq)>~p ma<< na. «.«EQUIVALENCIA LOGIC, Se denomina asi a toda bicondicional po q que sea una tautologia y en tal caso la bicondicional se denota por p = q. ALGEBRA DE PROPOSICIONES Son equivalencias légicas que nos permiten simplificar un problema y expresarlo en forma mas sencilla. Las demostraciones se hacen construyendo la tabla de verdad en cada caso. PRINCIPALES LEYES: I) Ley de Idempotencia : paq Ill) Ley Asociativa lb (pvq)vr=pv(qavel (PAG AT=PA(GAT) Ke IV) Ley Distributiva : Pv (qar)=(pvq)a(pvr) PA(qvn)=(Prq)v (par) V) Ley de la Doble Negacién : ~(-p) =P VI) Leyes de Identidad : PvF=p PAV=p; pAF=F Vil) Leyes del Complemento : Py~p=V PA~p=F Vill) Ley del Condicional : p>q q IX) Ley del Bicondicional : Po q=(P>49)A(q> Pp) Pog= (P04) v (“PA ~18 Ay? +4516 T+ “x” es un numero primo Si en la primera funcién proposicional Py x" le damos diferentes valores tendremos: para: x=10> Pro}? 10-2>18 8>18 (F) para: x=23—> Pros)? 23-2>18 21>18 (V) Como puede verse, dependiendo del valor de la variable podemos obtener resultados diferentes. CUANTIFICADOR UNIVERSAL : Si a una funcidn proposicional, le anteponemos la expresién "para todo x", estaremos indicando el sentido universal de dicha funcién proposicional, obteniéndose ahora una proposicién ldgica. \ Notaci6:Se lee: "para todo x, tal que, se verifique Pos &) EJEMPLO: Si tenemos una funcion proposicional: Puy? x+5>2 [noes proposici6n logica] y ahora le agregamos el cuantificador universal Vx: Poy Vx x+5>2 tendremos una proposicién logica, cuyo valor es falso, por que no todos los valores de "x" cumpliran la proposicion, por ejemplo: para x = - 4, no se cumple. Entonces es falso que para todo "x", se cumpla: x + 5 >2 CUANTIFICADOR EXISTENCIAL : Si a una funcion proposici anteponemos la expresion "exist que", estaremos indicando el s existencial (que exista) de dicha fuinci6n: Notacion: Se lee: “existe un x, tal que, se verifique py)". "existe por lo menos un x, tal que, se verifique Poo" "al menos un x, verifica Puy” EJEMPLO: Po? X— 3>10 [funcion proposicional] AX: Py dx: x-3>10 [proposicién légica] Para verificar que es una proposicién légica, podemos darnos cuenta que si: x = 15, se cumple la desigualdad, ya hemos encontrado por lo menos un "x", que verifique p(x), por lo tanto es una proposicién légica, cuyo valor es verde iNEGACION DE PROPOSICIONES QUE TIENEN CUANTIFICADORES Sea la proposicion Vx: p,,) su negacién sera: ss De la misma forma, si tenemo proposicién 4x: Poo = su negaci6n sera: MERGE 0g EJEMPLOS: ax: x27 ~fax: x =7) = Vx: x47 Sx: "x" es un numero par. ~[Hx: x es un numero par] = Vx: "x" no es un numero par. Vx: x? >1 ~[Vx: x? > 1] = ax: x? <1 CIRCUITOS LOGICOS El valor de verdad de una proposicién puede asociarse con interruptores que controlan el paso de la corriente. Asi si una proposicién es verdadera, el interruptor estara cerrado y la corriente pasara. Si la proposicién es falsa, el interruptor estara abierto y la corriente no pasara. pliccBum eats ORE aly tick p=v) PSE Los interruptores pueden estar en serie o paralelo: EquivalenciaLégica Serie : ——P——q-—=_ ene Paralelo : p- pvq q: Mixto : p—q . @aqy 80g ~ —TABLAS DE VERDAD 1) Negacién. Se denota mediante el simbolo “~” y se lee “no es cier- to que...” o “es falso que ... ~p Vv F F Vv 2) Conjuncién paq naq)=pa~q Ley de la Condicional Poqe-pYq Ley de _la_condicional contrarreci- roca P>q=~q>~p Ley de la Bicondicional a) (po q)= [lp >a) 4 (a> pl] b) (p> q)=[(~p vq) (~qvp)] c) (pq) E[(~pr~Q)v(prq)] dq) (pq) =[~ (pv q)v(p aq] Ley de la diferencia simétrica a) pAg=~(p) = (pn) Ley de Adicion p>pvq Ley de simplificacion pUBigg paq=p Riis