P. 1
Microsoft Word - Capitulodos_logica

Microsoft Word - Capitulodos_logica

|Views: 13|Likes:
Published by Jorge Leal

More info:

Published by: Jorge Leal on Oct 24, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

09/08/2013

pdf

text

original

CAPITULO DOS 2.

LA LOGICA DIGITAL

2.1.

PROPOSICIONES Y CONECTORES LÓGICOS

2.1.1. PROPOSICIONESi. Una proposición es un enunciado o una oración que puede ser falsa o verdadera pero no ambas a la vez. Una proposición es verificable, por ende, es un elemento fundamental de la lógica matemática y de la lógica digital. A continuación se tienen algunos ejemplos de enunciados que son proposiciones y algunos que no lo son, se explica el porqué algunos de estos enunciados no son, como tal, proposiciones. Las proposiciones se indican por medio de una letra minúscula, dos puntos y la proposición propiamente dicha. Por ejemplo. p: q: r: s: t: v: w: La tierra es plana. -12 + 28 = 21 x>y+1 El Cortulua será campeón en la presente temporada de Fútbol colombiano. Hola ¿Qué tal? Bogotá es la capital de Colombia Lava el coche, por favor.

Los incisos p y q sabemos que pueden tomar un valor de falso o verdadero; por lo tanto son proposiciones validas. El inciso r también es una proposición valida, aunque el valor de falso o verdadero depende del valor asignado a las variables x y y en determinado momento y v es una proposición verdadera. La proposición del inciso s también esta perfectamente expresada aunque para decir si es falsa o verdadera se tendría que esperar a que terminara la temporada de fútbol. Sin embargo los enunciados t y w no son válidos, ya que no pueden tomar un valor de falso o verdadero, uno de ellos es un saludo y el otro es una orden. 2.1.2. CONECTORES LÓGICOS Y PROPOSICIONES COMPUESTASii.

21

Las proposiciones anteriores son todas, proposiciones simples. Para obtener proposiciones compuestas se deben ligar o combinar más de una proposición simple. Existen conectores u operadores lógicos que permiten formar proposiciones compuestas (formadas por varias proposiciones simples). Los operadores o conectores básicos son: y, o, no, no o, no y, o exclusiva, no o exclusiva 2.1.2.1. Operador and (y) - Operación Conjuncióniii Se utiliza para conectar dos proposiciones que se deben cumplir(ser verdaderas) para que se pueda obtener un resultado verdadero. Su símbolo es: {∧, un punto (.), un paréntesis, o también, ∩}. Se le conoce como la multiplicación lógica(en la matemática booleana): Algunos ejemplos son: 1. La proposición “El coche enciende cuando tiene gasolina en el tanque y tiene corriente la batería” está formada por dos proposiciones simples: q y r q: Tiene gasolina el tanque. r: Tiene corriente la batería. Con p: El coche enciende.

De tal manera que la representación del enunciado anterior usando simbología lógica es como sigue: p= q∧r Su tabla de verdad es como sigue:

Donde; 1 = verdadero En la tabla anterior el valor de q = 1 significa que el tanque tiene gasolina, r = 1 significa que la batería tiene corriente y p = q ∧ r = 1 significa que el .q 1 1 0 0 0 = falso .r 1 0 1 0 .p = q ∧ r 1 0 0 0

22

coche puede encender. Se puede notar que si q o r valen cero implica que el auto no tiene gasolina o no tiene corriente la batería y que, por lo tanto, el carro no puede encender. 2. La ciudad x está en Francia y es su capital es una proposición compuesta por las proposiciones simples: p: La ciudad x está en Francia. Qué es verdadera solo para todas las ciudades x que estén en Francia de lo contrario será falsa y, r: La ciudad x es capital de Francia. será falsa Qué es verdadera solo si x es Paris de lo contrario

Con ello la proposición compuesta q: p ∧ r será verdadera solo si x es Paris, de lo contrario será falsa, como lo muestra la tabal correspondiente.

El operador y en la teoría de conjuntos equivale a la operación de intersección, por ello se le puede representar como lo muestra .p .r .q = p ∧ r la figura No 15: 1 1 1 1 0 0 0 1 0 0 0 0

Figura No 15. p ∧ r

También tiene representación circuital con interruptoresiv ,como aparece en la figura 16. Si los dos interruptores están cerrados(indicando verdadero o “1” lógico) la lámpara se enciende de lo contrario no.

23

Figura No 16 Circuito con interruptores que representa la función lógica Conjunción(AND) p ∧ r

2.1.2.2. Operador Or (o) – Operación Disyunción Con este operador se obtiene un resultado verdadero cuando alguna de las proposiciones es verdadera. Se indica por medio de los siguientes símbolos: {∨,+,∪}. Se conoce como las suma ∨ ∪ lógica en el Álgebra Booleana. En términos literales se comporta como y/o. Por ejemplo: 1. Sea el siguiente enunciado “Una persona puede entrar al cine si compra su boleto u obtiene un pase”. Donde. p: Entra al cine. q: Compra su boleto. r: Obtiene un pase. La proposición compuesta es p: q v r y la tabla de verdad representativa es: .q 1 1 0 0 .r 1 0 1 0 .p: q ∨ r 1 1 1 0

La única manera en la que no puede ingresar al cine (p = 0), es que no compre su boleto (q = 0) y que, además, no obtenga un pase (r = 0). 2. m: Con la proposición Iré al estadio si juega Santa fé o me invitan

24

q 1 0 1 0 . así: 25 . por ello en diagrama de Venn se representa.m: p v q La tabla de verdad correspondiente es: . Diagrama de Venn de una Disyunción p ν q Y en circuito de conmutación.p 1 1 0 0 .Compuesta por las proposiciones: p: q: Juega Santa Fé Me invitan al estadio Se obtiene la proposición compuesta cuya notación es: . así: Figura No 17.m: p ∨ q 1 1 1 0 En cualquier caso la operación OR o la disyunción se asimila a la operación Unión entre conjuntos.

1. También. ¬. cuyo diagrama de Venn es: p’ 0 1 La capital de Francia es Paris (p = 1). 2.2. Por Ejemplo. Esto significa que sí alguna proposición es verdadera y se le aplica el operador not se obtendrá su complemento o negación (falso).Figura No 18. es decir. que la lámpara encienda.p 1 0 Con 1 verdadero y 0 falso. Este operador se indica por medio de los siguientes símbolos: {‘. Teniendo la proposición : p: su negación será : p’: 2. Para p: p’: no es la capital de Francia Paris(p’= 0) 2x4 = 6 (p = 0) 2x4 ≠ 6 (p’ = 1) .3.−}. tiene expresión en la teoría de conjuntos y es el denominado complemento. 1. Representación circuital de una disyunción (OR) p v q de tal suerte que es suficiente con que uno de los dos interruptores este cerrado para obtener un “1” lógico. Operador Not (no) – Operación negación Su función es negar la proposición. 26 .

Figura No 19. cuyo funcionamiento es semejante al operador or con la diferencia en que su resultado es verdadero solamente si una de las proposiciones es cierta. Se nota como ⊕. Algunos ejemplos son: 27 . La O exclusiva (Disyunción exclusiva) Es el operador que conecta dos proposiciones en el sentido estricto de la “o” literal.1. como aparece en la figura No 20. Figura No 20. Representación circuital de una negación (NOT) p’ 2.2. igual si las dos son falsas.4. o es blanco o es negro. El operador se denomina XOR. es o no es. Diagrama de Venn Operador not .Negación En términos de circuito su representación será. cuando ambas son verdaderas el resultado es falso. Cuando se cierra p (“1” lógico) el led se apaga(falso o “0” lógico) y si p se abre(“0” lógico) el led se enciende (verdadero o “1” lógico).

