Está en la página 1de 51

CAPITULO DOS 2.

LA LOGICA DIGITAL

2.1. PROPOSICIONES Y CONECTORES LÓGICOS
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: La tierra es plana. -12 + 28 = 21 x>y+1

s: El Cortulua será campeón en la presente temporada de Fútbol colombiano. t: v: w: 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

21

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. CONECTORES LÓGICOS Y PROPOSICIONES COMPUESTASii. 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 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: .q 1 1 0 Donde; 0 .r 1 0 1 0 .p = q ∧ r 1 0 0 0

22

1 = verdadero

0 = falso

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 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. Qué es verdadera solo si x es Paris de lo contrario será falsa Con ello la proposición compuesta q: Paris, de lo contrario será falsa, correspondiente. .p 1 1 .r 1 0 p ∧ r será verdadera solo si x es como lo muestra la tabal

.q = p ∧ r 1 0

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

23

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.

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 representativa es: .q 1 1 .r 1 0 p: q v r .p: q ∨ r 1 1 y la tabla de verdad

24

0 0

1 0

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

Compuesta por las proposiciones: p: q: Juega Santa Fé Me invitan al estadio

Se obtiene la proposición compuesta cuya notación es: .m: p v q La tabla de verdad correspondiente es: .p 1 1 0 0 .q 1 0 1 0 .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, por ello en diagrama de Venn se representa, así:

25

Este operador se indica por medio de ¬ − los siguientes símbolos: {‘. }. Por Ejemplo. . Diagrama de Venn de una Disyunción p ν q Y en circuito de conmutación. 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. 26 . Teniendo la proposición : p: La capital de Francia es Paris (p = 1).Figura No 17. Operador Not (no) – Operación negación Su función es negar la proposición. su negación será : p’: 2. así: Figura No 18. que la lámpara encienda. Esto significa que sí alguna proposición es verdadera y se le aplica el operador not se obtendrá su complemento o negación (falso).2. 2.1. es decir.3. Para p’: no es la capital de Francia Paris(p’= 0) p: 2x4 = 6 (p = 0) 2x4 ≠ 6 (p’ = 1) .p 1 0 p’ 0 1 Con 1 verdadero y 0 falso. 1.

Negación En términos de circuito su representación será. Figura No 20. Representación circuital de una negación (NOT) p’ La O exclusiva (Disyunción exclusiva) 27 . tiene expresión en la teoría de conjuntos y es el denominado complemento. Diagrama de Venn Operador not . cuyo diagrama de Venn es: Figura No 19.También. 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). como aparece en la figura No 20.

o es blanco o es negro.q 1 0 1 0 .Es el operador que conecta dos proposiciones en el sentido estricto de la “o” literal. cuyo funcionamiento es semejante al operador or con la diferencia en que su resultado es verdadero solamente si una de las proposiciones es cierta.r = p ⊕ q 0 1 1 0 La XOR o disyunción exclusiva se asimila a la operación Unión exclusiva entre conjuntos. Se nota como ⊕.p 1 1 0 0 . El operador se denomina XOR. cuando ambas son verdaderas el resultado es falso. 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í: 28 . Algunos ejemplos son: 1. por ello en diagrama de Venn se representa. es o no es. igual si las dos son falsas.

así: Figura No 22.Figura No 21. 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) Combinaciones con negadora.p ⊕ q Y en circuito de conmutación. Diagrama de Venn de una Disyunción exclusiva (XOR) . 29 .

(. Se recomienda acudir a la bibliografía respectiva para precisar mejor los conceptos. Nor .q .r p = (q ∧ r)’ (combina operadores 1 1 0 Not y Or) y Xnor 1 0 1 (resultado de Xor y Not). de la misma manera es válido desarrollar apropiadamente el taller uno 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. (∩)’}. en cualquier otro caso la proposición compuesta es verdadera.)’. por ello se le puede representar en diagrama de Venn como lo muestra la figura No 23: 30 . 0 1 1 0 0 1 Se hará un recorrido muy somero por cada uno de ellos. 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: Donde: 1 = verdadero 0 = falso El operador y negado en la teoría de conjuntos equivale a la operación de intersección complementada.Con ayuda de estos operadores básicos se pueden formar los operadores compuestos Nand (combinación de los operadores Not y And).

es decir. (q ∧ r)’ circuital con El conector NAND también tiene representación interruptores.Figura No 23. Se e indica por medio de los siguientes símbolos: {(∨)’. cuando las proposiciones son falsas. Figura No 24. Su comportamiento es completamente contrario a la conjunción. Se conoce como las suma lógica inversa en el Álgebra Booleana. (+)’. 31 . (∪ )’}. se obtiene con este operador un resultado verdadero en el único caso que se obtenía falso en la disyunción. por ello. En cualquier otro caso da un resultado falso. como aparece en la figura 24. 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). Circuito con interruptores que representa la función lógica Conjunción(NAND) (q ∧r)’ Operador NOR – Disyunción negada Es el Inverso de la disyunción.

