LOGICA PROPOSICIONAL INTRODUCCION La légica estudia la forma de razonamiento. Es una discipli- na que se utiliza para determinar si un argumento es valido, tiene aplicacién en todos los campos del saber; en la filoso- fla, para determinar si un razonamiento es valido © no, ya que una frase puede tener diferentes interpretaciones, sin embargo le Idgica permite saber el significado correct. Los mateméticos usan la légica, para demostrar teoremas ¢ infe- rir resultados que puedan ser aplicados en investigaciones En la computacin, para revisar programas y crear sus alagoritmos, es utilizada en el disefio de computadoras. Exis- ten circuitos integrados que realizan operaciones Iégicas con los bits, gracias a estos se ha desarrollado las telecomunica- ciones (telefonia mévil, internet, ...) ENUNCIADO: Es cualquier frase u oracién que expresa una idea. PROPOSICION: Son oraciones aseverativas que se pue- den calificar como verdaderas 0 ialsas. Se representan con las letras mindsculas del abecederio: pq; 13s Ejemplo: * Tdpac Amaru murié decapitado. > 9<10 * 45=3-2 ENUNCIADO ABIERTO: Son enunciados que pueden tomar cualquiera de los 2 valores de verdad. Ejemplo: P(xj:x>6 Se cumple que: P(9):9>6es verdadero P(2):2>6 es falso El valor de verdad de P{x) depende del valor de x, también, se le conoce como funcién proposicional. CLASES DE PROPOSICIONES: 1. Proposicién Simple: Son proposiciones que no tienen conjunciones gramaticales ni adverbio de negacién. Ejemplo: * Cincuenta es miiltiplo de diez. 2. Proposicién Compuesta: Formada por dos o més proposiciones simples unidas por conectivos légicos c por el adverbio de negacién. Ejemplo: * 29 es un n&mero primo y 5 es impar. CONECTIVOS LGGICOS: Simbolos que enlazan des ¢ més proposiciones simples para formar una proposiciér compuesta Los egnettores ldgicos que usaremes son fi OPERACION SIMBOLO | ena \ | SIGNIFICADO ~ ‘Negacién Nop x Conjuncién pyq v Disyuncién poq > Condicional_| Sip, entonces q © Bicondicional | p siy sdlosiq Disyuncion z i : Exclusive [Oct Ove OBS: La negacién es un conector monddico, afecta sola. mente @ una proposicién. OPERACIONES LOGICAS Y TABLAS DE VERDAD La valicez de una proposicién compuesta depende de los valores de verdad de las proposiciones simples que la com: ponen y se determina mediante una tabla de verdad. 1. Conjuncién: Vincula dos proposiciones mediante e conectivo légico "y". Tabla de Verdad palpa 4 vvl Vv Vv Fl F FV e FFl FA. 5. Disyun conettivo légico "o" Tabla de Verdad Pp a[p v4 Vv Vv vFi| v Fvi| v FFl F Disyuncién Exclusiv mediante el conectivo Iégico: "o Condicional: Vincula dos proposic conectivo légico "Si ,entonces Tabla de Verdad palp>a vvi Vv VF| F Fv| v FF| ov m: Vincula Gos proposiciones mediante el Vincula dos proposiciones jones mediante el Bicondicional: Vincula dos proposiciones mediante el conectivo Kégico: i siysélosi Tabla de Verdad pa|pod vvul v VF] F FeV |e RAM Negacién: Afecta a una sola proposicién. Es un operador monédico que cambia el valor de verdad de una proposicién: Tabla de Verdad pl~P| viIF Fly OBSERVACION: La cantidad de filas en una tabla es: Donde n es la cantidad de proposiciones simples. IMPORTANTE: * Cuando los valores de! operador principal son todos verdaderos se dice que el esquema molecular e: tautolégico. Se diré que el esquema molecular es contradictorio si los valores del operador principal son todos falsos. Si los valores del operador principal tiene por lo meno: una verdad y una falsedad se dice que es contingente © consistente LEYES DE ALGEBRA PROPOSICIONAL Son equivalencias égicas que nos permiten reducir esque. mas moleculares complejas y expresarlas en forma mas sen cilla, Las demostraciones de dichas leyes se hacen constr yendo la tabla de verdad en cada caso. Principales Leyes: a. Ley(de Idempotencia: PYP=P PAP=P . Ley Conmutativa: pva pag c. Ley Asociativa: (pvavr=pviavn) (pagvar=patanr) d. Ley Distributive pv(qan=(pvg)a(py) palav1)= (pag) v(par) e. Ley de la Doble Negacién: ~(P) Leyes de Identidad: pvVsV ; pvFap paVep 3 paF g. Leyes del Complemento: py~psV pA~psF h. Ley del Condicional: p>-da=~pvai. Ley de la Bicondicional: poaata>p) paq)v(~pa~aq) ~(pAd) peq= pe Ley de Absorcién: Pv (pag) PA(pyq) pv(~ paq=pvq pa(~pvq)=paq Leyes de "De Morgan’ CUANTIFICADORES: Sea la funcién Universal: Cuantificador proposicional f,) sobre un conjunto A, el cuantificador V ("para todo") indica que todos los valores del conjunto A hacen que la funcién propesicional fy sea verdadera, Y se lee : "Para todo" Ejemplo: Sea fix? +2>5 donde xeN La proposicién cuantificada es YxEN x7 42>5 os false Cuantificador existencial: Sea f,) una funcién proposicional sobre un conjunto A el cuantificador 4 (existe algtin) indica que para algtin valor del conjunto A, la funcién proposicional {yy €s verdadera 3 se lee : "Existe al, Ejemplo: Sea f,) :x2-5<8, donde: x eZ", la proposici6n: ee CIRCUITOS LOGICOS Un circuito conmutador puede estar solamente en dos esta dos estables : cerrado o abierto, asi como una proposicién puede ser verdadera o falsa, entonces podemos representat una proposicién utilizando un circuito légico: 1, Circuito Serie: Dos interruptores conectados en serie reptesentan una conjuncién. —p—aq— <> paq 2. Circuito Paralelo: Dos interruptores conectados er paralelo representan una disyunci6n. P. <> pvq LOGICA BINARIA La [6dica binaria trata con variables que toman 2 valores discretos y con operaciones que asumen significado légico, para este propésito es conveniente asignar los valores de 1 yo. PRINCIPALES COMPUERTAS LOGICAS * Compuerta AND de dos entradas. P * Compuerta OR de dos entradas a >— pva * Compuerta NOT p—{So—-p * Compuerta NAND de dos entradas P gL Pra) * Compuerta NOR de dos entradas. P y & yo— ~ (pv)