1.q 1 0 1 0 . así: 28 . r: Antonio canta o silva La proposición está compuesta por las proposiciones p: y q: Antonio Canta Antonio silva p: r⊕q Su notación es: Y su tabla de verdad será: . así: Figura No 21. por ello en diagrama de Venn se representa.r = p ⊕ q 0 1 1 0 La XOR o disyunción exclusiva se asimila a la operación Unión exclusiva entre conjuntos. Diagrama de Venn de una Disyunción exclusiva (XOR) .p 1 1 0 0 .p ⊕ q Y en circuito de conmutación.

1. (∩)’}. de la misma manera es válido desarrollar apropiadamente el taller uno 2. Representación circuital de una disyunción exclusiva XOR p ⊕ q El led será encendido si los interruptores están en posiciones contrarias de cualquier otra forma se conservara apagado(“o” lógico) 2. en cualquier otro caso la proposición compuesta es verdadera.1. Con ayuda de estos operadores básicos se pueden formar los operadores compuestos Nand (combinación de los operadores Not y And).2. Nor (combina operadores Not y Or) y Xnor (resultado de Xor y Not). Se hará un recorrido muy somero por cada uno de ellos. Se recomienda acudir a la bibliografía respectiva para precisar mejor los conceptos.Figura No 22. (.5.1.2. Su símbolo es: {(∧)’. De tal manera que la representación de una proposición queda como sigue: p = (q ∧ r)’ Cuya tabla de verdad es complemente contraria a la conjunción: 29 . Combinaciones con negadora.5.)’. Operador NAND – Conjunción negada Se utiliza para conectar dos proposiciones que se deben cumplir(ser verdaderas) para que se pueda obtener un resultado falso.

por ello se le puede representar en diagrama de Venn como lo muestra la figura No 23: Figura No 23.q 1 Donde: 1 = verdadero 0 = falso 1 0 . (q ∧ r)’ El conector NAND también tiene representación circuital con interruptores. 30 . Si los dos interruptores están cerrados(indicando verdadero o “1” lógico) el led se apaga (“0” lógico) de lo contrario está encendida (“1” lógico). Su comportamiento es completamente contrario a la conjunción. como aparece en la figura 24..r 1 0 1 p = (q ∧ r)’ 0 1 1 0 0 1 El operador y negado en la teoría de conjuntos equivale a la operación de intersección complementada.

por ello en diagrama de Venn se representa como en la figura No 25. por ello.5.2. Operador NOR – Disyunción negada Es el Inverso de la disyunción.r = (p ∨ q)’ 0 0 0 1 En cualquier caso la operación NOR o la disyunción negada se asimila a la operación Unión entre conjuntos. Se e indica por medio de los siguientes símbolos: {(∨)’. cuando las proposiciones son falsas. donde se considera como resultado todo lo que en la disyunción no lo era.1. ∨ (+)’. (∪)’}.Figura No 24. Se conoce como las suma lógica inversa en el Álgebra Booleana.q 1 0 1 0 . En cualquier otro caso da un resultado falso. así: 31 . pero. es decir.2.p 1 1 0 0 . se obtiene con este operador un resultado verdadero en el único caso que se obtenía falso en la disyunción. complementada. Circuito con interruptores que representa la función lógica Conjunción(NAND) (q ∧ r)’ 2. ∪ La proposición compuesta es r: (p ∨ q)’ y la tabla de verdad representativa es: .

Diagrama de Venn de una Disyunción negada El circuito de conmutación queda como en la figura No 26.1. Representación circuital de una disyunción negada (NOR) (p v q)’ 2. las dos son verdaderas o las dos son falsas(más adelante veremos que también se denomina equivalencia).3. así .5. que tan solo es verdadera la proposición compuesta sí. es que ninguno de los interruptores se cierre(“1” lógico) el led se conservará APAGADO(“0” lógico. La única forma en que se ACTIVE el led(“1” lógico). Operador XNOR – Disyunción exclusiva negada Es el operador que niega al conector O exclusivo . algunos también lo notan como (⊕ )’. El operador se denomina XNOR. bien. Se nota como .Figura No 25.2. o. Figura No 26. 32 .

Diagrama de Venn de una Disyunción exclusiva (XNOR) Y en circuito de conmutación. Representación circuital de una disyunción exclusiva XNOR p q 33 .q 1 0 1 0 . así: Figura No 28.r = p 1 0 0 1 q La XNOR o disyunción exclusiva se asimila a la operación Unión exclusiva pero complementada. así: Figura No 27. por ello el diagrama de Venn se representa.p 1 1 0 0 .La tabla de verdad será: .

los dos en “0” originan un estado encendido “1” en el led. El candidato administrativo dice “Si salgo electo Representante al CSU recibirán un 50% de aumento en su sueldo el próximo año”.p → q 1 0 1 1 Se lee “Si p. 34 .6.p 1 1 0 0 . De tal manera que el enunciado se puede expresar de las siguiente manera.1. p→q Su tabla de verdad queda de la siguiente manera: . Una proposición condicional. q” La interpretación de los resultados de la tabla es la siguiente: Considere que se desea analizar si el candidato al CSU mintió con la afirmación del enunciado anterior.2.1.2.1.p → q Ejemplo.6.q 1 0 1 0 . Una declaración como esta se conoce como condicional. o. es aquella que está formada por dos proposiciones simples (o compuesta) p y q. La cual se indica de la siguiente manera: . q: Recibirán un 50% de aumento en su sueldo el próximo año. entonces. Otros Conectores y operaciones lógicas 2. de lo contrario se conservara apagado “0”. Su tabla de verdad es la siguiente: Sean p: Salgo electo Representante al CSU.De manera que los dos interruptores en “1”. Proposiciones condicionalesv. 2.

el candidato mintió. q: Tiene promedio de cinco. Sean p y q dos proposiciones entonces se puede indicar la proposición bicondicional de la siguiente manera: .2. Cuando p = 1 y q = 0 significa que p → q = 0. tiene promedio de cinco” Donde: p: Es buen estudiante. que posiblemente fue ajeno al candidato al CSU y por lo tanto.6. 35 .1. q” Esto significa que p es verdadera si y solo si q es también verdadera. Cuando p = 0 y q = 0 significa que aunque no salió electo. tampoco mintió de tal forma que la proposición p → q = 1. Proposición bicondicional.2.Cuando: p = 1. significa que el candidato dijo la verdad en su campaña. el enunciado siguiente es una proposición bicondicional “Es buen estudiante. que posiblemente fue ajeno al candidato al CSU y por lo tanto. O bien p es falsa si y solo si q también lo es. tampoco mintió de tal forma que la proposición p → q = 1. Cuando p = 0 y q = 1 significa que aunque no salió electo hubo un aumento del 50% en su salario. 2. si y solo si. por lo tanto su tabla de verdad es. Por Ejemplo. ya que salió electo y no se incrementaron los salarios. por lo tanto p → q = 1. significa que salió electo. tampoco se dio un aumento del 50% en su salario.p ↔ q Se lee “p. si solo si. q = 1 recibieron un aumento del 50% en su sueldo.

Relaciones entre conjuntos.2. AND. se está en condiciones de representar cualquier enunciado con conectores lógicos y más aún. Diseñe más ejemplos para cada uno de los conectores propuestos. 2. establecer la veracidad de tal proposición. TALLER UNO 1. Sean las proposiciones: p: Hoy es domingo. Intersección.2. USO TABLAS DE VERDAD Desde ya. 2. el cinturón del conductor o copiloto no esta colocado estando el asiento respectivo ocupado o cuando las luces quedan encendidas cuando el carro está apagado. 36 . Implemente en el laboratorio varios de los circuitos propuestos en los dos puntos anteriores. OR NOR.p ↔ q 1 0 0 1 La proposición condicional solamente es verdadera si tanto p como q son falsas o bien ambas verdaderas. 4.q 1 0 1 0 . diferencia. Diseñe el diagrama de Venn y el circuito conmutacional correspondiente a la proposición condicional y a la bicondicional. Elabore el mapa conceptual de la sección.1.3. XOR y XNOR b.1. NADN. 6. Relaciones entre los símbolos de un sistema 2. Elabore e implemente en el laboratorio el circuito conmutacional que represente: Una alarma de un carro se activa cuando estando encendido el motor una de las puertas esta abierta. 1. d. Ejemplo. 5. Operaciones entre conjuntos c. Es la misma Disyunción exclusiva inversa o negada (XNOR). LAS TABLAS DE VERDAD 2. Verifique los conceptos escribiendo con sus palabras lo que interpreta por cada uno: a. e. unión. 3.p 1 1 0 0 . complemento.

p = q ⊕ r 0 1 1 0 p = (q ∧ r)’ 0 1 1 1 p = (q ∨ r)’ 0 0 0 1 37 .r 1 0 1 0 .q 1 1 0 0 .q 1 1 0 0 ..r 1 0 1 0 .q 1 1 0 0 .q 1 1 0 0 .p = q ∨ r 1 1 1 0 .q 1 1 0 0 .r 1 0 1 0 .r 1 0 1 0 .r 1 0 1 0 .p = q ∧ r 1 0 0 0 .

puedo hallar su valor de verdad. r: Aprobaré el curso. La tabla tendrá ocho posibilidades para combinar la condición de verdad de cada una ya que 23 = 8. Con ayuda de la tabla de la figura 29. Tablas de verdad de los conectores lógicos básico El enunciado: “Hoy es domingo y tengo que estudiar circuitos digitales o no aprobaré el curso”. Antes de hacerlo. . No de líneas = 2n Donde n = número de variables distintas.q 0 0 1 1 0 0 . la tabla del presente ejemplo queda así: . se presenta un resumen de las tablas de verdad en la figura No 29. q y r. Se puede representar simbólicamente de la siguiente manera: (p ∧ q) ∨ r ’ De tal proposición.r 0 1 0 1 0 1 .r’ 1 0 1 0 1 0 . Por ser tres proposiciones (variables) p.p ∧ q 0 0 0 0 0 0 (p ∧ q )∨ r’ ∨ 1 0 1 0 1 0 38 .p 0 0 0 0 1 1 .. El número de líneas de la tabla de verdad depende del número de variables de la expresión y se puede calcular por medio de la siguiente formula.q 1 1 0 0 .q 1 0 1 0 p=q 1 0 0 1 p→q 1 0 1 1 r Figura No 29.r 1 0 1 0 .p 1 1 0 0 q: Tengo que estudiar circuitos digitales.

entonces.q 0 0 1 1 0 0 1 1 . en el caso en que p.p→q (q’∧r) 1 1 0 1 1 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 0 1 0 (p→q)∨ (q’∧r) 1 1 1 1 0 1 1 1 r→p 1 0 1 0 1 1 1 1 [(p→q)∨ (q’∧r)] ↔ (r→p) 1 0 1 0 0 1 1 1 39 .1. q y r sean verdaderas.q’ . pagaré el semestre.1 1 1 1 0 1 1 0 1 1 1 1 Debe observarse.p: . Resuelto todo esto ahora. si voy a Europa. Simultáneamente se ha podido resolver la implicación.r 0 1 0 1 0 1 0 1 . o. entonces.z: [(p→q)∨ (q’∧r)] ↔ (r→p) La tabla de verdad que representa está proposición dando cuenta de su veracidad es la que se presenta a continuación.4.q: . 2. no importando p ni q. no se puede hacer la doble implicación. no pago el semestre y voy a Europa. Para que la proposición compuesta sea verdadera se requiere que r sea falsa.r: Tengo dinero Pagaré el semestre Iré a Europa La notación correspondiente es: .2. si se procede a encontrar el valor de la bicondicional: . Primero se desarrollan los dos paréntesis redondos por estar dentro del paréntesis cuadrado y posteriormente se resuelve la disyunción.p 0 0 0 0 1 1 1 1 . tengo dinero Esta compuesto por tres proposiciones que son: . También. Si y solo sí. Del enunciado hallar la condición de verdad: “ Si tengo dinero. que el operador Conjunción se desarrolla primero que el operador disyunción por la jerarquía de los operadores planteada en la sección 2. o se puede hacer luego. como se puede observar hasta no resolver el paréntesis cuadrado. En todos los demás casos la expresión es falsa.

o simplemente equivalentes. Equivalencia lógicavii. Se dice que dos proposiciones son lógicamente equivalentes. Tautologíavi.com/trabajos4/logica/logica. Un ejemplo típico es la contrapositiva cuya tabla de verdad se indica a continuación. TAUTOLOGÍAS. Y si me quedo sin dinero y pido prestado.2. . s: Pediré prestado.2.3. es aquella proposición (compuesta) que es cierta para todos los valores de verdad de sus variables. resultarán 26 = 64 posibles combinaciones.1. r: Me quedaré sin dinero. 40 . 2. CONTRADICCIONES Y EQUIVALENCIAS LÓGICAS 2..z: (p’ → q) ∧ [p → (r ∨ s) ] ∧ [(r ∧ s) → t’ ] ↔ w De tal proposición.2.p 0 0 1 1 . Quedará como ejercicio del lector. Y Si pago la luz. entonces no podré pagar la deuda.shtml.2. “Lógica matemática” http://www.q . entonces me cortarán la energía eléctrica. Tautología. si solo si soy desorganizado”1 Donde la proposición está compuesta de las proposiciones simples: p: Pago la luz.2. entonces me quedaré sin dinero o pediré prestado. w: soy desorganizado.p’ . JIMÉNEZ. t: Pagar la deuda.2. Jose A. Siendo la notación: . Sea el siguiente enunciado “Si no pago la luz.q’ 0 1 0 1 1 1 0 0 1 0 1 0 p→q 1 1 0 1 q’→p’ 1 1 0 1 (p→q)↔(q’→p’) 1 1 1 1 Nótese que en las tautologías para todos los valores de verdad el resultado de la proposición es siempre 1. puedo hallar su valor de verdad haciendo uso de las tablas de verdad. Las tautologías son muy importantes en lógica matemática ya que se consideran leyes en las cuales es posible apoyarse para realizar demostraciones.2. Se indican como p ≡ q. 1 Ejercicio de documento referido referenciado en la bibliografía.monografias. Si coinciden sus resultados para los mismo valores de verdad. q: Me cortarán la energía eléctrica. 2.

b). (p ∨ q) ≡ (q ∨ p) (p ∧ q) ≡ (q ∧ p) 3... 1.. b.. . b). a). En la unidad correspondiente al álgebra de Boole se verá que los mismos se conocen como los teoremas y postulados básicos del álgebra de Boole. (p ∨ q)' ≡ (p' ∧ q') (p ∧ q)' ≡ (p' ∨ q') (p ∨ q) ≡ (p' ∧ q')' (p∧q) ≡ (p' ∨ q')' 7. a).Leyes de idempotencia. (p→q) ≡ (q’→p' ) 41 .(p')' ≡ p 2. por lo tanto se puede establecer que (p→q) ≡ (q’→p’) A continuación se citan una lista de las tautologías y equivalencias más conocidas de la lógica proposicional.Contrapositiva. [p ∨ (q∧r)] ≡ [(p ∨ q) ∧ (p ∨ r)] [p ∧(q ∨ r)] ≡ [(p∧q) ∨ (p∧r)] 5. (p ∨ p) ≡ p (p ∧ p) ≡ p 6.Leyes distributivas. [(p ∨ q) ∨ r] ≡ [p ∨ (q ∨ r)] [(p∧q) ∧r] ≡ [p∧(q∧r)] 4. c).. a)..Un buen ejemplo es el que se estableció para ilustrar la tautología en donde se puede observar que las columnas de (p→q) y (q’→p’) para los mismo valores de verdad.Leyes conmutativas. que se identifican como leyes del álgebra proposicional. b). d).Leyes asociativas.Leyes de Morgan a). a). a).Doble negación. b). a)..