complementada.q 1 0 1 0 .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. Diagrama de Venn de una Disyunción negada El circuito de conmutación queda como en la figura No 26. donde se considera como resultado todo lo que en la disyunción no lo era. así: Figura No 25. pero. 32 . La única forma en que se ACTIVE el led(“1” lógico).p 1 1 0 0 . es que ninguno de los interruptores se cierre(“1” lógico) el led se conservará APAGADO(“0” lógico. por ello en diagrama de Venn se representa como en la figura No 25.La proposición compuesta es r: (p ∨ q)’ y la tabla de verdad representativa es: .

r = p 1 0 0 1 q 33 .q 1 0 1 0 . Representación circuital de una disyunción negada (NOR) (p v q)’ Operador XNOR – Disyunción exclusiva negada Es el operador que niega al conector O exclusivo . o. La tabla de verdad será: . las dos son verdaderas o las dos son falsas(más adelante veremos que también se denomina equivalencia). algunos también lo notan . que tan solo es verdadera la proposición compuesta sí. El operador se denomina XNOR. Se nota como como (⊕ )’. así . bien.p 1 1 0 0 .Figura No 26.

o. Diagrama de Venn de una Disyunción exclusiva (XNOR) Y en circuito de conmutación. por ello el diagrama de Venn se representa. Representación circuital de una disyunción exclusiva XNOR p q De manera que los dos interruptores en “1”. de lo contrario se conservara apagado “0”. así: Figura No 28. 34 . así: Figura No 27. Otros Conectores y operaciones lógicas Proposiciones condicionalesv.La XNOR o disyunción exclusiva se asimila a la operación Unión exclusiva pero complementada. los dos en “0” originan un estado encendido “1” en el led.

q 1 0 1 0 . q = 1 recibieron un aumento del 50% en su sueldo. p →q Su tabla de verdad queda de la siguiente manera: . q: Recibirán un 50% de aumento en su sueldo el próximo año. entonces. Cuando: p = 1. 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 Ejemplo.Una proposición condicional. 35 . es aquella que está formada por dos proposiciones simples (o compuesta) p y q.p 1 1 0 0 . significa que salió electo.p → q 1 0 1 1 Se lee “Si p. De tal manera que el enunciado se puede expresar de las siguiente manera. La cual se indica de la siguiente manera: . 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. Su tabla de verdad es la siguiente: Sean p: Salgo electo Representante al CSU. Una declaración como esta se conoce como condicional.

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

2. Implemente en el laboratorio varios de los circuitos propuestos en los dos puntos anteriores. LAS TABLAS DE VERDAD USO TABLAS DE VERDAD 37 . TALLER UNO 1. e. diferencia. d. AND. Elabore el mapa conceptual de la sección. 5. Verifique los conceptos escribiendo con sus palabras lo que interpreta por cada uno: a. 4. unión. Operaciones entre conjuntos c. 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.La proposición condicional solamente es verdadera si tanto p como q son falsas o bien ambas verdaderas. XOR y XNOR b. Intersección. 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. Relaciones entre conjuntos. complemento. NADN. 6. Relaciones entre los símbolos de un sistema Diseñe más ejemplos para cada uno de los conectores propuestos. OR NOR. 3. Diseñe el diagrama de Venn y el circuito conmutacional correspondiente a la proposición condicional y a la bicondicional. Es la misma Disyunción exclusiva inversa o negada (XNOR).

p = q ∧ r 1 0 0 0 .q 1 1 0 0 .r 1 0 1 0 . . Sean las proposiciones: .q 1 1 0 0 . se está en condiciones de representar cualquier enunciado con conectores lógicos y más aún. 1.p = q ⊕ r 0 1 1 0 p = (q ∧ r)’ 0 1 1 1 p: Hoy es domingo.p = q ∨ r 1 1 1 0 .r 1 0 1 0 38 .r 1 0 1 0 . Ejemplo. establecer la veracidad de tal proposición.q 1 1 0 0 .q 1 1 0 0 .Desde ya.r 1 0 1 0 .

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 . El enunciado: “Hoy es domingo y tengo que estudiar circuitos digitales o no aprobaré el curso”.q 1 1 0 0 . Antes de hacerlo. Tablas de verdad de los conectores lógicos básico q: Tengo que estudiar circuitos digitales.q 1 0 1 0 p = (q ∨ r)’ 0 0 0 1 p=q 1 0 0 1 p →q 1 0 1 1 r Figura No 29. No de líneas = 2n Donde n = número de variables distintas. puedo hallar su valor de verdad..r 1 0 1 0 . r: Aprobaré el curso. Se puede representar simbólicamente de la siguiente manera: (p ∧ q) ∨ r ’ De tal proposición.r 1 0 1 0 .p 1 1 0 0 . se presenta un resumen de las tablas de verdad en la figura No 29. 39 .

entonces. tengo dinero Esta compuesto por tres proposiciones que son: . 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.r 0 1 0 1 0 1 0 1 . la tabla del presente ejemplo queda así: . si voy a Europa.1. Para que la proposición compuesta sea verdadera se requiere que r sea falsa.q: . En todos los demás casos la expresión es falsa.r: Tengo dinero Pagaré el semestre Iré a Europa La notación correspondiente es: .p 0 0 0 0 1 1 1 1 .Por ser tres proposiciones (variables) p. q y r sean verdaderas. en el caso en que p.z: [(p→q)∨ (q’∧ ↔ (r→p) r)] La tabla de verdad que representa está proposición dando cuenta de su veracidad es la que se presenta a continuación. Con ayuda de la tabla de la figura 29. o. 2. q y r. La tabla tendrá ocho posibilidades para combinar la condición de verdad de cada una ya que 23 = 8. Del enunciado hallar la condición de verdad: “ Si tengo dinero.4.r’ 1 0 1 0 1 0 1 0 . entonces. no importando p ni q. no se puede hacer la doble 40 .p: .p ∧ q 0 0 0 0 0 0 1 1 (p ∧ q )∨ r’ 1 0 1 0 1 0 1 1 Debe observarse.2.q 0 0 1 1 0 0 1 1 . También. no pago el semestre y voy a Europa. pagaré el semestre. Si y solo sí. como se puede observar hasta no resolver el paréntesis cuadrado.

Y Si pago la luz. CONTRADICCIONES Y EQUIVALENCIAS LÓGICAS 2.q 0 0 1 1 0 0 1 1 . r: Me quedaré sin dinero.monografias. Siendo la notación: . si solo si soy desorganizado”1 Donde la proposición está compuesta de las proposiciones simples: p: Pago la luz. Tautologíavi. “Lógica matemática” http://www. Y si me quedo sin dinero y pido prestado. s: Pediré prestado. o se puede hacer luego.1. TAUTOLOGÍAS.2. 1 Ejercicio de documento referido referenciado en la bibliografía. si se procede a encontrar el valor de la bicondicional: . t: Pagar la deuda. Quedará como ejercicio del lector. entonces me cortarán la energía eléctrica.implicación.r 0 1 0 1 0 1 0 1 . Sea el siguiente enunciado “Si no pago la luz. JIMÉNEZ. entonces no podré pagar la deuda. (q’∧ (p→q)∨ (q’∧ r r) q’ p→q ) 1 1 0 1 1 1 1 1 0 1 0 1 0 1 0 1 1 0 0 0 1 0 1 1 0 1 0 1 0 1 0 1 r→p 1 0 1 0 1 1 1 1 [(p→q)∨ (q’∧ ↔ (r→p) r)] 1 0 1 0 0 1 1 1 3. entonces me quedaré sin dinero o pediré prestado. resultarán 26 = 64 posibles combinaciones. 41 ..p 0 0 0 0 1 1 1 1 .shtml. q: Me cortarán la energía eléctrica. Primero se desarrollan los dos paréntesis redondos por estar dentro del paréntesis cuadrado y posteriormente se resuelve la disyunción. .com/trabajos4/logica/logica. Simultáneamente se ha podido resolver la implicación. puedo hallar su valor de verdad haciendo uso de las tablas de verdad. w: soy desorganizado.z: (p’ → q) ∧ [p → (r ∨ s) ] ∧ [(r ∧ s) → t’ ] ↔ w De tal proposición. Resuelto todo esto ahora.2. Jose A.

. b). 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.(p')' ≡ p 2.Leyes conmutativas. 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. o simplemente equivalentes.. .2. que se identifican como leyes del álgebra proposicional. (p ∨ q) ≡ (q ∨ p) (p ∧ q) ≡ (q ∧ p) 42 . a). .Tautología. Equivalencia lógicavii. 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. a).p 0 0 1 1 . Un ejemplo típico es la contrapositiva cuya tabla de verdad se indica a continuación. Si coinciden sus resultados para los mismo valores de verdad. Se indican como p ≡ q.2.Doble negación.2.q 0 1 0 1 . p’ q’ 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. . 1. 2. Se dice que dos proposiciones son lógicamente equivalentes. es aquella proposición (compuesta) que es cierta para todos los valores de verdad de sus variables. 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.

