Está en la página 1de 58
UNIVERSIDAD NACIONAL JOSE FAUSTINO SANCHEZ CARRION FACULTAD DE EDUCACION TEXTO DE LOGICA MATEMATICA AUTOR: PROF. LUIS EMILIO REQUEJO RIVERA HUACHO-PERU INTRODUCCION LA LOGICA: Es uno de los grandes aportes que la humanidad ha conseguido para su desarrollo. La exposicién concisa y breve del tema nos ayudaré a entender como la légica:se:inicia, se. désarrolla dentro de la Filosofia y luego como ciencia independiente contribuye al desarrollo de la matemdtica, la estadistica y otras ciencias. Esperamos que el presente trabajo sirva de soporte y empuje « todas aquellos alumnos que desean conocer y seguir investigando més cerca de este tema. et ane TEESE ‘Autor: LIC. REQUEJO RIVERA, Luis Emilio Pagina 2 Universidad Nacional José Faustino Sanchez Carrién INDICE 1, indice 3 2. Silabo 5 3. La Légica como ciencia 10 © El hombre y la Légica La Légica y la inferencia * Objetivos de la Légica y la inferencia «La Légica proposicional © Proposicion ¢ Enunciado numérico « Clase de proposiciones ¢ Prueba Autoevaluativa N° 01 4, Proposiciones Compuestas 17 La Conjuncién 7 «La Disyuncién: Inelusiva y Exclusive La negacién * Prueba Autoevaluativa N° 02 * Condicional o Implicacién © Bicondicional o doble implicacién ¢ Prueba Autoevaluativa N° 03 5. Evaluacién de leculares 25 * Uso de signos de agrupacién * Prueba Autoevaluativa N° 04 6. Uso de Tablas veritativas 29 * Clases de esquemas moleculares: tautologias, contingencias y contradiccién, * Prueba Autoevaluativa N° 05 7. Proposiciones Equivalentes 33 ° Definicién + Prueba Autoevaluativa N° 06 8. La inferencia légica 36 © Definicin © Uso de tablas veritativas a TO SS SESS ‘Autor: LIC. REQUEJO RIVERA, Luis Emilio Pagina 3 Universidad Nacional José Faustino Sanchez Carrién * Método abreviado. ¢ Prueba Autoevaluativa N° 07 9. Leyes Légicas 0 Tautologias * Leyes de Identidad © Ley de no Contradiccién, * Ley del Tercio excluido. + Equivalencias Notables #Ley de la Doble negacién *Leyes de Idempotencia *Leyes Conmutativas *Leyes Asociativas *Leyes Distributivas *Leyes de De Morgan *Leyes del Condicional *Leyes del Bicondicional #Leyes de Absorcién Forma Normal Conjuntiva (FNC) Forma Normal Disyuntiva (FND) * Prueba Autoevaluativa N° 08 10. Implicaciones Notables * Ley del Modus Ponens * Ley del Modus Tollens ¢ Ley del Silogismo Disyuntivo * Ley de la Inferencia Equivalente @ Ley del Silogismo Hipotético * Ley de la Transitividad Simétrica © Ley de Simplificacién « Ley de Adicién * Ley del Absurdo © Prueba Autoevaluativa N° 09 11. Circuitos Légicos * Circuitos en serie « Circuitos en paralelo © Disetio de circuitos Prueba Autoevaluativa N° 10 12. Hoja de Respuestas Autor: LIC. REQUEJO RIVERA, Luis Emilio 42 52 58 Pagina 4 Universidad Nacional José Faustino Sanchez Carri6n LOGICA Tr. UNIDAD DE APRENDIZAJE LA LOGICA COMO CIENCIA Reconoce la importancia de la Idgica proposicional. SESIGN DIDACTICA 1; LA LOGICA Y LA INFERENCIA a El Hor Ja Légi Para reconocer su entorno y descubrir fenémenos, hechos y objetos, el hombre utiliza, como instrumento para aprender, a las ideas que luego dardn lugar al conocimiento que le permitan la toma de decisiones. Este instrumento es el pensamiento que ha preocupado desde siempre a fildsofos, desde Aristételes hasta Bertrand Rusell. Todos ellos han tratado de entender la naturaleza de! pensamiento, descubrir sus leyes, establecer relaciones. Por eso, cuando se procesa el pensamiento se deben tener en cuenta las normas légicas que implican los procedimientos de: razonar, la seguridad y la eficiencia. Para tener claridad en las ideas se aplican muchos métodos y técnicas. Actualmente el hombre se ha propuesto crear méquinas que puedan “pensar” y tengan “inteligencia artificial” y es en ese momento que la Légica se convierte en la base del desarrollo de la Cibernética, que tiene sus antecedentes con /a Teoria de Conjuntos, el Algebra Booleana y la Légica Matemdtica, itn Autor: LIC. REQUEJO RIVERA, Luis Emilio Pagina 10 Universidad Nacional José Faustino Sanchez Carrion Locica en ce 2. Concept. - La Légica es Ia ciencia que tiene por objeto estudiar el razonamiento, descubrir las leyes y principios que lo rigen y establecer las normas de sus procesos (Teoria de la Inferencia). La inferencia es el proceso que relaciona fas ideas racionales que permiten llegar a conelusiones. Ejemplo: Si tenemos las siguientes premisas: “Todos los arboles son vegetales” “Todos los cedros son érboles”. Entonces. la conclusién evidente es: “Todos los cedros son Grboles", A este trabajo mental se le llama razonar o inferir. Objetivos de la Légica y la Inferencia La Légica tiene por objetivo el razonar (aunque éste también lo estudia la psicologia), de igual manera la inferencia (que también la estudia la lingiifstica que analiza los términos del desarrollo). En resumen, la Légica tiene por objetivo conocer si un razonamiento es correcto 0 esté bien planteado; dicho de otra manera: que las premisas sustenten la conclusién de forma necesaria y/o suficiente. La _validez es el objeto de la Légica, es decir, plantear inferencias siempre vélidas. El concepto validez es diferente de verdadero, pues esta ultima refleja con precisién la realidad parcial © totalmente. Por ejemplo: la expresién: /a sangre es raja. Se puede afirmar que es verdadera porque la hemos contrastado con la realidad. En cambio, en el caso de los cedros, el campo es de la inferencia: sélo necesitamos leer las dos premisas para asegurar que la inferencia es correcta (validez), no fue necesario contrastar con la realidad sino ver que el planteamiento era correcto. Mds adelante hacemos un estudio mds detallado de las inferencias, (PBI er sa Autor: LIC. REQUEJO RIVERA, Luis Emilio Pagina 11 Universidad Nacional José Faustino Sanchez Carrién 4 ca icional 4.1 Proposicién.— Se llama proposicién a un enunciado que puede ser verdadero o falso. Aunque"ho signifiquen lo mismo, usaremos los +términos proposicién y enunciades como sinénimos + Las proposiciones sélo se pueden afirmar o negar. En esto se diferencian de preguntas, érdenes o exclamaciones. Las proposiciones se representan mediante letras mindsculas llamadas variables proposicionales: PQ PS an Ejemplos: é : 4 es un cuadrads perfecto (Vv) Marte es satélite de la Tierra (F) r Lima es capital de Chile . CF) s: 7 es mayor que 5 (v) * Al negar una proposicién, se obtiene otra de distinto valor de verdad, es decir, la negacién de una proposicién verdadera es una proposicién falsa; y la negacién de una proposicién falsa es una proposicién verdadera, * Para representar la negacién, se emplea el simbolo *~" que se lee "no" y se antepone a la letra que representa la proposicién, Ejemplos: ~ pi 4 no es un cuadrado perfecto (F) ~ q: Marte no es satélite dela Tierra. = (V) ~ ri Lima no es capital de Chile (Vy) ~ si 7 no es mayor que 5 (F) (Conviene recordar que estamos usando por ahora sélo proposiciones simples) 4.2 Enunciado numérico.- Es una expresién que se refiere a nimeros. Los enunciados numéricos pueden ser abiertos 0 cerrados. Son abiertos si estén formados por constantes y- variables eT Autor: LIC. REQUEJO RIVERA, Luis Emilio Pagina 12 Universidad Nacional José Faustino Sanchez Carrién. LOGICA | ee (ndmeres y letras), son cerrados si el enunciado tiene un valor de verdad, por tanto es una proposicién. Ejemplos: Enunciado Abierto Erunciado Cerrado Ves 7+2>6 (vy) 3x+2= tt 2x+3=10;paraxis2 (F) Un enunciado abierto se puede convertir en proposicién al sustituir las variables (letras) por constantes (valores numéricos). De acuerdo con los valores que tomen las variables podemos indicar si es verdadera o falsa, Ejemplos: p(x): {x SIN / x -2 =3}E1 conjunto de valores que hacen que la proposicién sea verdadera es (5,6,7,..} a(x): & ©Z/x2 =9} La proposicién es verdadera para el conjunto { - 3,3} A su vez, todo enunciado abierto se convierte en una proposicién anteponiendo V(‘para todo") o (“existe”). Estos son los llamados “euantificaderes” Ejemplos: ) En el conjunto: de los nimeros enteros, el enunciado abierto p(x) / x < 4, se puede convertir en proposicién al expresarlo de los siguientes formas: “Todo nimero entero es menor que 4° Vx EZ:x <4: p(x) (F) “Existen ndmeros enteros menores que 4* Bx EZ:x <4: pe) ~(V) b) Sea el enunciado abierto q{y) / y + 3 < 2, puede convertirse en proposicién al expresarlo de las siguientes formas: 2S TET Autor: LIC. REQUEJO RIVERA, Luis Emilio Pagina 13 Universidad Nacional José Faustino Sanchez Carrién “Todo nimero natural aumentado en 3 es menor que 2" Vy GIN :y+3<8: p(y) ... AF) *Existen nimeros naturales que cumentados en 3 son menores que 2" By GIN :y+3%8: py) -(V) 4.3 Clases de Proposiciones.- a) Proposicién Simple.- Es aquella que ésté formada por un sélo sujeto y un sélo predicado. Se le llama también “proposicién atémiea” Ejemplos: yee i Simon. Bolivar nacié, gn Caracas. ¥ Diez es nimero primo. redicado suieto b) Proposicién Compuesta.- Es aquella formada por dos o mds proposiciones simples. Se llama también “proposicién molecular". Ejemplos: ¥ Juanes aibatill y carpintero. v Rosa estudia arquitectura o derecho. Y Sihace frio entonces me pongo chompa. ¥ Unpoligono es un cuadrilétero si y sélo si tiene 4 lados. 4.4 Conectivos Légicos. - ” Son letras o palabras que sirven para ligar varias proposiciones simples y que permiten formar proposiciones compuestas o moleculares. Los conectives son: *y*, si", "no", etc. “of, “Siow entonces", “si y sélo Ejemplos: @) Seal proposicién "Juan es albafiil y carpintero" Ae P a Autor: LIC. REQUEJO RIVERA, Luis Emi Pégina 14 Universidad Nacional José Faustine Sanchez Carrion Tendremos: p: Juan es albatil q: Juan es carpintero Luego la proposicién compuesta tendrd su simbolo (esquema) Pq | donde (y =“) b) Sea la proposicién compuesta: “Rosa estudia arquitectura o derecho" q Tendremos: p: Rosa estudia arquitectura : Rosa estudia derecho Luego el esquema seré: pvq | donde (0 =v) ¢) Sea la proposicién compuesta: “Si hace frio entonces me pongo chompa" Pp q Tendremos: p: Hace frio q: Me pongo chompa d) Dada la proposicién molecular: “Mafiana es martes o miércoles" P 4 Tendremos: p: Mafana es martes qi Mafiana es miércoles Luego el esquema seré: pAq| donde (0= A) e) Dada ta proporcién molecular: “Pedro comprard el TV siy sélo si consique dinero" Tendremos: Pedro comprard el TV Pedro consigue dinero Luego el esquema serd: p+>+q donde (si y sdlo si = +) ee eS Autor: LIC, REQUEJO RIVERA, Luis Emilio Pagina 15 Universidad Nacional José Faustino Sanchez Carrién Prueba Autoevaluativa N° 01 1, Seffala que enunciados son proposiciones a) Pedro esté alterado, b) Ti eres limefio y yo soy huachano, ¢) eVendrés mafiana a la fiesta? ) iSilenciol e) Luis trabaja en el campo. ) iCamina répido! 9) 7 es mayor que 10, fh) iOjalé tengas suerte! 2. Sean las proposiciones simples: pi Carlos tiene buenas notas 4: Carlos ingresa @ la universidad, ry Corlos obedece a sus padres. Simbolizar las siguientes proposiciones: @) Carlos tiene buenas notas y obedece a sus padres. b) Carlos obedece a'sus padres o ingresa a la universidad, ¢) Si Carlos tiene buenas notas entonces él ingresa’a la universidad. 4) Carlos no ingresa ala universidad. e) Carlos no obedece a sus padres. #) No es verdad que Carlos obedece a sus padres o ingrese a la universidad. 9) Carlos no obedece a sus padres si y sélo si él no tiene buenas notas. 3. Si se sabe que: pi tengo calor. @ ha llovido. : r: Juan se va caminando. si Pedro regresa temprano. Escribir cada uno de los enunciados: a~prq b)qor o)~ros d)pv~q 2) ~(rv~s) AeY-dor 5 ene ne ST TET Autor: LIC. REQUEJO RIVERA, Luis Emilio Pagina 16 Universidad Nacional José Faustino Sanchez Carrién ON ___DIDACTICA __2: PROPOSICIONES COMPUESTAS: CONJUNTIVAS, DISYUNTIVAS Y NEGATIVAS 1. Proposiciones Compuestas (Operaciones con proposiciones) Llamada también molecular, toman diferentes nombres de acuerdo al conectivo légico que une a las proposiciones simples. Entre los diferentes tipos podemos mencionar: 1.1 Proposicién Conjuntiva o Conjuncién.- Es: la proposicién compuesta que resulta de unir dos proposiciones simples mediante el conectivo llamado “conjuncién" (y) y se denota con el simbolo **". La tabla veritativa o tabla de verdad de la conjuncién es: Es decir la proposicién conjuntiva es verdadera solo cuando sus dos componentes simples son verdaderos: en los otros casos serd falsa. Ejemplos: Sean p:5+4=7>V (p)=F q:4+2>5-V(q)=V Lueg. segiin la tabla de verdad tenemos: VO@)=V(p*q=F . Nota: Las proposiciones conjuntivas también utilizan las palabres: “pero”, "a la vez que", “sin embargo”, “ademés", “aunque”, ‘no obstante", etc., que se simbolizan "A", " Ejemplos: b) 15 es miltiplo de 5 pero 8 es mayor que 3. ¢) 15 es miltiplo de 5 ademas 8 es mayor que 3. 1.2 Proposicién Disyuntiva o Disyuncién.- Es aquella que liga las proposiciones simples con la disyuneién (0) que puede denotarse "v" 6 "A". La proposicién disyuntiva puede ser de 2 formas: Se TS Autor: LIC. REQUEJO RIVERA, Luis Emilio Pagina 17 Universidad Nacional José Faustino Sanchez Carrién 4) Disyuncién Tnclusiva,- Es aquella que incluye la posibilidad que ambas proposiciones sean verdaderas 0 una de ellas. Solamente es falsa cuando sus 2 componentes sean falsos. La tabla veritativa es: Ejemplos: Determinar el valor de verdad de la proposicién disyuntiva inclusiva rr la luna es de queso 6 7 es nimero primo. Solucién: "" Seanpilalunaes de queso —-v(p) = F q:7 es niimiéro primo vq) = V duce: (0) + v(pvq)= b) Disyuncién ‘Exclusiva. - ‘ luye la posibilidad que ambas sean verdadera serd verdadera si'y sélo si una de ellas es verdadera y la otra no: Su tabla veritativa es: an<