d).Implicación. 9.t ’ ≡ f .Doble negación. b). (p ∨ f) ≡ p (p ∨ t) ≡ t (q ∧ t) ≡ q (q ∧ f) ≡ f 11. e). (p ∨ p’) ≡ t (p ∧ p’) ≡ f . f). b).Ley de identidad a). c)..Equivalencia a).p 0 1 Equivalencia demostrada p’ 1 0 (p’)’ 0 1 42 .f ‘ ≡ t Estas leyes son demostrables aplicando las tablas de verdad. d). d). (p↔q) ≡ [(p→q) ∧ (q→p)] (p→q) ≡ (p' ∨ q) (p→q) ≡ (p ∧ q')' (p ∨ q) ≡ (p'→q) (p ∧ q) ≡ (p →q')' [(p→r) ∧ (q→r)] ≡ [(p ∨ q) →r] [(p→q) ∧ (p→r)] ≡ [p→ (q ∧ r)] 10. a). c).8.. (p')' ≡ p . se desarrollan a continuación algunos casos.Ley de Complementos a).. a). que el lector deberá verificar: 1... b). c).

3. (p ∧ q) ≡ (q ∧ p) . .q 0 0 1 1 0 0 1 1 .p 0 0 0 0 1 1 1 1 [(p ∨ q) ∨ r] ≡ [p ∨ (q ∨ r)] .r 0 1 0 1 0 1 0 1 (p ∨ q) (p ∨ q) ∨ r (q ∨ r) [p ∨ (q ∨ r)] 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 Se demuestra que la equivalencia es correcta.Leyes conmutativas.Leyes asociativas. (p ∨ q) ≡ (q ∨ p) . a).q 0 1 0 1 (p ∧q) 0 0 0 1 (q ∧ p) 0 0 0 1 Se demuestra que la equivalencia es correcta. a).q 0 1 0 1 (p ∨ q) 0 1 1 1 (q ∨ p) 0 1 1 1 ... 43 .p 0 0 1 1 Equivalencia demostrada b).2.p 0 0 1 1 .