Contrapositiva. a). (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)] 9... b). a). (p↔q) ≡ [(p→q) ∧ (q→p)] 43 . b). e)...Leyes asociativas.3. b). b). d)..Leyes distributivas. b.Equivalencia a). [(p ∨ q) ∨ r] ≡ [p ∨ (q ∨ r)] [(p∧ ∧ ≡ [p∧ r)] q) r] (q∧ 4.Implicación. a). a).Leyes de idempotencia. (p ∨ p) ≡ p (p ∧ p) ≡ p 6.. c). f)..Leyes de Morgan a). a). (p→q) ≡ (q’→p' ) 8. [p ∨ (q∧ ≡ [(p ∨ q) ∧ (p ∨ r)] r)] [p ∧ ∨ r)] ≡ [(p∧ ∨ (p∧ (q q) r)] 5. c). d). (p ∨ q)' ≡ (p' ∧ q') (p ∧ q)' ≡ (p' ∨ q') (p ∨ q) ≡ (p' ∧ q')' (p∧ ≡ (p' ∨ q')' q) 7.

c). (p ∨ q) ≡ (q ∨ p) . (p')' ≡ p .p 0 0 1 1 . d).q 0 1 0 1 (p ∨ q) 0 1 1 1 (q ∨ p) 0 1 1 1 Equivalencia demostrada 44 ..t ’ ≡ f .Doble negación.Leyes conmutativas. (p ∨ p’) ≡ t (p ∧ p’) ≡ f . que el lector deberá verificar: 1.Ley de identidad a).. d).Ley de Complementos a). a). a).p 0 1 p’ 1 0 (p’)’ 0 1 Equivalencia demostrada 2.. b). c).f ‘ ≡ t Estas leyes son demostrables aplicando las tablas de verdad. b). se desarrollan a continuación algunos casos..10. (p ∨ f) ≡ p (p ∨ t) ≡ t (q ∧ t) ≡ q (q ∧ f) ≡ f 11.