Ejemplos: Determinar el valor de verdad de la proposicién disyuntiva exclusiva: ri 4esn® par 6 4 es n° impar Solucién: Sean p: 4 es n° par Vop=V q:4esn?impar — V(q)=F Luegev (6): (p Ar) =V REE Autor: LIC, REQUEJO RIVERA; Luis Emilio Pagina 18 Universidad Nacional José Faustino Sanchez Carrién rr 1.3 La Negacién.- Se denomina proposicién negative de la proposicién afirmativa "p" a otro que se denota *~p" y cuya tabla veritativa es: p [=p VIF F Y Obsérvese que si “p" es verdadero, entonces “~p" es falso y viceversa, Lo importante de la proposicién negativa es que su valor de verdad depende del valor de verdad de la afirmative. Y Obsérvese que la negacién es una operacién unitaria, como en “p’ y “~p". En cambio, la conjuncién y la disyuncién son ‘operaciones binarias. Ejemplos: : : 0) El carbén es negro [4] (vy) El carbén no es negro [~p] (F) b) El cuadrado tiene 5 lados [q] (F) El cuadrado no tiene 5 lados [~q] (V) Existen otras formas de expresar la negacién como: “no es verdad que", "no es el caso que", "es falso que", ete, aunque estas formas se aplican para proposiciones moleculares (con operaciones binarias) Ejemplos: ¢) "No es el caso que 3+2=5y5>8" Sipi*3+2=5" "528" Entonces la proposicién compuesta serd:~(p * q) ) Sea "No es verdad que 8 > 2 6 4es n° par’, Se simboliza: ~(p v q) Sr re TESTE ‘Autor: LIC. REQUEJO RIVERA, Luis Emilio Pagina 19 Universidad Nacional José Faustino Sanchez Carrion Prueba Autoevaluativa N° 02 1. Sean las proposiciones simples: pi Manuel vendrd a casa @: Manuel llegaré temprano ri Su hermano lo recibiré Simbolizar: 4) "Manuel no vendré a casa y su hermano no lo recibird” b) "Su hermano lo recitfe o Manual no vendré a casa" ¢) “Noes cierto que Manuel vendré a casa o llegaré temprano” @) "No es verdad que Manuel llegaré temprano y su hermano no lo recibird” a 2. Determinar los valores de verdad de las siguientes proposiciones. (Use esquemas érbol). : a) 3+7=10y5-3=2 b) 4+22563esn® primo 3. Se sabe que: ae v(p) =F v@=V v)=F Determinar los valores de verdid de los siguientes esquemas: a) ~(p 4) b) ~I-pvq)*(p*~r)] “e) ~p 4 (~pyr) 4) (p*~p) v (qv ~q) |S tt TE ‘Autor: LIC. REQUEJO RIVERA, Luis Emilio Pagina 20 Universidad Nacional José Faustino Sénchez Carrién SESION DIDACTICA 3: PROPOSICION CONDICEONAL y BICONDICIONAL (CONTINUACION) 1.4 Proposicién Condicional o Implicacién. Resulta de unir 2 proposiciones simples mediante el conectivo légico “sf... entonces” (+) Ejemplos: Sea _ pr est lloviendo hace frio Luege: Si esté lloviendo entonces hace frio Su esquema molecular es: [p> @ {sip entonces q) En este caso a“p" se le denomina antecedente y “q” es el consecuente. Nota: También ‘son conectivos condicionales los términos: "si", “porque”, “puesto que”, “cuando”, “cada vez que”, etc. Se reconocen estas formas porque ‘después de ellos esté el antecedente o condicién, Ejemplos: : 4) *4 es nimero par porque es divisible por 2" Sea pi 4.es'ntmero par ¢ 4s divisible por 2 ‘Su esquema molecular es: [q > p b) "Voy al cine si tengo dinero” Seat pi voy al cine 3 tengo dinero ‘Su esquema molecular es: |q— p c) “José no viaja a USA puesto que perdié sus documentos” Sea pi José viaja a USA q: José perdié sus documentos © Su esquema molecular es: [q—~ p Sn SS EIT Autor: LIC. REQUEJO RIVERA, Luis Emilio Pagina 21 Universidad Nacional José Faustino Sanchez Carrion ee Nota: Considérese que el condicional puede escribirse de la siguiente manera: "Si estudio apruebo el curso” Obsérvese que “Si” va siempre antes del antecedente y se ha obviado la palabra “entonces” pero su esquema ser: Sea pi estudio 4 apruebo el curso p> 4q La tabla veritativa del condicional o implicacién es la siguiente: Y Nétese que el condicional “si... enfonces” tierie un valor de verdad de FALSO sélo: cuando el antecedente es verdadero y el consecuente es false. En los demés casos se dice que P ~ q es VERDADERO. Nota: Toda proposicién condicional (p > q ) se le asocian otras 3 proposiciones importantes que son: i) Reciproca.- es ta proposicin q > p ii) Znversa.- es la proposicién ~ Pp ~~ q Contra recfproca~ es la proposicién ~ q—>~ p Ejemplos: Sea la proposicién condicional: "Si estudio mucho entonces apruebo el curso” cuyo esquemaes Pp > 9 _ tendremos sus respectivas: SS TSS Autor: LIC, REQUEJO RIVERA, Luis Emilio Pagina 22 Universidad Nacional José Faustino Sanchez Carrién er ETE i) Reciproca- “Si apruebo el curso entonces estudio ” rucho" q>P ii) Inyersa.- "Si no estudio mucho entonces no apruebo el curso” ~powd ii) Contra reciproca- "Si no apruebo el curso entonces no estudio mucho" ~~ q—>~ P 1.5 Proposicién Bicondicional o Doble Implicacién. Sean p y q dos proposiciones con las que se forma la siguiente proposicién: (P > 4) < (4 — P), es decir ésta se forma con dos condiciondles y una conluncén, luego ambas podremos escribirlas: "oq donde es el coneetivo bicondicional y se lee “si y solo si*. Ejemplos: "Franco compraré la casa si y sélo si obtiene un préstamo bancario* Sea’ _p: Franco compraré la casa ¢ Franco obtiene un préstamo bancario Donde ef esquema molecular es:| pq La tabla veritativa del bicondicional queda determinada de la siguiente manera: aa<< B ~r) vp. > ~s)] ¢) (pv q)— ~r] A [pv] d) ~(p v~g) > ~(r v ~s) SESION DIDACTICA 4.- Evaluacién Escrita 2 ee Autor: LIC. REQUEJO RIVERA, Luis Emilio Pagina 24 Universidad Nacional José Faustino Sanchez Carrion TI. UNIDAD DE APRENDIZAJE EVALUACION DE ESQUEMAS MOLECULARES Competencia: Interpreta tablas veritativas con precisién. SESTON DIDACTICA 5.- USO DE SIGNOS DE AGRUPACION 1. Los signos de agrupacién (paréntesis, corchetes, llaves) se usan para lograr esquemas moleculares més complejos y evitar la ambigiiedad de los mismos. Por ejemplo: en el esquema p v q * r existe una ambigiiedad porque no se sabe cud es el conectivo (operador) de mds jerarquia. Pero si agrupamos sus términos en: : @vagyrr 6 Pv(q*r) el esquema llega « tener sentido. 2. En consecuencia, el uso de los signos de agrupacién sirven para darle mayor 0 menor jerarquia a los conectivos u operadores. wo . También podemos afirmar que cuando no hay signos de agrupacién: Y Lanegacién (~) es el conectivo de menor jerarquia. ¥ Luego siguen “Vv”, “A” que son de igual jerarquia. ¥ Por iiltimo, — y «+ son los conectivos de mayor jerarquia. 4. Esta jerarquia puede variar si asi lo indica el signo de coleccién. Ejemplos: a) "No es cierto que 5 > 3 y 3 es nimero par” dando una variable a cada proposicién simple tendremos:. pi5>3 q 3 es ndmero par -25- Autor: LIC. REQUEJO RIVERA, Luis Emilio Universidad Nacional José Faustino Sanchez Carrién b) °) Su esquema molecular es: ~ (p * q), se llama esquema negative, En este caso, el conectivo de mayor jerarquia es la negacién, por tanto, debe operarse al ultimo. Si Pedro no es militar entonces es abogado o ingeniero. Luego: p: Pedro es militar q: Pedro es abogado r: Pedro es ingeniero ‘Su esquema molecular es: ~ p —> (qv r) El conectivo de mayor jerarquia es ">", es un esquema condicional. Se observa que “~" sélo afectaa“p" ; y "v" sélo es para el paréntesis. *Raiil no tiene dinero © perdié su trabajo. Pero, si él tiene dinero entonces se iré de vacaciones". Sea _p Ratil tiene dinero ¢: Rail perdié su trabajo 1 Raiil se va de vacaciones Su esquema molecular es: (~ p vq) * (p — r) en este ejemplo se observa que e! operador (conectivo) de mayor Jerarquia’ es la conjuncién “A"° luego es un esquema conjuntivo. En conclusién, la combinacién de las variables y los operadores 0 conectivos, usando signos de agrupacién se llama esquema molecular y en é! sélo un operador es el de mayor jerarquia. ; En los siguientes ejemplos vemos que: A= Pao py~r) B=(@p—r)v(ps~t) C=~I-pv(p—a)l donde los operadores de mayor jerarquia son =, v y~ respectivamente, luego: Aes un esquema bicondicional. B es un esquema disyuntivo. C es un esquema negativo. Sr re Autor: LIC. REQUEJO RIVERA, Luis Emilio Pagina 26 Universidad Nacional José Faustino Sanchez Carrién es Prueba Autoevaluativa N° 04 1. Dadas las proposiciones: pi Roberto es comerciante q: Roberto es ingeniero rt Roberto tiene acciones en a Bolsa Simbolizar: “Si no es verdad que Roberto es comerciante.e ingeniero, entonces él no tiene accianes en la Bolsa o no es ingeniero” 2. Dado el esquema: (q —~ r) v ~ (p vq), s/ se sabe que vip) = V v(q) = F vr) = F Haller ef valor de verdad del esquema: (use esquema drbol) 3. Siel siguiente esquema molecular: (p -»~ q) v.(p 4 ~ r) es FALSO, __ etitonces el valor de verdad de cada variable p, 9, r es: a) WF b) Vw c) VEV d)FW 4. Sit : vip) = V vq) = F vr) = F Hallar el valor de verdad de cada esquema molecular.(use esquema erbol) a)~(p>~r)vq b) (pr) > (p* ~9) op * dv (pq) = Indica si el enunciado es F o V. 4) Una proposicién dlisyuntiva inclusiva es.verdadera cuando una variable es verdadera y Ia otra falsa... b) Una proposicién condicionales falsa cuando su antecedente y consecuente son falsos. Autor: LIC. REQUEJO RIVERA, Luis Pagina 27 Universidad Nacional José Faustino Sanchez Carrién ¢) Una proposicién bicondicionales falsa cuando sus 2 componentes son falsos. d) Dada p — q, su inversa es ~p > ~q ) Si se niega una negacién se tiene otra negaci f). “Mofiana es martes o jueves" es una disyuncién exclusi 9) Una proposicién condicional y su reciproca es un bicondicio! h) Los signos de agrupacién sirven para evitar ambigiiedades en la interpretacién de esquemes.... ) i) La proposicién 3 > 2 v 4 = Ses Falsa, ) JD) La proposicién 5 > 8 —3 es nimero par es Verdadera, ) Pagina 28 Autor: LIC. REQUEJO RIVERA, Luis Emilio Universidad Nacional José Faustino Sanchez Carrién rs SESION _DIDACTICA 6. EVALUACION DE — ESQUEMAS MOLECULARES USANDO TABLAS VERITATIVAS. Evaluar esquemas moleculares consiste en obtener los valores del conectivo (operador) principal tomando en cuenta el valor de verdad de cada variable proposicional. Y Para determinar el nimero de variaciones de los valores de verdad en el margen del cuadro (por filas) se considera: © Si tenemos 2 variables (p, q) se obtendrén 2? = 4 valores de verdad. * Si tenemos 3 variables (p, q, r) se obtendrén 2° = 8 valores de verdad. ‘En general, el ndmero de Volores de verdad que se obtiene, segtin el nimero de variables, estd dada por la férmula 2" donde “n” es el nmero de variables que se.tienen en el esquema molecular. Y Todas las variaciones posibles de Vo F se hacen en las columnas al margen izquierdo de ta tabla. ¥ -En seguida se procede a aplicar las tablas veritativas de cada conectivo (operador) empezando por el de menor jerarquia, hasta llegar al de mayor jerarquia. , Ejemplos: A. Evaluar el siguiente esquema molecular: ~ (vq) > Pp ~q) Solucién: como hay 2 variables (p, q) el nimero de valores de verdad es: 2?= 4 [|p aie (pva)— Gp VvjFlov tvyel el . | VFIF/ v [Viele FviF] Vv iviv 7 q) | F v F v FOF JV F ViViv Pesos [(2)] ) L@lale! @ Serr rn TTT Autor: LIC. REQUEJO RIVERA, Luis Emilio Pagina 29 « Universidad Nacional José Faustino Sanchez Carrién Loaica EEE Pasos efectuado: 1.” Se aplieé la disyuncién inclusiva.a los valores de verdad de py¢. Se negé la columna (1). . Se aplicé la negacién a los valores de verdad de p. . Se aplicé la negacién a los valores de verdad de ¢. . Se aplicd la conjuncién alos valores de verdad de las columnas (3) y (4). . Se aplicé los valores de verdad-al condicional (operador de mayor jerarquia) utilizando las columnas (2) y (5). ose ND ” B. Evaluar: ~ [~ p — (p v q)], obsérvese que se trata de un esquema molecular negative por ser la negacién el operador de mayor jerarquia. Solucién: némero'de valores de verdad para cada voriable 224 ‘ Pasos | (4)/(0)|(3)| (2) &. Evaluar: ~ ((p vq) + (> p — al jolucidn: es un esquema negativo. pPo4|~ fpvq) + (~p-— gi vviel v [vlelvy] v r Pasos__|(6)| (1) |)/(2)1@! (3) Pagina 30 Universidad Nacional José Faustino Sanchez Carrién LOGICA En D. Evaluar: [(~ p*~ 4) ~F] (~ p) vir A(~pA~ gil Solucidn: nimero de valores de verdad para cada variable: 228 Pl@ {Rit pArg—o~rl> @p)vir A (pA~ a vivivl oF [ve lv] Fe ivivyv F Fe o|vivlelelelele F FooiviF ivi |viviv F Fo lvivielelelele Fito Fo lv/Fiylviviviv a Fiviel oF |viviviwiviele F Fleiv) ov lelelelvivivie v Flele| v_iviviyiviviel v Pasos 3/2 |9|4\elsi7 6 Qbservacién: De acuerdo al resultado del operador principal (de mayor jerarquia) en una tabla veritativa, los esquemas moleculares pueden ser de 3 clases: ¥ Esquema molecular TAUTOLOGICO, cuando los valores de verdad son todos verdaderos (es una tautologia). Ejemplo: A ¥ Esquema molecular CONTINGENTE, cuando en el resultado hay por lo menos: una verdad y una falsedad (es una contingencia), Ejemplos: By D. Y Esquema molecular CONTRADICTORIO, cuando en el sq resultado todos los valores de verdad son falsos (es una contradiccién). Ejemplos: C. eS SS Autor: LIC. REQUEJO RIVERA, Luis Emilio Pagina 31 José Faustino Sanchez Carrién = Prueba Autoevaluativa N° 05 1. En los ejercicios siguientes, indicar qué esquemas moleculares on contingentes, tautolégicos o contradictorios. 9) (Pv q)—(p*q) 5) (P49) v~(p ~ ~ 4) 2) (P- a *@—rl- Fr) c D) fp * a) Qi er ~~ p] 2) (P+ avr) 4 ~ig vp o~ r)] f) ~ (vq) o py~q) 2. Sean les proposiciones moleculares siguientes, evaluaras en tablas veritativas: A: "Si mafiana voy al trabajo, es dia laborable, si y sélo si, mafiana voy al trabajo 0 es dia laborable” B: "Si no es verdad que mafiana voy’al trabajo y no es dia laborabie, entonces mafiana’no voy al trabajo o es dia laborable” C: “Si mafiana voy al trabajo entonces mafiana es dia laborable. Pero, si mafiana es dia laborable entonces mafiana Woy al trabajo” 3. Determina la V o F de cada enancioda: : a) La férmula 2” nos permite calcular el ndmero de variables o proposiciones similares. 'b) La conjuncién y disyuncién tienen la misma jerarqi ¢) Si el resultado de! operador principal es todo verdadero entonces es una tautologi 9) Si en una tabla veritativa el nimero total de-Wues igual al mismo total de F, entonces hay duda-enel resultado, @) Sila mayoria de valores del operador principal son entonces es una contradiccidn.. f) Enun esquema sin signos de agrupacién, el co tiene més jerarquia que la conjuncién... 2 en SESS Autor: LIC. REQUEJO RIVERA, Luis Emitio, Pagina 32 Universidad Nacional José Faustiné Sanchez Carrién © Losics er SESIGN DIDACTICA 7.- PROPOSICIONES EQUIVALENTES Dos proposiciones moleculares A y B se dice que son equivalentes si tienen los mismos valores de verdad en su operador principal. También conviene sefialar que son equivalentes A y B si unidos por el bicondicional “q BE M(p 4 ~q) ' Uniendo ambas son el bicondicional: (p +q)> ~(p4~q) y llevdndolos a una tabla veritativa. G5 FAs) v [vivl fF pg vv | VF F Vel F v Fv v Vivi F BE: v Viv E Pasos @® 141 @) (2) Se observa que: 1. Los valores de verdad de A y B son iguales: VFVV en (2) y (3) 2. Si se relaciona con < resulta en (4) una tautologia. Luego A=B b. Determinar si los esquemas P y Q son equivalentes: =a) v(rn p) Q-qoCr >) 2 Autor: LIC. REQUEJO RIVERA, Luis Emilio Pagina 33 Universidad Nacional José Faustino Sanchez Carrién Locica Ss Solucin: Se construye las tablas veritativas de P y Q: q rig) v_ @*p) VV v v v Pp v VVEF Vv v F WAY F v v Fvv v v F evel v ivi ef FeV] volvl e < nm < a DF iViFiv FVF|FIJVjViviv iv { FRE viviv Pasos 6 l w ) Me * Obsérvese que los valores de verdad que corresponden a los operadores principales de P y Q son iguales. Si los unimos con el bicondicional resulta una tautologia, por tanto, P=Q. ee pr TAS Autor: LIC. REQUEJO RIVERA, Luis Emilio Pagina 34 Universidad Nacional José Faustino Sanchez Carrién LoGica. Prueba Autoevaluativa N° 06 | i 1. Determinar si las siguientes proposiciones son equivalentes: A = "El acusado esté preso si su hermano es inocente” B = "No es cierto que el acusado esté preso ni su hermano es __ inocente” + © = "El acusade no estd preso y su hermano no es inocente” 2. Indicar qué esquemas son equivalentes: eee : Pin(pr~q@ Qip-q Ri @ pvq) SESION DIDACTICA 8.- Evaluacién Escrita EE EE Autor: LIC. REQUEJO RIVERA, Luis Emilio Pagina 35, Universidad Nacional José Faustino Sanchez Carrién 2 rr SSE TIT. UNIDAD DE APRENDIZAJE INFERENCIA LOGICA Competencia: j| Descubre las Leyes Tautolégicas y las aplica en situaciones reales. SESION DIDACTICA 9,- LA INFERENCIA LOGICA Un razonamiento Iégico est formado por un conjunto finito de proposiciones llamadas premisas (p,) y una conclusién (q). También se dice que un razonamiento deductivo esté formado por una premisa o una conjuncién de premisas que conducen'a una conclusién "q". Es decir: 3 Cp" ped ps Pa); — q (conclusisn) (cadena de premisas covijuntivas) Una inferencia de este tipo se dice que es ydlida si es una “tautologia", es decir si la premisa *p" o.la conjuncién de premisas implica la conclusién "q". En caso contrario se dice que la inferencia no es valida (Falacia). Ejemplos: . a) Determinar la validez de la inferencia (haremos uso de otra notacién en el llamado esquema clésico). *P>"4@ | Se observa que lds premisas estén en las 3 Been primeras files y la conclusién al final, = Construyendo la tabla de verdad, tenemos: “pvq _2 rr Autor: LIC, REQUEJO RIVERA, Luis Emilio Pagina 36 Universidad Nacional José Faustino Sanchez Carrién pig rie poe gh Cg ors Cn) vVvv v i VVEF Vv Vv v Viv VFYV v v Vv eee |VFF v FL F |FiV Fvv F FL v [Fle lFVE F Fl viiejyv FRV v Viv Fle FRE v. Flor jFlvi[vi FF Pases ®@ [@l @ olan! © up ete De (5) y (6) resulta (7) como el resultado final del cuadro es una tautologia, entonces Ia inferencia es valida. b) po~q Byung a P gile>~ vv| F eee ~"La inferencia ea es vélida [pel ov Pasos| (1) €) Determinar la validez de la inferencia: "Si Marfa estudia mucho entonces aprobard el curso. Pero, ella no aprobé el curso. Por lo tanto, Marfa no estudié mucho: rr tre rer ee ‘Autor: LIC. REQUEJO RIVERA, Luis Emilio Pagina 37 Universidad Nacional José Faustino Sanchez Carrién Solucién p Maria estudia mucho q+ ella aprobaré el curso el esquema clasico serd: p>4q ai wep d) Determinar la validez de: p aie>g* Calo =p vue v jelefv]e vel re jelvivie FV] Vv |FIJFEVIV FF] Vv [Vivivjv [Pasos| (1) | (3) | (2) | (5) | (4) «+ En (8) se observa que es una Tautologia. La inferencia es valida a p49 Pq nqoer} | VVV “per 139" Cg=- > G55 v v v v Vv v Vv Fr F Folel oe jw] ov v jel] fF fv] ef Vv. v | @ [@! @ Teo! ‘Método Abreviado. «La inferencia no es vélida Autor: LIC. REQUEJO RIVERA, Luis Emilio Pagina 38 Universidad Nacional José Faustino Sanchez Carrién LOGICA 2 Demostrar la validez de una inferencia usando las tables veritativas resulta muy engorroso pudiendo equivocarnos fécilmente, por lo cual es conveniente utilizar el método abreviado, que es un procedimiento mas directo y conduce a reconocer o no la validez de una inferencia sin el uso de las tablas. ; El procedimiento es el siguiente: A) Consideremos que la inferencia no es vélida, entonces la premisa o conjuncién de premisas (antecedente) tiene que ser Verdadera y la conclusién tiene que ser Falsa, tinico caso en que el condicional es falso (ver tabla del condicional), es decir hacemos cada premisa verdadera y la conclusién falsa. (pA pe*ps% A Prd 4 B) Buscamos el valor a2 cada aotePeando las tablas veritativas conocidas, empezando por la conclusién o por una premisa que tenga una sola variable. ©) Si cada una de las variables tiene un solo valor de verdad (V 0 F) habremos demostrando que la premisa o conjuncién de premisas es Verdadera y la conclusién es Falsa, lo que quiere decir que es cierto que la inferencia no es valida (paso 1). D) Si existiera una variable que tiene dos valores de verdad (Vy F) ala vez, habremos demostrado que estuvimos equivocades al suponer el paso 1, es decir, no es posible que la:conjuncién de premisas sea verdadera y la conclusién falsa. Por consiguiente la inferencia es vdlide. f : 8) Ejemplos: Demostrar la validez de las siguientes inferencias, por el método abreviado. a E]O QQ @ ge act ow reve” ic ean Cr @ vq) t ft eet eee an MY HP OM Contradiccién -Procedimiento: _ a a ren ET ‘Autor: LIC. REQUEJO RIVERA, Luis Emilio Pagina 39 Universidad Nacional José Faustino Sanchez, Carrién fee —_—_—— 1. Escribimos e] esquema y supdnemos las premisas Verdaderas (V) y la conclusién Falsa (F) tinico caso en que la inferencia no es vélida. 2. Empezando por la conclusién, se tiene que: VQeF V@=F 3. Analizamos la 3° premisa V (~ r) = V luego V(r) = F 4, Llevamos estos valores hallados de p, q, ra los otras premisas y vemos que en la 1° premisa: V@p)=V Ved V(p) =F V(p) =F * 5. Enla2° premisa: VeQgeVv V (r) =V (no puede ser falso) V@ =F Luego resumiendo: | V (p) =F V @ =F Vr) FAV Como a variable *r" tiene los valores F * Va la vez, quiere’ decir que hicimos mal en suponer que {a inferencia no es vélida, por lo tanto, es valida. cr] © @9@ = oo eer “nq © OMe fH ™M V@)=F V@=V V(r) = F No hay contradiccién, cada variable tiene un solo valor de verdad. La inferencia no es valida. a EES Autor: LIC. REQUEJO RIVERA, Luis Emilio ~ Pagina 40 Universidad Nacional José Faustino Sanchez Carrién Prueba Autoevaluativa N° 07 Demostrar la validez de’ las siguientes inferencias usando tabla de valores 0 por el método abreviado. 1. powg 4. qo(~pvr) pyre rys os vag 7 sper : vqve 2. Pq B.P>49 palo ar “peg Spor 3. poq. 6. pg rvq p ~r wo 3 4 : Z Simbolizor y analizar si-cada inferencia es vilida! 7. Si Juan nacié en Lima’ entonces él.es limefio. Pero Juan no es limeiio: En consecuencia, Juan no nacié en Lima. 8. Si trabajo entonce’s no puedo salir de viaje’ Viajo-o me pongo a dormir. Pero he trabajado, Por lo tanto, me pongo a dormir. 9 Si trabajo no puedo estudiar. Pero trabajo o apruebo Idgica. Ademds, 10 siy sdlo si 8 > 10" (1.2) 2. Ley de No Contradicein. Una proposicién no puede ser verdadera y falsa a la vez, es decir = (PS P). Ejemplo: "No es verdad que Rail es huachano y no es huachano” da una proposicién, ésta serd verdadera o Pv~ Dp Ejemplo: “San Martin era argentino o no lo era” Hay otras tautologias muy importantes, las cudles se clasifican en: Equivalencias Notables ¢ Implicaciones Notables, las que se pueden reconocer por simple inspeccién. Entre las Equivalencias Notables, tenemos: 4. Ley de la Doble Negacién. ~C PEP Ejemplo: "No es cierto que 4 no es n° par” es eguivalente a*4 es n° par” -42- Autor: LIC. REQUEJO RIVERA, Luis Emilio Universidad Nacional José Faustino Sénchez Carrién Lécica ES 5. Leyes de Idempotencia. Se puede simplificar una cadena.conjuntiva 0 disyuntiva que tengan las mismas variables. 5.1 pAp=p 5.2 pvp=p 6. Leyes Conmutativas. En las proposiciones conjuntives, disyuntivas y bicondicionales, el orden de las variables no altera su significado. 7. Leyes Asociativas. Si se tienen dos o mas conjunciones, disyunciones 0 bicondicionales, éstos pueden agruparse de diferentes formas. | 7.1 (pr q)*r=pAqrr) 7.2 (pvq)vr=pv(qvr) 7.3 (pogeorspoqer) 8. Leyes Distributivas. 8.1 prqvr)=(p*q)v(p*r) 8.2 pv(q*r)=(pvg) A (pvr) 8.3 p>qr*r=poqgr~—or) 8.4 p> (Gvr)=(p >a) v(p—r) 9. Leyes de De Morgan. Si negamos proposiciones conjuntivas 0 disyuntivas se tendré que cambiar la conjuncién por ta disyuncién o la disyuncién por fa conjuncién, y se negarén cada uno de sus componentes, 9.4 ~(p 4) =(-pv~q) 9.2 ~(pvq)=(~p * ~q) Ejemplos: (8.1) "No es verdad que estd tloviendo y me pongo chompa” es equivalente a: "No esté lloviendo © no me pongo chompa’. (9.2) "Noes cierto que3+2=5 6 6 es n° par* es equivalente a: "34225 y 6noesn® par" eres ETS SP Autor: LIC. REQUEJO RIVERA, Luis Emilio Pagina 43 Universidad Nacional José Faustino Sanchez Carrién 10. 11. Leyes del Condicional. 10.1 (pq) 10.2 ~p—4q) Ejemplos: (40.1) “si Pedro es profesor entonces serd respetado" es equivalente a: "Pedro no es profesor o seré respetado". (10.2) "No es cierto que si Pedro es profesor entonces serd respetado” es equivalente a: “Pedro es profesor y no serd respetado". Leyes del Bicondicional. 1.1 (pe (p> 9) p) 11.2 (pog=(p%q)v(rp%~q) Ejemplos: (11.1) "Hace frio si y sélo si esté lloviendo" es equivalente a: “Si hace frio entonces estd Iloviendo. Pero, si esté lloviendo entonces hace frio". (41.1) "Hace frio si y sélo si esté lloviendo” es equivalente o: “Hace frio y esté lloviendo. O, no hace frio y no esta Hoviendo". de Absorcién. -44- * En la ley 12.1\a conjuncién (puede ser una variable 0 una cadena de conjunciones) es el esquema absorbente, mientras que la cadena de disyunciones es absorbida totalmente. * En la ley 12.2 también se observa que la conjuncién es el esquema absorbente, pero en la disyuncién sélo absorbe a la variable que se repite negativamente. + En la ley 12.3 \a disyuncién 0 cadena de disyunciones (esquema absorbente) absorbe a toda la cadena de conjunciones. Autor: LIC. REQUEJO RIVERA, Luis Emilio Universidad Nacional Jos¢ Faustino Sénchez Carrién LOGICA Se aaaaREEEREEEIEEee oe ee ee * En la ley 12.4 \a disyuneién 0 cadena de disyunciones (esquemd ebsorbente) se absorbe en la conjuncién sélo a las variables que se repiten negativamente. (ids adelante hay ejercicios en los cuales hay que aplicar las leyes de absorcién y otras equivalencias ya estudiadas y otras por verse). 13. Forma Normal Conjuntiva (FNC). 13.1 TAT=T 13.2 TAp=p 13.3 TACaC 13.4 pacsc 13.5 CAC=C 14, Forma Normal Disyuntiva (END), 14.1 14.2 14.3 14.4 14.5 Donde: T= Tautologia roposicién cualquiera C =Contradiccién Nota- *Las leyes ldgicas estudiadas nos permiten simplificar un esquema molecular complejo por otro més simple que le es equivalente, toon ents nevtrey Core (pre) a Cre ~9) =p Sr jd melm vy ay D(Psa)v (pang) =p eae D Leper at & xperocs, eee \Qragear te ’ 5¢ Re (ao9 POR Paro Apr) Dv (Pin Pen Py an. Pua) D (pr) SS eS Autor: LIC. REQUEJO RIVERA, Luis Emilio Pagina 45 Universidad Nacional José Faustino Sanchez Carrién EJERCICLOS.- Simplificar los esquemas moleculares, indicando las leyes que se estén aplicando. OPA PAN A kpety Forapat) . (vg) v CpArty =(pvqvit) np 4. (p > ~a) * “(Pp v ~a) =(~pv~q) * ~(pv~q) =cpygys pg) =Cp*q) 5. (~p * 9) > @* ~a)i*q =I-(~p*q)vC]*q 6. ~(~p * a) v (Pv q) =(pv~q)v(pvq) =pv-qvpvq mPveycag =pvT aT -46- (Absorcién 12.1) (Absorcidn 12.4) (Condicional 10.1) (Absorcién 12.3) (Condicional 10.1) (De Morgan 9.2) (Absorcién 12.2) (Condicional 10.1) (De Morgan 9.1) (FND 14.4) (Absorcién 12.2) (De Morgan 9.1) (Ctra notacién) (dempotencia 5.2) (Otra notacién) (FND 14.2) Autor: LIC. REQUESO RIVERA, Luis Emilio Universidad Nacional José Faustino Sanchez Carrion Prueba Autoevaluativa N° 08 1, Sean: p: “Rosa esté en Lima” q: ella vendré sola. r: Rosa tiene dinero Simplificar el siguiente esquema: ~[~(p * ~q) — pl v q., y luego escribe la neva proposicién equivalente, 2. Halla fos esquemas més simples equivalentes a las proposiciones siguientes y luego escribe la proposicién resultante (usa p.g y 7 anteriores): a) ~(~p > 9) b) [(p +4) v ~p] *f-a > p] ©) (pv q)* a) * fa ~a] d) ~(p vq) > (opr) e) ~q>~(p*~9) f) [Cp Aq er) ~q SESION DIDATICA 12.- Evaluacién Escrita -47- ‘Autor: LIC. REQUEJO RIVERA, Luis Emilio Universidad Nacional José Faustino Sanchez Carrién SESION DIDATICA 13.- IMPLICACIONES NOTABLES Se Ilaman Implicaciones_o inferencias notables a esquemas moleculares condicionales donde un conjunto de premisas conjuntivas (antecedente) concluyen en una proposicién *g" (consecuente) y siempre son vélidas. Se reconocen por simple inspeccidti” Las més importantes son: 1. Ley del Modus Ponens. P>q Si de una premisa condicional, se afirma el P antecedente, se concluye, afirmando el consecuente. 2g Ejemplo: "Si juego entonces me congo" "me he cansado* 2. del Tollens. p-y Si de na premisa condicional negamos el “4 consecuente, se concluye, negando el antecedente. cmp Ejemplo: “Si como poco entonces perderé peso" "No he perdido peso" "No comi poco" 3. Ley del Silogismo Disyuntivo. pyq © pyq Si de una premisa disyuntiva se niega ~?P é oq uno de sus miembros, se_concluye Sqraneiliiap afirmando el otro miembro. Ejemplo: | “Estas feliz o estds triste” "No estés feliz” «."Estés triste" a ‘Autor: LIC. REQUEJO RIVERA, Luis Emilio Pagina 48 Universidad Nacional José Faustino Sénchez Carrién 4. Ley de la Inferencia Equivalente. Pq § P“4@ — Si de una premisa bicondicional se Pp q afirma uno de sus miembros, se mq Zp geneluye, afirmando el otro miembro, Ejemplo: “Rail es limefo si y sdlo si él ha nacido en Lima” auil es Ii “Rail ha nacido en Lima” 5. Ley del Silogismo Hipotético. (Transitividad del Condicional) p>q qor Ejemplo: "Si juegas carnavales entonces te mojarén* mojan entonces te enfermards" = "Si juegas carnavales entonces te enfermards” 6. Ley de la Transitividad Simétrica. (Transitividad de! bicondicional) poq qer Zor Ejemplo: “Hace frio si y sélo si esté lloviendo” “Esté lloviendo si y sélo si la temperatura ha bajado" “."Hace frfo si y sélo si la temperatura ha bajado” 7. Ley de Simplificacién. Si una proposicién condicional (rap °)—4 tiene el antecedente como pq OTR e premisa conjuntiva y se afirma Tp ~O*«s@~« ta, se: concluye afirmando el consecuente. Snell tet eS EEE ‘Autor: LIC. REQUEJO RIVERA, Luis Emilio Pagina 49 Universidad Nacional José Faustino Sanchez Carrién Ejemplo: "Si Aristételes fue griego y Nerén fue romano, entonces Aristételes fue griego" “Aristételes fue griego y Nerén fue romano" -."Aristételes fue griego" 8. Ley de Adicién. P—(pvq) Si una proposicién condicional tiene el P consecuente disyuntivo y se afirma el Haat antecedente, se_concluye afirmando dicho consecuente. 9. Ley del Absurdo. p—(q*~q) Si-en-una premise condicional se tiene que el ————— _consecuente es una contradiccién (C) se concluye op negando el antecedente. Ejempl ‘Si Galileo fue fisico entonces Cc ico fue polaco y no lo fue" «Galileo no fue fisico" res errr ST Autor: LIC. REQUEJO RIVERA, Luis Emilio Pagina 50 Universidad Nacional José Faustino Sanchez Carrién rr Prueba Autoevaluativa N° 09 1, Sean las proposiciones: pi Manuel esté trabajando. q: Su hermana lo atiende. r: Manuel llega tarde a casa. Escribe una proposicin molecular, como esquema cldsico, para expresar cada una de las siguientes leyes : a) Ley del Modus Ponens. b) Ley del Modus Tollens. €) Ley del Silogisme Disyuntivo. 4d) Ley del Silogismo Hipotético. e) Ley del Absurdo SESION DIDATICA 14.- Evaluacién Escrita (Tre enn Autor: LIC, REQUEJO RIVERA, Luis Emilio Pagina 51 Universidad Nacional José Faustino Sanchez Carrién SESION DIDATICA 15.- CIRCUITOS LOGICOS La Légica al aplicarse a la electrénica como resultado del desarrollo tecnolégico, dio lugar a la llamada “inteligencia artificial” siguiéndose modelos cibernéticos cada vez més complejos cuya meta es lograr sistemas parecidos al del hombre. Trataremos entonces de aplicar los conocimientos adquiridos hasta ahora acerca de las nociones elementales de circuits légicos. El valor de verdad de una proposicién puede asociarse al pasaje de la corriente eléctrica por un circuito eléctrico controlado por un interruptor, puesto que puede indicarse que cuando el circuito estd cerrado (encendido) la corriente eléctrica circularé, mientras que cuando estd abierto (apagado) ésta no lo hard. Para representar un interruptor mediante una proposicién “p" ‘tendrem o—_“jje——2 oe ep Circuito abierto Circuito cerrado Es decir, si el circuito estd abierto (no pasa la corriente) se considera w(p) = F y si éste esté cerrado (pasa la corriente) se considera vp) = Vv. En la légica moderna sdlo se estudian tres operaciones proposicionales: la conjuncién, la disyuncién y la negacién: las otras operaciones: el condicional y bicondicional se pueden expresar a través de las anteriores (ver Equivalencias Notables), Entonces afirmaremos que esas operaciones se pueden representar mediante circuitos con tantos interruptores como proposiciones intervengan, Se consideran dos tipos de cireuitos eléctricos y que se pueden representar por proposiciones compuestas: en serie y en paralelo. ) Circuito en serie. La corriente pasa de un extremo a otro sdlo cuando los dos interruptores “p" y “q" estén cerrados (ambos verdaderos), en otros casos no hay paso de la corriente eléctrica. Luego un circuito de este ‘tipo se representa por la conjuncién de proposiciones: rg EET ‘Autor: LIC. REQUEJO RIVERA, Luis Emilio Pagina 52 Universidad Nacional José Faustino Sanchez Carrién ST o—Pp q—— prq o—~P q——e “pq ——-P ~q———e p~q o——_~p “qa ~prng En los tres ditimos gréficos no hay pase de la corriente porque existe por lo menos un interruptor abierto (~p 0 ~q). Considérese: Vp) = V(~p) = F v= V V(~q) =F 9) Circuito en Paralelo. Para que la corriente eléctrica pase de un extremo a otro, es condicién suficiente que un interruptor por lo menos esté cerrado. Sélo ésta no pasa cuando los'dos interruptores estan abiertos. Este tipo de circuito se representa por la disyuncién de proposiciones: P q PYq Es TL Ween ~pvq e c © py~q “4 ° . * ~pvng Estos dos tipos de cireuitos nos permiten diseRar redes de circuitos més complejos, pero siempre en funcién de las conjunciones, disyunciones y negaciones, asi como de las Equivalencias Notables. Sr rene rena ‘Autor: LIC, REQUEJO RIVERA, Luis Emilio Pagina 53 Universidad Nacional José Faustino Sanchez Carrion nS Ejemplos: Diseffar los circuitos légicos de las siguientes proposiciones. 1 (pyq)4r — P rr L:q—t 2 p—4q =~pvq (Ley del Condicional) ~p. e ° q 3. ~(p vq) =~pv~q — (Ley de De Morgan) o—~p——~qe 4. peq (Ley del Bicondicional) =(p>q)*@—p) (Ley del Condicional) =(-pvg<(-qvp) . q ; 2 @ Obsérvese que p <> q también puede ser: =(p q)v(~p 4 ~q) (Ley del Bicondicional) Pp q . at ° ) Se concluye que (a) y (b) son circuitos equivalentes. s (@p%q)>~(pvq) (Ley del Condicional y De Morgan) =(~p *q)v(~p%~q) (Ley de De Morgan) =(Pv~q)v(~p%~q) — (Absorcidn 10.12.4) =pv-qv~q (Idempotencia) =pyeg o— }-« “4 Pagina 54 Universidad Nacional José Faustino Sanchez Carién Loaica nn . p> a) vp]* [(~pvq)v~p] (Ley del Condicional) = [(~pvq)vp]* [(~p vq) v~p] (Ley Asociativa) =[pvavp]* [pvqv~p] (Edempotecia) a =[(pvp)vql* [-pvql (Otra Notacién) =[Tvq]* [~pvq] (FIND) = TA [pal (FNC) =opvg ~ — — q Escribe el esquema de cada circuito y simplificalo: pq P or. Solucién: El esquema molecular es: (p4~q)v (pv ~r) (Absorcién) =pv-rvng 8. “p “P. e q q —e P “p Solucién: Su esquema molecular es: (pvavp)*(pvqv~p) — (Asociativa e Tdempotencia) = (pv~pvq)4 (pv) (Tautologia) =(Tvq)4 (~pvq) (FND) =TA(-pvq) (FNC) =(~pvq) Pagina 55 ‘Autor: LIC. REQUEJO RIVERA, Luis Er Universidad Nacional José Faustino Sanchez Carrién 9. [jpseceresisecssas 4 [—e~Pp ——e L__~p—_.~q__J Solucién: Su esquema molecular es: {pviqv(-p%~q]}*~p —— (Absorcién) 5 Vigv-pl} 4 ~p (Asociativa) =tpvqv~pL~p (Conmutativa) =v~pvg)a~p (Tautologia) =(Tvq)~p (FND) =TA~p (FNC) Pe | ri ee ES ‘Autor: LIC, REQUEJO RIVERA, Luis Emilio Pagina 56 Universidad Nacional José Faustino Sanchez Carrion Prueba Autoevaluativa N° 10 2, Determinar los esquemas moleculares simplificados (si es posible) que representan a cada circuito: P 7 U—~p——_ r —— bp P q °) Pp q o—p— Ss |» P q d) P P ° r Le 7 q oe io} f P q r UL ~p ——~9 . 3. Disefiar los circuitos légicos que representan a los siguientes esquemas moleculares (simplificalos si es posible). 9) ~p > ~qvr)) b) (p+ ~q) ©) (~p*q)> (p*~P) 4) (pvq)*~(p > 9) e) (vq) sp] vir * pl f) [p*q*-r]v [pr] TTS Autor: LIC. REQUEJO RIVERA, Luis Emilio Pagina 57 Universidad Nacional José Faustino Sanchez Carrién Locica HOJA DE RESPUESTAS Prueba Autoevaluativa N° O01 ° 1. a-b-e-g 2.a)pAr d)~q g)*ro~p b)rvq e)~r pq A (ev) 3. a) "No tengo calor y ha llovido. a) "Si ha llovido entonces Juan se va caminando” b) “Si Juan no se va caminando entonces Pedro regresa temprano* ¢) "Tengo calor o no ha llovido" d) "No es verdad que Juan se va caminando © Pedro no regresa temprano” e) “Si tengo calor o no ha llovido, entonces Juan se va caminando” ba Autoevaluativa N° 02 1. a) ~pA-~r ¢) ~(p vq) b)rv~p d)~(q4~r) 2. a) Verdadero b) Verdadero 3. a) Verdadero ¢) Verdadero b) Verdadero 4) Verdadero Sera ET ‘Autor: LIC, REQUEJO RIVERA, Luis Emilio Pagina 58 Universidad Nacional José Faustino Sanchez Carrién Prueba Autoevaluativa N° 03 lla)p—r ¢) ~Ip > (q*~r) b)~q > (~pvr) AD~qernr 2. a) Verdadero ¢) Falso b) Verdadéro d) Verdadero Prueba Autoevaluativa N° 04 1. (p 4 q) > (or v~q) 2. Verdadera 3.VVV 4. a) Falso b) Verdadero ¢) Falso 5. a) Verdadero f) Verdadero b) Falso 9) Verdadero €) Falso h) Verdadero 4) Verdadero i) Falso e) Falso ) Verdadero ernie renee ‘Autor: LIC. REQUEJO RIVERA, Luis Emilio Pagina 59 Universidad Nacional José Faustino Sanchez Carrién Prueba Autoevaluativa N° 05 1 a)VFFV OFFRFFFFE b)VFVV e)FFVFFFFV e)VVVVVVVV AVEFV 2 A+) ~Va resulta: VF VF B:~(p~q)—(~pvq) resulta: VVVV & (P=) * Gp) resulta: VF FV 3. 0) Falsa b) Verdadera ©) Verdadera d) Falsa e) Falsa f) Verdadera Prueba Autoevaluativa N° 06 1, A, By Cno son equivalentes. 2.Ae C, es decir los 3 esquemas tienen el mismo valor de verdad en las tablas veritativas. -60- Autor: LIC. REQUEJO RIVERA, Luis Emilio Universidad Nacional José Faustino Sanchez Carrién LOGICA, Caen tee Prueba Autoevaluativa N° 07 1. Vélida 2. Vélida 3. Vélida 4. No vélida 5. Vélida 6. Vélida 7. Vélida 8. Vélida 9..No vélida 10. Vélida Prueba Autoevaluativa N° 08 1.~pvq “Rosa no estd en Lima o ella vendré sola” 2. a) ~pr~q “Rosa no estd en Lima y ella no vendrd sola" b) pv) (pva) "Rosa no esté en Lima o ella vendré sola. Pero “Rosa esté en Lima o ella vendré sola” oq “Ella vendré sola” Dpv~qver "Rosa esté en Lima o ella vendré no sola 0 Rosa no tiene dinero" qv "Rosa vendré sola o ella no esté en Lima” fq "Rosa no vendré sola” -61- Autor: LIC. REQUEJO RIVERA, Luis Emilio Universidad Nacional José Faustino Sénchez Carrién LOGICA © rr Prueba Autoevaluativa N° 09 1. a) Ley Modus Ponens p>4q P oq Si Manuel esté trabajando entonces su hermano lo atiende Manuel esté trabajando :.Su hermano lo atiende b) Ley Modus Tollens Pe ~q “np ‘Si Manuel estd trabajando entonces su hermano lo atiende Su hermano no lo atiende [Manuel no esté trabajando ¢) Ley Silegismo Disyuntivo pvq ~? Manuel estd trabajando o su hermano lo atiende Manuel no esté trabajando a d) Ley Silogismo’ Hipotético pq qor “por ‘Si Manuel esté trabajando entonces su hermano lo atiende Si su hermano lo atiende entonces Manuel llega tarde a casa Si Manuel esté trabajando entonces él llega tarde a casa e) Ley del ~p pP~(q%~9) Absurdo Si Manuel esté trabajando entonces su hermano lo atiende y no lo atiende ~-Manuel no esté trabajando SS Autor: LIC. REQUEJO RIVERA, Luis Emilio Pagina 62 Universidad Nacional José Faustino Sanchez Carrién LOGica Prueba Autoevaluativa N° 10 1:4) pyr a. (~q*r)v(p%q) bp ©. (Pyqvs)*(pvq) d. pvng e. (BA q4r)v(~p%~q) - a) p(qvr) q | tr r b) (PA q)v (mp 4 ~9) *2 Pq c © “pd ©) py~q: o— Pde d) pang o— P_~d_ ) rv g)*plv[r spy r P 4 q Le ~~ p #) PA gr) v(pAar) i pP__q_—-r ef Le P 0 LY Autor: LIC. REQUEJO RIVERA, Luis Emilio Pagina 63

También podría gustarte