.b.r 0 1 0 1 0 1 0 1 (p ∧ q) (p ∧ q) ∧ r 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 (q ∧ r) [p ∧ (q ∧ r)] 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 Se demuestra que la equivalencia es correcta. .q 0 0 1 1 0 0 1 1 . 44 .Leyes distributivas. 4.p ∧ (q ∨ r) (p ∧ q) (p ∧ r) [(p ∧ q) ∨ (p ∧ r)] 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 Se demuestra que la equivalencia es correcta. a).q 0 0 1 1 0 0 1 1 r 0 1 0 1 0 1 0 1 (q ∧ r) . b).p 0 0 0 0 1 1 1 1 [(p∧q) ∧r] ≡ [p∧(q∧r)] .q 0 0 1 1 0 0 1 1 .p 0 0 0 0 1 1 1 1 [p ∧(q ∨ r)] ≡ [(p∧q) ∨ (p∧r)] .p 0 0 0 0 1 1 1 1 [p ∨ (q∧r)] ≡ [(p ∨ q) ∧ (p ∨ r)] . .r 0 1 0 1 0 1 0 1 (q ∨ r) .p ∨ (q ∧ r) (p ∨ q) (p ∨ r) [(p ∨ q) ∧ (p ∨ r)] 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 Se demuestra que la equivalencia es correcta. .

q .Leyes de Morgan a).p 0 1 (p ∧ p) ≡ p (p∨p) 0 1 Se demuestra que la equivalencia es correcta b).q p ∧ q (p ∧ q)’ 0 1 0 1 0 0 0 1 1 1 1 0 .q’ 1 0 1 0 (p’ ∨ q) 1 1 1 0 Se demuestra que la equivalencia es correcta..p 0 0 1 1 .p 0 0 1 1 ..p’ 1 1 0 0 .5.p 0 1 (p∨p) 0 1 Se demuestra que la equivalencia es correcta 6. 45 . a).p’ 1 1 0 0 .q’ 1 0 1 0 (p’ ∧ q) 1 0 0 0 Se demuestra que la equivalencia es correcta.Leyes de idempotencia. (p ∨ p) ≡ p . .p ∨ q (p ∨ q)’ 0 1 0 1 0 1 1 1 1 0 0 0 . b). (p ∨ q)' ≡ (p' ∧ q') . (p ∧ q)' ≡ (p' ∨ q') .

Como lo muestra su correspondiente tabla de verdad. 2.p’ 1 1 0 0 .(p ∧ q) 0 1 0 1 0 0 0 1 . una de las mas usadas y mas sencilla es p∧p’ . Contradicción Una contradicción es aquella proposición que siempre es falsa para todos los valores de verdad..(p ∨ q) 0 1 0 1 0 1 1 1 .2. (p∧q) ≡ (p' ∨ q')' .q’ 1 0 1 0 (p' ∨ q') (p’ ∨ q’)’ 1 1 1 0 0 0 0 1 Se demuestra que la equivalencia es correcta.p’ 1 1 0 0 .q . (p ∨ q) ≡ (p' ∧ q')' .3.p 0 0 1 1 .p’ 1 0 p∧p’ 0 0 Si en el ejemplo anterior p: La puerta es verde.c). p 0 1 .q . d). 46 .q’ 1 0 1 0 (p' ∧ q') (p’ ∧ q’)’ 1 0 0 0 0 1 1 1 Se demuestra que la equivalencia es correcta.p 0 0 1 1 .2.

La proposición p∧p’ equivale a decir que “La puerta es verde y la puerta no es verde”. o. dan como resultado 1s y 0s se le llama contingente. O también es válido: Marcos pasa el examen Implica estudiar.1.3. 2. entonces. entonces. Lo anterior quiere decir que una Tautología no es una proposición contingente. Condicional. estudia. En cualquier caso su notación será: p→q 2. necesaria es la proposición verdadera en todo momento. RECIPROCA. Posteriormente se precisará cuando existe una falacia.6. 2. pero tampoco lo es una contradicción. Es la mencionada en el literal 2.1. O también es válido: Marcos Estudia Implica pasar el examen. Y también puede ser: Marcos estudia solo si pasa el examen.2.2. contingente es aquella proposición que en algún momento es falsa. INVERSA Y CONTRARECIPROCA Haciendo uso de las tablas de verdad es posible a partir de las proposiciones condicionales. también “ p implica q” o incluso “p si solo q”.2. 2.3. recuérdese que se nota: p→q y Se lee “Si p. Reciproca.3. Un ejemplo puede ser: teniendo las proposiciones: p: Marcos estudia y q: Marcos pasará el examen la condicional será: Si Marcos estudia. entonces.2. su inversa y su contrareciproco. pasará el examen. Es decir. CONDICIONAL.2.4. obtener su reciproco. e imposible la proposición falsa en todo momentoviii . Y también puede ser: Marcos pasa el examen solo si estudia . 47 .2. q”. Es la proposición compuesta en las que se da la condición de implicación pero con las proposiciones en orden inverso: Se nota: q →p Continuando con el ejemplo anterior ejemplo con las dos mismas proposiciones la proposición reciproca será: Si Marcos pasa el examen.1.2. Contingente Una proposición compuesta cuyos resultados en sus diferentes líneas de la tabla de verdad.