p 0 0 0 0 1 1 1 1 [(p∧ ∧ ≡ [p∧ r)] q) r] (q∧ .q 0 0 1 1 0 0 1 1 .b).r 0 1 0 1 0 1 0 1 (p ∧ (p ∧ q) ∧ (q ∧ r) [p ∧ (q ∧ q) r r)] 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 45 .p 0 0 0 0 1 1 1 1 [(p ∨ q) ∨ r] ≡ [p ∨ (q ∨ r)] . b.q 0 0 1 1 0 0 1 1 .Leyes asociativas. (p ∧ q) ≡ (q ∧ p) .p 0 0 1 1 . a).. 3.q (p ∧ q) (q ∧ p) 0 1 0 1 0 0 0 1 0 0 0 1 Se demuestra que la equivalencia es correcta. .r 0 1 0 1 0 1 0 1 (p ∨ (p ∨ q) ∨ (q ∨ [p ∨ (q ∨ q) r r) 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. .

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

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

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

Y también puede ser: Marcos estudia solo si pasa el examen. pasará el examen.3. contingente es aquella proposición que en algún momento es falsa. q”. O también es válido: Marcos Estudia Implica pasar el examen.1. también “ p implica q” o incluso “p si solo q”.6. p →q Reciproca.2. e imposible la proposición falsa en todo momentoviii . Lo anterior quiere decir que una Tautología no es una proposición contingente. o. 2. 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á: 49 . RECIPROCA.3.1.2. Posteriormente se precisará cuando existe una falacia. su inversa y su contrareciproco. En cualquier caso su notación será: 2. entonces.2. Es decir. Un ejemplo puede ser: teniendo las proposiciones: p: Marcos estudia y q: Marcos pasará el examen la condicional será: Si Marcos estudia. INVERSA Y CONTRARECIPROCA Haciendo uso de las tablas de verdad es posible a partir de las proposiciones condicionales. necesaria es la proposición verdadera en todo momento. recuérdese que se nota: p →q y Se lee “Si p. obtener su reciproco. entonces. Es la mencionada en el literal 2.Una proposición compuesta cuyos resultados en sus diferentes líneas de la tabla de verdad. CONDICIONAL.1. pero tampoco lo es una contradicción.2. Condicional. dan como resultado 1s y 0s se le llama contingente.

Y también puede ser: Marcos NO estudia solo si NO pasa el examen.Si Marcos pasa el examen. O también es válido: Marcos NO pasa el examen Implica NO estudiar. . Es decir: (p→q) ≡ (q’→p’). es la equivalencia 7 (contrapositiva) (q→p) ≡ (p’→q’). 2. entonces.4. La tabla representativa de las cuatro proposiciones es: . estudia.3. O también es válido: Marcos NO estudia Implica NO pasar el examen. 2.3. Contra recíproca. también lo son. NO pasará el examen. Y también puede ser: Marcos NO pasa el examen solo si NO estudia .3.2. Y también puede ser: Marcos pasa el examen solo si estudia .Inversa. NO estudia. Se nota: p’ → q’.p 0 0 1 1 -q 0 1 0 1 Condiciona l (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 Como se puede observar condicional y contrarecíproca son equivalencias lógicas. Se nota: q’ → p’. Continuando con el ejemplo anterior ejemplo con las dos mismas proposiciones la proposición inversa a la condicional original es: Si Marcos NO estudia. O también es válido: Marcos pasa el examen Implica estudiar. entonces.2. de igual manera recíproca e inversa. Es la reciproca de la inversa condicional. entonces. Siguiendo con el ejemplo: Si Marcos NO pasa el examen. Es la proposición compuesta por la negación individual de las dos proposiciones que se relaciona a través de la condicional. es la misma aplicación 50 .

y después su . En la proposición p ∧ (q ∨ r) ∧ p’ ∧ q ∨ r. La negación se ejecuta cuando aparezca. es necesario manejar una jerarquia de operadores. Jerarquía de operadores Cuando se requiere manipular con tablas de verdad o con las leyes proposicionales complejas. En la proposición p ∧ q ∨ [( r ∧ p)’ ∧ q ∨ r].2. . Primero Segundo (r ∧ p) (r ∧ p)’ 51 . hasta tanto no se resuelva lo que esta abarcado por él.2. Se resuelve la conjunción y luego la disyunción. ahora se procede a negar y quedan por resolver del paréntesis cuadrado una disyunción y una conjunción.En la proposición p ∧ q ∨ r primero se desarrolla la proposición compuesta que integra el operador ∧ es decir. Quedan una disyunción y una conjunción. se desarrolla la disyunción. Como ya se sabe va primero la conjunción para terminar con la disyunción. Tiene prelación el paréntesis cuadrado [( r ∧ p)’ ∧ q ∨ r] . Con ello se termina el paréntesis cuadrado. disyunción. Así. ahora. Como las conjunciones son de mayor jerarquía son las que se deben resolver. Una vez terminadas. Tal jerarquía es la del álgebra tradicional. después la negación de p. negación. Primero Segundo Tercero Y Cuarto p’ (q ∨ r) p ∧ (q ∨ r) ∧ p’ ∧ q [p ∧ (q ∨ r) ∧ p’ ∧ q] ∨ r 3. Paréntesis Cuadrado. dos conjunciones y una disyunción. se debe entonces resolver el paréntesis que involucra una conjunción. conjunción. resultado se resuelve con el operador ∨ resolviendo p ∧ q ∨ r. luego es lo primero que se desarrolla.4. igual la condicional y la bicondicional. Paréntesis redondo. no se puede continuar.1.4. una negación. por lo general se ejecutan en proposiciones incluidas en algún tipo de paréntesis. Dentro hay un paréntesis redondo. la mayor jerarquía la tiene el paréntesis.2. que es lo mismo que: (p ∧ q) ∨ r 2. SIMPLIFICACIÓN DE PROPOSICIONES Y JERARQUÍA DE OPERADORES 2. Desarrollado (q ∨ r) y p’ quedan por desarrollar tres conjunciones y una disyunción. Ejemplos: 1. Orden : Corchete. p ∧ q.

Veamos algunos ejemplos. Ejemplos 1. En la proposición Primero Segundo Tercero Cuarto Quinto Y sexto 5. Hallar la expresión simplificada para p’∧ v p∧ v p∧ q q q’ 52 .2. es: (r ∧ p)’ ∧ q [(r ∧ p)’ ∧ q ∨ r] p ∧q (p ∧ q) ∨ [(r ∧ p)’ ∧ q ∨ r] p ∧ {q ∨ [( r ∧ p)’ ∧ q ∨ r] } el orden resumido es: (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]} p → {q ∨ [( r ∧ p)’ ↔ q ∨ r] } el orden resumido En la proposición Primero Segundo Tercero Cuarto Quinto Y sexto (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]} 2. Hallar la expresión simplificada para p’∧ v p∧ q q Solución: Ley distributiva(4b) con q como elemento común: p’∧ v p∧ ≡ q ∧ ( p’ q q v p) Ley de complementos (11a): p’∧ v p∧ ≡ q ∧ t q q Ley de identidad (10c) p’∧ v p∧ ≡ q q q 2.4. 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.Tercero Cuarto Quinto Y sexto 4.

2. TALLER DOS (p´∧ v p)∧ v p)∧ ≡ (p q (q q’ (p’∧ qvp)∧ (q v p)∧ ≡ q’ (p’∧ v p)∧ v p)∧ ≡ t ∧ q (q q’ (p (p’ ∧ q v p)∧ v p)∧ ≡ (p (q q’ (p’ ∧ q v p)∧ v p)∧ ≡ (p (q q’ (p’ ∧ q v p)∧ v p)∧ ≡ (p (q q’ (p’ ∧ q v p)∧ v p)∧ ≡ q’ ∧ (q q’ (p’ ∧ q v p)∧ v p)∧ ≡ (q’ (q q’ (p ∧ q v p)∧ v p)∧ ≡ (q’ ∧ (q q’ (p ∧ q v p)∧ v p)∧ ≡ (q’ ∧ (q q’ 53 . Hallar la expresión simplificada para (p’∧ v p)∧ v p)∧ q (q q’ Solución: Ley conmutativa(2 a): vp’∧ ∧ v p)∧ q) (q q’ Ley distributiva(4 a): (pvp’)∧ (pvq)∧ (qvp)∧ ’ q Ley de complementos(11 a): v q)∧ v p)∧ (q q’ Ley de identidad(10c): v q)∧ v p)∧ (q q’ Ley conmutativa( 2b): v q)∧ v q)∧ (p q’ Ley de idempotencia( 5b): v q)∧ q’ Ley conmutativa (2b): (p v q) Ley distributiva (4b): ∧ p) v (q’ ∧ q) Ley de complementos (11b) p) v f) Ley de identidad(10 a): p) 2.Solución: Ley asociativa(3 a): p’∧ q p∧ v p∧ ’ q) q Ley distributiva(4b) con q como elemento común: [q ∧ ( p’ v p)] v p∧ q’ Ley de complementos (11a): p’∧ q p∧ q’ Ley de identidad (10c) p’∧ q Ley distributiva(4 a) con q como elemento común: (q v p) ∧ v q’) (q Ley de complementos(11 a): p’∧ q ∧t Ley de identidad(10c): p’∧ q v p∧ v p∧ ’≡ (p’∧ v q q q p’∧ v p∧ v p∧ ≡ q q q’ v p∧ v p∧ ≡ (q ∧ t) v q q’ v p∧ v p∧ ≡ q v p∧ q q’ q’ p’∧ v p∧ v p∧ ≡ q q q’ v p∧ v p∧ ≡ (q v p) q q’ v p∧ v p∧ ≡ (q v p) q q’ 3.5.

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

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

3. se hace verdadera. Falacia La falacia es el argumento que no es válido. entonces (p→q). Ahora si se puede establecer la veracidad del argumento: Si (p→q) y (p’→q’). es decir siendo verdadera la premisa. . dos de ellas cuando la premisa también lo es. (q→p) p 56 . Ejemplo 1: Averiguar si el siguiente argumento es válido (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. para estos dos casos (p→q). la conclusión resulta falsa.1. La premisa solo es verdadera para p y q en 1. si se obtiene una tautología el argumento es válido. luego el argumento es válido.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). Se debe buscar cuando fue verdadera la premisa. 2.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. en esos casos se debe mirar la conclusión que valor tiene. También se puede expresar como. La misma se muestra en la tercera columna. 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. la no obtención de tautología al implicar la premisa con la conclusión. o en p=q= 0 o en p=q=1. Tal conclusión es verdadera tres veces.2. (p’→q’]) → (p→q) 1 1 1 1 Ahora se establece la veracidad de la conclusión (p→q).

Ejemplo 2: Averiguar si el siguiente argumento es válido 57 . (q→p)] → p 0 1 0 1 Ahora se establece la veracidad de la conclusión p. Para ésta última premisa y conclusión son verdaderas.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. . Pero. Obsérvese que no hay tautológica. luego es una falacia. para este caso p se hace verdadero dos veces en la línea 3 en la línea 4. 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. en esos casos se debe mirar la conclusión que valor tiene.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). entonces p. en la línea uno. Ahora si se puede establecer la veracidad del argumento: Si (p→q) y (q→p). 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. 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). la premisa siendo verdadera no da una conclusión falsa. si se obtiene una tautología el argumento es válido. lo que no importa.