SIMPLIFICACIÓN DE PROPOSICIONES Y JERARQUÍA DE OPERADORES 2. igual la condicional y la bicondicional. O también es válido: Marcos NO estudia Implica NO pasar el examen. Paréntesis Cuadrado. Y también puede ser: Marcos NO pasa el examen solo si NO estudia . Jerarquía de operadores Cuando se requiere manipular con tablas de verdad o con las leyes proposicionales complejas. también lo son.2. Como se puede observar condicional y contrarecíproca son equivalencias lógicas.2. Tal jerarquía es la del álgebra tradicional. 2.p 0 0 1 1 -q 0 1 0 1 Condicional (p→q) 1 1 0 1 Recíproca (q→p) 1 0 1 1 Inversa (p’→q’) 1 0 1 1 Contrarecíproca (q’→p’) 1 1 0 1 q’ → p’.1.2. .Inversa. conjunción.3. es necesario manejar una jerarquia de operadores. Orden : Corchete. O también es válido: Marcos NO pasa el examen Implica NO estudiar. entonces. Continuando con el ejemplo anterior ejemplo con las dos mismas proposiciones la proposición inversa a la condicional original es: Si Marcos NO estudia. 48 .4. Es la proposición compuesta por la negación individual de las dos proposiciones que se relaciona a través de la condicional.4. por lo general se ejecutan en proposiciones incluidas en algún tipo de paréntesis. Es decir: (p→q) ≡ (q’→p’). NO estudia.2. de igual manera recíproca e inversa.4. Paréntesis redondo. es la misma aplicación 2. Se nota: Siguiendo con el ejemplo: Si Marcos NO pasa el examen. Es la reciproca de la inversa condicional. es la equivalencia 7 (contrapositiva) (q→p) ≡(p’→q’). La tabla representativa de las cuatro proposiciones es: . La negación se ejecuta cuando aparezca. disyunción.2. Se nota: p’ → q’. negación.3. Y también puede ser: Marcos NO estudia solo si NO pasa el examen. Contra recíproca.3. entonces. NO pasará el examen.

. Con ello se termina el paréntesis cuadrado. En la proposición p ∧ (q ∨ r) ∧ p’ ∧ q ∨ r. ahora se procede a negar y quedan por resolver del paréntesis cuadrado una disyunción y una conjunción. Como las conjunciones son de mayor jerarquía son las que se deben resolver. luego es lo primero que se desarrolla. Una vez terminadas.Ejemplos: 1. hasta tanto no se resuelva lo que esta abarcado por él. no se puede continuar. Primero Segundo Tercero Y Cuarto (q ∨ r) p’ p ∧ (q ∨ r) ∧ p’ ∧ q [p ∧ (q ∨ r) ∧ p’ ∧ q] ∨ r 3. En la proposición p ∧ q ∨ [( r ∧ p)’ ∧ q ∨ r]. se debe entonces resolver el paréntesis que involucra una conjunción. dos conjunciones y una disyunción. es decir. Primero Segundo Tercero Cuarto Quinto Y sexto 4. Así. se desarrolla la disyunción. (r ∧ p) (r ∧ p)’ (r ∧ p)’ ∧ q [(r ∧ p)’ ∧ q ∨ r] p∧q (p ∧ q) ∨ [(r ∧ p)’ ∧ q ∨ r] (r ∧ p) (r ∧ p)’ (r ∧ p)’ ∧ q [(r ∧ p)’ ∧ q ∨ r] {q ∨ [( r ∧ p)’ ∧ q ∨ r] } Terminando el corchete p ∧ {q ∨ [(r ∧ p)’ ∧ q ∨ r]} En la proposición p ∧ {q ∨ [( r ∧ p)’ ∧ q ∨ r] } el orden resumido es: En la proposición p → {q ∨ [( r ∧ p)’ ↔ q ∨ r] } el orden resumido es: Primero Segundo Tercero Cuarto Quinto (r ∧ p) (r ∧ p)’ (r ∧ p)’ ↔ q [(r ∧ p)’ ↔ q ∨ r] {q ∨ [( r ∧ p)’ ↔ q ∨ r] } Terminando el corchete 49 . Como ya se sabe va primero la conjunción para terminar con la disyunción. ahora.En la proposición p ∧ q ∨ r primero se desarrolla la proposición compuesta que integra el operador ∧. que es lo mismo que: (p ∧ q) ∨ r 2. Tiene prelación el paréntesis cuadrado [( r ∧ p)’ ∧ q ∨ r] . la mayor jerarquía la tiene el paréntesis. Se resuelve la conjunción y luego la disyunción. después la negación de p. Quedan una disyunción y una conjunción. Primero Segundo Tercero Cuarto Quinto Y sexto 5. p ∧ q. y después su resultado se resuelve con el operador ∨ resolviendo p ∧ q ∨ r. Dentro hay un paréntesis redondo. una negación. Desarrollado (q ∨ r) y p’ quedan por desarrollar tres conjunciones y una disyunción.

Ejemplos 1.4. Hallar la expresión simplificada para p’∧q v p∧q Solución: Ley distributiva(4b) con q como elemento común: Ley de complementos (11a): Ley de identidad (10c) p’∧q v p∧q ≡ q ∧ ( p’ v p) p’∧q v p∧q ≡ q ∧ t p’∧q v p∧q ≡ q 2. Hallar la expresión simplificada para (p’∧q v p)∧(q v p)∧q’ Solución: Ley conmutativa(2 a): Ley distributiva(4 a): Ley de complementos(11 a): Ley de identidad(10c): Ley conmutativa( 2b): Ley de idempotencia( 5b): Ley conmutativa (2b): Ley distributiva (4b): Ley de complementos (11b) Ley de identidad(10 a): (p´∧q v p)∧(q v p)∧q’≡ (p vp’∧q)∧(q v p)∧q’ (p’∧qvp)∧(q v p)∧q’≡ (pvp’)∧(pvq)∧(qvp)∧q’ (p’∧q v p)∧(q v p)∧q’≡ t ∧(p v q)∧(q v p)∧q’ (p’ ∧ q v p)∧(q v p)∧q’≡ (p v q)∧(q v p)∧q’ (p’ ∧ q v p)∧(q v p)∧q’≡ (p v q)∧(p v q)∧q’ (p’ ∧ q v p)∧(q v p)∧q’≡ (p v q)∧q’ (p’ ∧ q v p)∧(q v p)∧q’≡ q’ ∧ (p v q) (p’ ∧ q v p)∧(q v p)∧q’≡ (q’ ∧ p) v (q’ ∧ q) (p ∧ q v p)∧(q v p)∧q’≡ (q’ ∧ p) v f) (p ∧ q v p)∧(q v p)∧q’≡ (q’ ∧ p) 50 .2. Reducción de Proposiciones con las equivalencias fundamentales Aplicando las once equivalencias es posible hacer que proposiciones relativamente largas se puedan convertir en proposiciones más cortas y compactas.2. Veamos algunos ejemplos. Hallar la expresión simplificada para p’∧q v p∧q v p∧q’ Solución: Ley asociativa(3 a): Ley distributiva(4b) con q como elemento común: Ley de complementos (11a): Ley de identidad (10c) Ley distributiva(4 a) con q como elemento común: Ley de complementos(11 a): Ley de identidad(10c): p’∧q v p∧q v p∧q ’≡ (p’∧q v p∧q) v p∧q ’ p’∧q v p∧q v p∧q’ ≡ [q ∧ ( p’ v p)] v p∧q’ p’∧q v p∧q v p∧q’ ≡ (q ∧ t) v p∧q’ p’∧q v p∧q v p∧q’ ≡ q v p∧q’ p’∧q v p∧q v p∧q’ ≡ (q v p) ∧(q v q’) p’∧q v p∧q v p∧q’ ≡ (q v p) ∧ t p’∧q v p∧q v p∧q’ ≡ (q v p) 3.Y sexto p → {q ∨ [(r ∧ p)’ ↔ q ∨ r]} 2.

) Demostrar la veracidad de las equivalencias lógicas 7. cuáles tautologías y cuáles contradicciones: a. c. Halle las representaciones circuital y el diagrama de Venn de las proposiciones reciproca. b. inversa y contra recíproca. Establecer en cada una de las siguientes proposiciones. Arme con frases de lenguaje las proposiciones del punto anterior utilizando cada una de las siguientes proposiciones simples: . TALLER DOS 1. 7.2.p: . i. Demuestre la veracidad de las siguientes equivalencias lógicas. f. (p ∨ q) ∨ (p ∧ q)´ ≡ p’ p ∨ (p ∧ q) ≡ p p’∧ q ∧ s ∨ p’ ∧ q ∧ s’ ∨ p ∧ q ’∧ s ∨ p ∧ q’ ∧ s ≡ p 51 . De la condicional p → q arme la frase correspondiente a las proposiciones reciproca. Hallar el valor de verdad de la proposición compuesta del ejemplo 3(Sí pago de luz. inversa y contra recíproca de una condicional. 2. e.5. 4. 3.q: La sumatoria de ángulos de un triangulo es de 180 grados Un triangulo tiene tres lados 6.2. cuáles son equivalencias lógicas. b. con tablas de verdad y con la aplicación de las equivalencias básicas: a. h. g. d. c.. 8 y 9. p ∧ q’ (p’ ∨ q)’ p →q q →p p’→q’ (p’ ∨ q’)’ p ∨ (p ∧ q)’ (p ∧ q) ∧ (p ∨ q)’ (p→q) →(p ∧ q) 5.

. De la misma forma proceda con el punto 4 y 7. 2.3.3. p2. 9. Seymour. p3. De serlo se convierte en implicación lógica. Realice el mapa conceptual de la sección 2.. y otra proposición q. llamada conclusión.1. p2. 1985. Exprese en diagramas de Venn todas las equivalencias de la sección y verifique su validez. p3. ∧pn El operador se asocia a la implicación.pn q Un argumento es válido o no. p3.. La premisa solo es verdadera para p y q en 1. 52 . p 82. ARGUMENTOS Y LEYES DE INFERENCIA 2. ARGUMENTOS2 Un argumento es una relación entre un conjunto de proposiciones p1.. . llamadas premisas. ≡ p1 ∧ p2 ∧ p3 ∧.pn. Argumento válido La premisa se asocia con conjunciones.. Así pues una aproximación en el lenguaje común de un argumento sería: “Si p1 ∧ p2 ∧ p3 ∧. Ejemplo: Averiguar si el siguiente argumento es válido (p→q).. La definición aparece relacionada en texto que se fija en la bibliografía: Matemática para computación. (q’→p’) (p→q) Se debe establecer la tabla de verdad de la premisa (p→q) ∧ (p’→q’) esto es lo que se muestra en la quinta columna de la tabla siguiente..3.. se denota como: p1. p2..1..1.pn..p 0 0 2 -q 0 1 (p→q) 1 1 (p’→q’) 1 0 (p→q) ∧ (p’→q’) 1 0 [(p→q). ∧pn entonces q” Por lo anterior se dice que un argumento es valido cuando la premisa es verdadera haciendo verdadera la conclusión.8. De no lograr validez se llama falacia. McGraw-Hill. (p’→q’]) → (p→q) 1 1 LIPSCHUTZ. así: p1.

La misma se muestra en la tercera columna. si se obtiene una tautología el argumento es válido. para estos dos casos (p→q). Ejemplo 1: Averiguar si el siguiente argumento es válido (p→q). Tal conclusión es verdadera tres veces. 2. la conclusión resulta falsa. dos de ellas cuando la premisa también lo es.3. entonces (p→q). 53 . También se puede expresar como. Una forma de demostrar lo mismo es verificar en la tabla con la operación implicación la premisa con la conclusión(cosa que se observa en la última columna) de la tabla de arriba. Se debe buscar cuando fue verdadera la premisa. en esos casos se debe mirar la conclusión que valor tiene. (q→p) p Se debe establecer la tabla de verdad de la premisa (p→q) ∧ (q→p) esto es lo que se muestra en la quinta columna de la tabla siguiente. (q→p)] → p 0 1 0 1 Ahora se establece la veracidad de la conclusión p.1. . Falacia La falacia es el argumento que no es válido. Ahora si se puede establecer la veracidad del argumento: Si (p→q) y (p’→q’). De acuerdo al criterio de validez de un argumento: un argumento es valido cuando la premisa es verdadera haciendo verdadera la conclusión. es decir siendo verdadera la premisa. luego el argumento es válido. o en p=q= 0 o en p=q=1. la no obtención de tautología al implicar la premisa con la conclusión.1 1 0 1 0 1 1 1 0 1 1 1 Ahora se establece la veracidad de la conclusión (p→q).2. se hace verdadera.p 0 0 1 1 -q 0 1 0 1 (p→q) 1 1 0 1 (q→p) 1 0 1 1 (p→q) ∧ (q→p) 1 0 0 1 [(p→q).

para este caso p se hace verdadero dos veces en la línea 3 en la línea 4. Tal conclusión es verdadera dos veces. Para ésta última premisa y conclusión son verdaderas. si se obtiene una tautología el argumento es válido. Pero. Esto hace que el argumento no sea valido y por ende la proposición es una falacia Una forma de demostrar lo mismo es verificar en la tabla con la operación implicación la premisa con la conclusión(cosa que se observa en la última columna).Ahora si se puede establecer la veracidad del argumento: Si (p→q) y (q→p). . La premisa solo es verdadera para p y q en 1 o las dos en cero.p 0 0 1 1 -q 0 1 0 1 (p→q) 1 1 0 1 (p’→q’) 1 0 1 1 (p→q) ∧ (p’→q’) 1 0 0 1 [(p→q). (p’→q’) p Se debe establecer la tabla de verdad de la premisa (p→q) ∧ (p’→q’) esto es lo que se muestra en la quinta columna de la tabla siguiente. luego es una falacia. (p’→q’]) → p 0 1 1 1 Ahora se establece la veracidad de la conclusión p. en esos casos se debe mirar la conclusión que valor tiene. Ejemplo 2: Averiguar si el siguiente argumento es válido (p→q). la premisa siendo verdadera no da una conclusión falsa. una de ellas cuando la premisa también lo es el otro caso cuando están las dos variables en cero. para la línea tres siendo verdadera la conclusión la premisa es falsa. De acuerdo al criterio de validez de un argumento: un argumento es valido cuando la premisa es verdadera haciendo verdadera la conclusión. en la línea uno. La misma se muestra en la primera columna. Obsérvese que no hay tautológica. lo que no importa. Ahora si se puede establecer la veracidad del argumento: 54 . Se debe buscar cuando fue verdadera la premisa: La premisa es verdadera cuando o las dos p y q son falsas o las dos son verdaderas. entonces p.

....... como lo demuestra la última columna. q2.qn) si q(q1. Es decir. Por tal hecho es una implicación lógica que se representa como: 3 Idem. entonces p.. q2. pero en el caso en que las dos p y se hacen “0” p se hace “0” luego el argumento resulta ser una falacia. p3.. q3.Si (p→q) y (p’→q’). para las dos en “1” p se hace verdadera.2.. De acuerdo al criterio de validez de un argumento: un argumento es valido cuando la premisa es verdadera haciendo verdadera la conclusión. p2. q3.. p2.pn) ⇒ q(q1. p3.. 2. q2. Se debe buscar cuando fue verdadera la premisa. cuando un argumento resulte ser valido. p3.pn) implica lógicamente una proposición q(q1. p84 55 ..qn) es verdadera cada vez que p(p1. cosa que ya se preciso.qn) Ejemplo: Verifique que p ↔ q implica lógicamente p→ q Como argumento se puede expresar como: p↔q p→ q La tabla queda: ...3.. si se obtiene una tautología el argumento es válido de lo contrario es una falacia. en esos casos se debe mirar la conclusión que valor tiene. Su representación es: p(p1. p2.pn) sea verdadera. LA IMPLICACIÓN LÓGICA3 Se dice que una proposición p(p1.p 0 0 1 1 -q 0 1 0 1 (p↔q) 1 0 0 1 (p→q) 1 1 0 1 (p↔q) → (p→q) 1 1 1 1 Luego sí es un argumento válido.. Una forma de demostrar lo mismo es verificar en la tabla con la operación implicación la premisa con la conclusión(cosa que se observa en la última columna) de la tabla de arriba. q3..

Adición. [(p↔q) ∧ (q↔r)] ⇒ (p→r) 18. [(p→q) ∧(q→r)] ⇒ (p→r) 19. a).1.Absurdo a). En la sección anterior quedaron planteadas las principales equivalencias lógicas..Mas implicaciones lógicas. 4 (p→q) ⇒ [(p ∨ r) → (q ∨ s)] (p→q) ⇒ [(p∧r) → (q∧s)] Léase implicaciones lógicas básicas 56 . Reglas de inferencia Los argumentos basados en tautologías representan métodos de razonamiento universalmente correctos... a).3.Transitividad del → a).Modus ponens.(p↔q) ⇒ (p→q) 2..para emplear en demostraciones : 12..3. (p→0) ⇒ p' (p ∧q) ⇒ p 15.3.Modus tollens.. A esos argumentos se les llama reglas de inferencia. a).3.. ahora se enumerarán algunas de las inferencias básicas4. Su validez depende solamente de la forma de las proposiciones que intervienen y no de los valores de verdad de las variables que contienen. b). [p ∧ (p→q)] ⇒ q 16. p ⇒ (p ∨ q) 13. Las reglas de inferencia permiten relacionar dos o más tautologías o hipótesis en una demostración. [(p→q) ∧q'] ⇒ p' 17.Transitividad del → a). REGLAS DE INFERENCIA Y DEMOSTRACIONES 2.Simplificación. a).. 14. a).