(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. si se obtiene una tautología el argumento es válido de lo contrario es una falacia. LA IMPLICACIÓN LÓGICA3 3 Idem. Se debe buscar cuando fue verdadera la premisa. 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.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). cosa que ya se preciso. La premisa solo es verdadera para p y q en 1 o las dos en cero. Tal conclusión es verdadera dos veces. entonces p. Ahora si se puede establecer la veracidad del argumento: Si (p→q) y (p’→q’). pero en el caso en que las dos p y se hacen “0” p se hace “0” luego el argumento resulta ser una falacia. en esos casos se debe mirar la conclusión que valor tiene. De acuerdo al criterio de validez de un argumento: un argumento es valido cuando la premisa es verdadera haciendo verdadera la conclusión. una de ellas cuando la premisa también lo es el otro caso cuando están las dos variables en cero. p84 58 . 2. (p’→q’]) → p 0 1 1 1 Ahora se establece la veracidad de la conclusión p.3. para las dos en “1” p se hace verdadera. como lo demuestra la última columna.(p→q). La misma se muestra en la primera columna.2. .

. p2...3...3.qn) Ejemplo: Verifique que p ↔ q implica lógicamente p→ q Como argumento se puede expresar como: p↔q p→ q La tabla queda: .. Las reglas de inferencia permiten relacionar dos o más tautologías o hipótesis en una demostración.. q2. A esos argumentos se les llama reglas de inferencia. p3. Su representación es: p(p1..1... p3. Por tal hecho es una implicación lógica que se representa como: (p↔q) ⇒ (p→q) 2... q3.pn) sea verdadera. p2.. q2. q3. p2. REGLAS DE INFERENCIA Y DEMOSTRACIONES Reglas de inferencia Los argumentos basados en tautologías representan métodos de razonamiento universalmente correctos. Es decir... q2. 59 .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.pn) implica lógicamente una proposición q(q1.3.qn) es verdadera cada vez que p(p1.qn) si q(q1. cuando un argumento resulte ser valido.. Su validez depende solamente de la forma de las proposiciones que intervienen y no de los valores de verdad de las variables que contienen.. 2.. q3. p3.pn) ⇒ q(q1.Se dice que una proposición p(p1.3.

En la sección anterior quedaron planteadas las principales equivalencias lógicas.Dilemas constructivos. c). (p ∧ ⇒ p q) 14. a).Transitividad del → a).Simplificación. [(p→q) ∧ (q→r)] ⇒ (p→r) 19. (p→0) ⇒ p' 15.Transitividad del → a).Modus ponens. ahora se enumerarán algunas de las inferencias básicas4. a). [p ∧ (p→q)] ⇒ q 16. a).Adición.. a).. [(p→q) ∧ (r→s)] ⇒ [(p ∨ r) → (q ∨ s)] [(p→q) ∧ (r→s)] ⇒ [(p∧ → (q∧ r) s)] 4 Léase implicaciones lógicas básicas 60 ... p ⇒ (p ∨ q) 13.Modus tollens. [(p↔q) ∧ (q↔r)] ⇒ (p→r) 18. a).. [(p→q) ∧ ⇒ p' q'] 17.Mas implicaciones lógicas. b). b)... (p→q) ⇒ [(p ∨ r) → (q ∨ s)] (p→q) ⇒ [(p∧ → (q∧ r) s)] (p→q) ⇒ [(q→r) → (p→r)] 20.Absurdo a)..para emplear en demostraciones : 12. a)..

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.. 61 ...Simplificación .p ∨q p’ ___________ ∴ q 24. 21.Conjunción p 5 Ya hay suficientes ejercicios desarrollados con tabla de verdad en este material.p ∧q _______ ∴ p 23.. posteriormente se presentan algunos ejemplos aclaratorios.Adición p _____ ∴ p ∨q 22.Silogismo disyuntivo ..Silogismo hipotético p→ q q→ r ________ p→ r 25.Todas estas implicaciones lógicas son demostrables con tablas de verdad5.

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