posteriormente se presentan algunos ejemplos aclaratorios. como para que el lector se enfrente a las ocho nuevas demostraciones sin mayores complicaciones). A continuación se cita una lista de las principales reglas de inferencia que se pueden aplicar en una demostración.c).. (p→q) ⇒ [(q→r) → (p→r)] 20. b).p ∨ q p’ ___________ ∴q 24.. [(p→q) ∧ (r→s)] ⇒ [(p ∨ r) → (q ∨ s)] [(p→q) ∧ (r→s)] ⇒ [(p∧r) → (q∧s)] Todas estas implicaciones lógicas son demostrables con tablas de verdad5..Silogismo disyuntivo .Simplificación ...Silogismo hipotético p→ q q→ r ________  <a hay suficientes ejercicios desarrollados con tabla de verdad en este material. a). 21. 57 .Dilemas constructivos.p ∧ q _______ ∴p 23.Adición p _____ ∴p∨q 22.

Modus Tollens p→ q q’ __________ . 58 . Si usted invierte en Tecnología. entonces será feliz.. ____________________________________________________ ∴Si usted invierte en tecnología.p→ r 25. Solución Sea: p: Usted invierte en tecnología.. Ejemplo 1 ¿Es valido el siguiente argumento?.Modus pones p p→ q __________ . entonces será feliz. Si se hace usted millonario.Conjunción p q ___________ p∧q 26..q 27. entonces se hará millonario.p’ A continuación se presentarán dos ejemplos de inferencias.

Si bajan los impuestos. p→q q _____ ∴p No aparece en ninguna de las inferencias básicas y tampoco en ninguna de las reglas. pero desde el punto de la lógica proposicional y bajo la concepción de argumento quedamos en que es verdadero.q: Se hará millonario. Por supuesto esto no es cierto en realidad(no hay nada más infeliz que un millonario pagando escondederos de a peso). de tal suerte que solo aplicando la tabla de verdad se sabrá si es verdadera o falsa. & 59 . q: El ingreso se eleva. Ejemplo 2. r: Será feliz De tal manera que el enunciado anterior se puede representar con notación lógica de la siguiente manera: p→q q→r ______ ∴p→r Dando una ojeada a la implicación lógica o inferencia del silogismo hipotético (24) el argumento es valido&. ¿Es valido el siguiente argumento?. entonces se eleva el ingreso El ingreso se eleva. _________________________________________ ∴Los impuestos bajan Solución: Sea p: Los impuestos bajan.

. (p1 ∧ p2 ∧ p3 ∧.3.. Prácticamente todos los teoremas matemáticos están compuestos por implicaciones de este tipo. Supóngase que p → q es una tautología.1.3. en las que intervengan cualquier número de variables propositivas. 2. p1 p2 p3 .2.. En ésta.. 2.3.2.. p2. ∧pn ⇒ q Es una tautología.. Por ello no aparece registrado en las reglas de inferencia. p1 ∧ p2 ∧ p3 ∧. se hará una formalización más precisa de tales reglas mediante los denominados método directo y método por contradicción..* Se escribe.2.3 60 .pn.. Entonces está implicación es verdadera sin importar los valores de verdad de cualquiera de sus componentes. Para demostrar que un argumento es válido se ha logrado. entonces se sabe que q es verdadera. luego no es un argumento valido. y pn también es verdadera. hasta ahora. se dice que q se desprende lógicamente de p1. ∧pn) ⇒ q * Ver sección 2.3. p2 es verdadera. En este caso. la parte final de la sección. Métodos de demostración. Supóngase una implicación de la forma. en donde p y q pueden ser proposiciones compuestas. Demostración por el método directo. se dice que q se desprende lógicamente de p.. a través del uso de tablas de verdad y en los dos últimos ejemplos con la aplicación de reglas de inferencia.p 0 0 1 1 -q 0 1 0 1 (p→q) 1 1 0 1 (p→q) →p 0 0 1 1 Resulta ser una falacia.. pn ______ ∴q Esto es realmente el camino que se debe seguir para llevar a cabo una demostración formal usando el método directo. ... Significa que sí se sabe que p1 es verdadera. p3 .

Note que no estamos tratando de demostrar que q (la conclusión) es verdadera. si no puedo guardar el carro en mi casa.(p ∨ q) → r Hipótesis 2. 1.q → (p ∨ q) 3. entonces s' → q' Equivale también a probar el siguiente teorema: [(p ∨ q) → r] ∧ [r → s] ⇒ [s' → q'] Como se trata de probar un teorema de la forma general: p1 ∧ p2 ∧. entonces no ahorro". q: Ahorro. es demostrar que la implicación es una tautología. y r → s. s: Podré guardar el carro en mi casa... "Demostrar el teorema". Si compro una casa. Analizar el siguiente argumento: "Si trabajo o ahorro. r: Compraré una casa...Donde la pi son llamadas hipótesis o premisas. A continuación se prueba un enunciado en donde se puede apreciar el uso tanto de las tautologías como de las reglas de inferencia.. hasta llegar a la conclusión. Ejemplo: Sean p: Trabajo. seguidas de las tautologías y reglas de inferencia necesarias.. entonces podré guardar el carro en mi casa. ley conmutativa.∧ pn ⇒ q Se aplica el procedimiento general para demostración de enunciados válidos..q → (q ∨ p) Adición tautología 12 4. Por consiguiente.r → s Hipótesis 3.. Toda demostración debe comenzar con las hipótesis. entonces compraré una casa. sino solamente que q es verdadera si todas las pi son verdaderas. A continuación se demuestra el teorema respaldando cada uno de sus pasos en tautologías o reglas de inferencia ya conocidas.. y q es llamada conclusión. El enunciado anterior se puede representar como: p ∨ q → r. regla 2 61 .