Ejemplo 2.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&. 63 . _________________________________________ ∴ Los impuestos bajan Solución: Sea p: Los impuestos bajan. Si bajan los impuestos. pero desde el punto de la lógica proposicional y bajo la concepción de argumento quedamos en que es verdadero. . q: El ingreso se eleva. p →q q _____ ∴p No aparece en ninguna de las inferencias básicas y tampoco en ninguna de las reglas. entonces se eleva el ingreso El ingreso se eleva.p 0 & -q 0 (p→q) 1 (p→q) →p 0 Por supuesto esto no es cierto en realidad(no hay nada más infeliz que un millonario pagando escondederos de a peso). ¿Es valido el siguiente argumento?. de tal suerte que solo aplicando la tabla de verdad se sabrá si es verdadera o falsa.

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

Ejemplo: Sean p: Trabajo... Por consiguiente. seguidas de las tautologías y reglas de inferencia necesarias. s: Podré guardar el carro en mi casa.(p1 ∧ p2 ∧ p3 ∧ ∧ n) ⇒ q .. si no puedo guardar el carro en mi casa. es demostrar que la implicación es una tautología. entonces no ahorro". Toda demostración debe comenzar con las hipótesis. r: Compraré una casa.. Note que no estamos tratando de demostrar que q (la conclusión) es verdadera. "Demostrar el teorema". Si compro una casa. y r → s. hasta llegar a la conclusión.. entonces podré guardar el carro en mi casa. A continuación se demuestra el teorema respaldando cada uno de sus pasos en tautologías o reglas de inferencia ya conocidas. Analizar el siguiente argumento: "Si trabajo o ahorro. Se aplica el procedimiento general para demostración de enunciados válidos. entonces compraré una casa.. El enunciado anterior se puede representar como: p ∨q → r. 65 . 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 ∧ ∧pn ⇒ q . y q es llamada conclusión. q: Ahorro. sino solamente que q es verdadera si todas las pi son verdaderas. 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. p Donde la pi son llamadas hipótesis o premisas.

(p ∨q) → r Hipótesis 2.. Por otro lado el objetivo de la demostración es llegar a una contradicción.1... 2. y las líneas a las cuales se les aplicó dicha regla de inferencia por medio de los números de la izquierda.q → (p ∨q) 3. ley conmutativa. Se puede notar que las primeras líneas son hipótesis. sino además se incluye en la demostración una línea con la negación de la conclusión. contrapositiva.. 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 $ Independientemente de la lógica. la línea 3 es una tautología conocida y de la línea 4 a 7 se obtuvieron aplicando reglas de inferencia. regla 24 6.. es perfectamente claro que no es con trabajo como ciertos personajes de nuestra historia han tenido casa para guardar sus carros.3. El ejemplo anterior es una demostración sencilla. 66 . El enunciado es válido aunque la conclusión puede ser falsa o verdadera$.1..2. Se indica la regla de inferencia aplicada por medio del número de la derecha.r → s Hipótesis 3.2. Demostración por contradicción.q → s 5.3. Es recomendable numerar cada uno de los pasos. Para el caso de nuestro entorno.q → (q ∨p) Adición tautología 12 4. regla 7. regla 22 7.s' → q' 6. silogismo hipotético.q → r 4. pero puede ser tan complicada como sea necesario y el método debe funcionar. regla 2 5.2.. 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.