regla 27 6... silogismo hipotético. Por otro lado el objetivo de la demostración es llegar a una contradicción.2. El ejemplo anterior es una demostración sencilla. y las líneas a las cuales se les aplicó dicha regla de inferencia por medio de los números de la izquierda. Ejemplo Demostrar el teorema: [ p → (p ∧ r) ] ∧ [ (q ∨ s) → t ] ∧ (p ∨ s) ⇒ t La demostración del teorema por el método de contradicción es como se indica Demostración 1...q’ ∧ s’ 5. 6 a. Ley de Morgan. Simplificación.4.s' → q' 6.p ∨ s Hipótesis 4.q’ 6. Para el caso de nuestro entorno. Modus tollens.(q ∨ s) → t Hipótesis 3. Se indica la regla de inferencia aplicada por medio del número de la derecha..3.3. Es recomendable numerar cada uno de los pasos. regla 7. El enunciado es válido aunque la conclusión puede ser falsa o verdadera$..p → (p ∧ r) Hipótesis 2. regla 22 7.t’ Negación de la conclusión 5.(q ∨ s)’ 2. contrapositiva. 7. Demostración por contradicción. pero puede ser tan complicada como sea necesario y el método debe funcionar. Se puede notar que las primeras líneas son hipótesis.5. regla 22 $ Independientemente de la lógica..q → s 5.. sino además se incluye en la demostración una línea con la negación de la conclusión.q → r 4. El procedimiento de la demostración por contradicción es semejante a la que se realizó por el método directo con la diferencia de que las líneas iniciales de dicha demostración no son únicamente las hipótesis. regla 24 6.2.1. es perfectamente claro que no es con trabajo como ciertos personajes de nuestra historia han tenido casa para guardar sus carros.. la línea 3 es una tautología conocida y de la línea 4 a 7 se obtuvieron aplicando reglas de inferencia.. 62 .2. 2.

..3. 2 a 11. Observaciones Concluyentes..pn son escalones que deberán alcanzarse hasta llegar a la solución. Para realizar la demostración formal del teorema se deberá partir de las hipótesis. pero al fin de cuentas lo que importa es llegar al resultado... 2. regla 26 13. El tema de “lógica matemática”. p2.p 10. TALLER TRES 63 . química pero también en las ciencias sociales y por su puesto cualquier problema de la vida real. p2 . Ley conmutativa.. p1 ∧ p2 ∧ p3 ∧. Un teorema por lo general es resultado de un planteamiento de un problema.3. Simplificación. manipulamos la información por medio de reglas de inferencia que aunque no estén escritas debemos respetar.q ∧ q’ 13.. Pero además deberán conectarse con el operador And (∧). ya que son producto de reglas de inferencia... ∧pn ⇒ q Como se establece p1. sino también tautologías conocidas. Sin embargo no solamente las hipótesis y reglas de inferencia pueden aparecer en una demostración formal.q 12. y después obtener una serie de pasos que también deben ser válidos. Modus ponens. 2. quizá algunos realicen dicha actividad por caminos más corto. se presta para que se pueda realizar las relaciones entre las distintas proposiciones. Ley conmutativa. otros realizan recorridos más largos. y pn también es cierta entonces (⇒) la conclusión (q) es cierta. Conjunción. Note que juntamente con las premisas se debe incluir la negación de la conclusión. En el teorema anterior cada uno de los pasos p1. este planteamiento debe tener el siguiente formato..2.9...Contradicción.. es la construcción del conocimiento.3..pn son hipótesis (o premisas) derivadas del mismo problema y que se consideran válidas. regla 25 15. Todo enunciado puede ser planteado en términos de teoremas. lo cual implica que p1 es cierta y (∧) p2 es verdad y (∧). Cada vez que realizamos una actividad empleamos la lógica para realizarla..3.s’ ∧ q’ 6.s’ 8.. física. Silogismo disyuntivo. Una demostración formal equivale a relacionar esquemas para formar estructuras cognitivas..s ∨ p 3.7.8.4. esto permite crear nuevas formas de resolver problemas en distintas ramas: matemáticas.1. regla 22 14.q ∧ r 11. se estará en condiciones de resolver todo tipo de problemas.. regla 22 10.. regla 23 12.. 2b 9. Sí se sabe inferir soluciones lógicas. Uno de los objetivos principales del constructivismo. Simplificación. Porque cada vez que nos enfrentamos a un problema.....

Verifique la validez de los siguiente argumento por 3 métodos diferentes a. O trabajo. Si trabajo no puedo estudiar. entonces y no divide a z. Trabajé __________________________ Por lo tanto. Pero perdí circuitos digitales __________________________ Por lo tanto. c. b.x es primo __________________________ ∴x es impar 2.1. Si no juego fútbol entonces estudio. Sí estudio. d. o paso circuitos digitales. pase circuitos digitales c. ó y divide a z . 3. Con las siguientes proposiciones: p: q: José lee el Tiempo José lee el Espectador 64 . Demuestre por tablas las implicaciones lógicas(12 a 20): Precise los siguientes conceptos a. jugué fútbol b. O j no es primo. e. Predicado Silogismo Razonamiento Inferencia Demostración 4. Si x es par. no perderé circuitos digitales.

5. Elabore el mapa conceptual de la sección Elabore el mapa conceptual del capítulo dos. 6. 65 .r: g: h: i: j: k l: m: n: José lee el Espacio Leer genera un amplio bagaje cultura La lectura afianza la inteligencia Los científicos son inteligentes Los profesores de la universidad investigan Los investigadores leen La democracia no tiene nada que ver con procesos electorales La autonomía universitaria no es económica Los países subdesarrollados son felices Escriba diversos argumentos y demuestre su validez.

Monografías.shtml> [Con acceso el 27 de mayo del 2001] MOYA. Universidad Autonoma de Centroamérica.html> [Con acceso el 21 de agosto del 2001]. Seymour. Disponible desde internet en: <http://www.htm> [Con acceso el 31 de junio del 2001] viii 66 .com.com/trabajos4/matematica/matematica. “Apuntaciones críticas de teología racional”. Estructuras de Matemáticas Discretas.ac. CECSA. “Lógica Matemática” [Publicación electrónica].virtualave. 1998. McGraw-Hill. Revista Acta Académica.com/trabajos4/logica/logica. Diseño Digital. El portal de la educación Peruana. Matemática para computación.1989 LIPSCHUTZ. Juan Diego.REFERENCIAS BIBLIOGRAFICAS i TREMBLAY. José Alfredo. Prentice-Hall. México. KOLMAN.McGrawHill. Morris. México. Robert. [Publicación electrónica]. Monografías. “Lógica Matemática” [Publicación electrónica]. Disponible desde internet en: <http://www. [Publicación electrónica]. José Alfredo.shtml> [Con acceso el 21 de mayo del 2001] vii JIMÉNEZ M. Perú.monografias. “Proposición lógica”.cr/acta/1998may/jdmoya. Jean Paul Tremblay. vi v JIMÉNEZ M. México. 1987 ii iii iv EQUIPO ENnarvaez@fenix.net/profeweb/logica/proposic. Disponible desde Internet en: <http://expernarv.com. Bernard y C.monografias. 1985 MANO.uaca. Matemáticas Discretas con aplicación a las ciencias de la computación. Disponible desde internet en: <http://www.

67 .

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->