. Note que juntamente con las premisas se debe incluir la negación de la conclusión.Contradicción. p2 .2.. 2 a 11.. Modus tollens. este planteamiento debe tener el siguiente formato.q’ ∧s’ 5.. Ley de Morgan.q ∧ q’ 13. Simplificación.1. p1 ∧ p2 ∧ p3 ∧ ∧ n ⇒ q . ya que son producto de reglas de inferencia..p → (p ∧r) Hipótesis 2. regla 22 8.3.... Simplificación..3. Modus ponens.. Todo enunciado puede ser planteado en términos de teoremas.. p Como se establece p1..t’ Negación de la conclusión 5. 7.p 10. regla 26 13. Observaciones Concluyentes. regla 23 12. Un teorema por lo general es resultado de un planteamiento de un problema. Pero además deberán conectarse con el operador And (∧ lo cual implica que p1 es cierta y (∧ ).. Silogismo disyuntivo..q’ 6. y después obtener una serie de pasos que también deben ser válidos. regla 22 14..7. Conjunción...s ∨p 3. y pn también es cierta entonces (⇒) la conclusión (q) es cierta.. Ley conmutativa..(q ∨s) → t Hipótesis 3. Para realizar la demostración formal del teorema se deberá partir de las hipótesis...s’ 8.s’ ∧q’ 6. 2b 9.3... regla 27 6.4..1..9. ) p2 es verdad y (∧ ).q ∧r 11. 2. Ley conmutativa.(q ∨s)’ 2. 67 . 6 a.q 12.. regla 22 10.. Simplificación.pn son hipótesis (o premisas) derivadas del mismo problema y que se consideran válidas. regla 25 15.p ∨s Hipótesis 4..

Sin embargo no solamente las hipótesis y reglas de inferencia pueden aparecer en una demostración formal. quizá algunos realicen dicha actividad por caminos más corto. O trabajo. química pero también en las ciencias sociales y por su puesto cualquier problema de la vida real. Verifique la validez de los siguiente argumento por 3 métodos diferentes a. sino también tautologías conocidas. pase circuitos digitales c. pero al fin de cuentas lo que importa es llegar al resultado. no perderé circuitos digitales. Una demostración formal equivale a relacionar esquemas para formar estructuras cognitivas. Uno de los objetivos principales del constructivismo...4. esto permite crear nuevas formas de resolver problemas en distintas ramas: matemáticas. manipulamos la información por medio de reglas de inferencia que aunque no estén escritas debemos respetar. física. Porque cada vez que nos enfrentamos a un problema. En el teorema anterior cada uno de los pasos p1. es la construcción del conocimiento. jugué fútbol b. El tema de “lógica matemática”.. p2. se estará en condiciones de resolver todo tipo de problemas. TALLER TRES 1. Cada vez que realizamos una actividad empleamos la lógica para realizarla. o paso circuitos digitales. 2.3. Trabajé __________________________ Por lo tanto. otros realizan recorridos más largos. Pero perdí circuitos digitales __________________________ Por lo tanto. Sí estudio. 68 . Si no juego fútbol entonces estudio. Si trabajo no puedo estudiar.pn son escalones que deberán alcanzarse hasta llegar a la solución. se presta para que se pueda realizar las relaciones entre las distintas proposiciones. Si x es par. entonces y no divide a z. Sí se sabe inferir soluciones lógicas.

Predicado Silogismo Razonamiento Inferencia Demostración 4.O j no es primo. Con las siguientes proposiciones: p: q: r: g: h: i: j: k José lee el Tiempo José lee el Espectador 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 l: La democracia no tiene nada que ver con procesos electorales m: n: La autonomía universitaria no es económica Los países subdesarrollados son felices Escriba diversos argumentos y demuestre su validez. c. Elabore el mapa conceptual de la sección 69 . 5. Precise los siguientes conceptos a. ó y divide a z .x es primo __________________________ ∴ x es impar 2. b. d. Demuestre por tablas las implicaciones lógicas(12 a 20): 3. e.

Elabore el mapa conceptual del capítulo dos.6. REFERENCIAS BIBLIOGRAFICAS 70 .

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