You are on page 1of 222

Matemáticas Discretas TC1003

Módulo I: Argumentos Válidos
Departamento de Matemáticas

ITESM

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 1/50

Introducción
En matemáticas y en lógica un argumento no es una disputa. Más bien, es una secuencia estructurada de afirmaciones que terminan en una conclusión. En esta sección veremos cómo determinar si un argumento es válido; es decir, cuándo la conclusión se deduce de los hechos que la preceden.
´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 2/50

Argumento
´ Definicion
´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario

Un argumento es una secuencia de afirmaciones.

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 3/50

Argumento
´ Definicion
´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario

Un argumento es una secuencia de afirmaciones. Todas las afirmaciones excepto la última se llamarán premisas, o suposiciones o hipótesis.

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 3/50

Argumento ´ Definicion ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Un argumento es una secuencia de afirmaciones. o suposiciones o hipótesis. Todas las afirmaciones excepto la última se llamarán premisas. Módulo I: Argumentos Válidos Matemáticas Discretas .p. La declaración final se llamará conclusión. 3/50 .

3.Ejemplo Lo siguiente representa a un argumento: 1. Juan está estudiando adecuadamente. entonces Juan pasa el curso de Discretas.p. 4/50 . 2. Si Juan estudia adecuadamente. ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . Juan pasará el curso de Discretas.

5/50 .Argumentos Válidos e Inválidos ´ Definicion ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Diremos que un argumento es argumento válido si Módulo I: Argumentos Válidos Matemáticas Discretas .p.

Módulo I: Argumentos Válidos Matemáticas Discretas . 5/50 .p.Argumentos Válidos e Inválidos ´ Definicion ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Diremos que un argumento es argumento válido si para cualquier valor de las variables proposicionales involucradas en las fórmulas que hacen verdaderas las premisas.

Módulo I: Argumentos Válidos Matemáticas Discretas .Argumentos Válidos e Inválidos ´ Definicion ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Diremos que un argumento es argumento válido si para cualquier valor de las variables proposicionales involucradas en las fórmulas que hacen verdaderas las premisas. 5/50 . también la conclusión es verdadera.p.

p. 6/50 .De la propia definición de argumento válido se puede deducir una metodología para verificar la validez de un argumento: ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas .

De la propia definición de argumento válido se puede deducir una metodología para verificar la validez de un argumento: 1.p. 6/50 . Identificar las premisas y la conclusión ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas .

p. Construir una tabla de verdad que incluya las premisas y la conclusión ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . 6/50 . Identificar las premisas y la conclusión 2.De la propia definición de argumento válido se puede deducir una metodología para verificar la validez de un argumento: 1.

Construir una tabla de verdad que incluya las premisas y la conclusión 3.De la propia definición de argumento válido se puede deducir una metodología para verificar la validez de un argumento: 1. ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . Señalar de la tabla sólo aquellos renglones que hacen que todas las premisas sean verdaderas.p. Identificar las premisas y la conclusión 2. 6/50 .

6/50 . Construir una tabla de verdad que incluya las premisas y la conclusión 3.De la propia definición de argumento válido se puede deducir una metodología para verificar la validez de un argumento: 1. Identificar las premisas y la conclusión 2.p. Estos se llamarán renglones críticos ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . Señalar de la tabla sólo aquellos renglones que hacen que todas las premisas sean verdaderas.

p.De la propia definición de argumento válido se puede deducir una metodología para verificar la validez de un argumento: 1. Estos se llamarán renglones críticos 4. Verificar que para los renglones críticos. Señalar de la tabla sólo aquellos renglones que hacen que todas las premisas sean verdaderas. 6/50 . Identificar las premisas y la conclusión 2. Construir una tabla de verdad que incluya las premisas y la conclusión 3. ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . la conclusión es verdadera.

Señalar de la tabla sólo aquellos renglones que hacen que todas las premisas sean verdaderas. la conclusión es verdadera.p. Construir una tabla de verdad que incluya las premisas y la conclusión 3. Estos se llamarán renglones críticos 4. En tal caso se tiene un Argumento válido ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . Identificar las premisas y la conclusión 2. Verificar que para los renglones críticos. 6/50 .De la propia definición de argumento válido se puede deducir una metodología para verificar la validez de un argumento: 1.

Estos se llamarán renglones críticos 4. Construir una tabla de verdad que incluya las premisas y la conclusión 3. Verificar que para los renglones críticos.p. 6/50 .De la propia definición de argumento válido se puede deducir una metodología para verificar la validez de un argumento: 1. Identificar las premisas y la conclusión 2. En tal caso se tiene un Argumento válido ó ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . la conclusión es verdadera. Señalar de la tabla sólo aquellos renglones que hacen que todas las premisas sean verdaderas.

Construir una tabla de verdad que incluya las premisas y la conclusión 3. 6/50 . Módulo I: Argumentos Válidos ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Matemáticas Discretas .p. la conclusión es verdadera. En tal caso se tiene un Argumento válido ó 5. Verificar que para los renglones críticos. Señalar de la tabla sólo aquellos renglones que hacen que todas las premisas sean verdaderas.De la propia definición de argumento válido se puede deducir una metodología para verificar la validez de un argumento: 1. Estos se llamarán renglones críticos 4. Detectar si existe un renglón crítico con conclusión falsa. Identificar las premisas y la conclusión 2.

De la propia definición de argumento válido se puede deducir una metodología para verificar la validez de un argumento: 1. Identificar las premisas y la conclusión 2. Construir una tabla de verdad que incluya las premisas y la conclusión 3. Señalar de la tabla sólo aquellos renglones que hacen que todas las premisas sean verdaderas. Estos se llamarán renglones críticos 4. Verificar que para los renglones críticos, la conclusión es verdadera. En tal caso se tiene un Argumento válido ó 5. Detectar si existe un renglón crítico con conclusión falsa. En cuyo caso se dirá Argumento inválido
Módulo I: Argumentos Válidos

´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario

Matemáticas Discretas - p. 6/50

Ejemplos de validez
Veamos ahora cómo se aplica el método descrito para probar la validez o invalidez de un argumento.
´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 7/50

Ejemplo

Determine si el siguiente argumento es válido: 1. p → q 2. q → p 3. p ∨ q

´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 8/50

Ejemplo

Determine si el siguiente argumento es válido: 1. p → q 2. q → p 3. p ∨ q
´ Solucion

Realizando la tabla de verdad obtenemos:
p F F T T q F T F T p→q T T F T q→p T F T T p∨q F T T T

´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 8/50

9/50 .p.De la cual los renglones críticos son: p q p→q q →p p∨q F F T T F T F T T T F T T F T T F T T T ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas .

De la cual los renglones críticos son: p q p→q q →p p∨q F F T T F F T T F T T F F T T T T T T T De donde observamos que de los dos renglones críticos (renglón que corresponde a una combinación de las variables proposicionales que hacen verdaderas todas las hipótesis) uno de ellos tiene la conclusión falsa: ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas .p. 9/50 .

p.De la cual los renglones críticos son: p q p→q q →p p∨q F F T T F F T T F T T F F T T T T T T T De donde observamos que de los dos renglones críticos (renglón que corresponde a una combinación de las variables proposicionales que hacen verdaderas todas las hipótesis) uno de ellos tiene la conclusión falsa: concluimos que el argumento es inválido. 9/50 . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas .

10/50 . p → q . 1. 3.Ejemplo Determine si el siguiente argumento es válido. p → r. p → q ∧ r ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . 2.p.

p → q ∧ r ´ Solucion Realizando la tabla de verdad obtenemos: p F F F T F T T T q F F T F T F T T r F T F F T T F T p→q T T T F T F T T p→r T T T F T T F T q∧r F F F F T F F T p→q∧r T T T F T F F T ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas .Ejemplo Determine si el siguiente argumento es válido. 10/50 . 2. p → r. 1.p. p → q . 3.

De la cual los renglones críticos son: p q r p→q p→r q∧r p→q∧r F F F T F T T T F F T F T F T T F T F F T T F T T T T F T F T T T T T F T T F T F F F F T F F T T T T F T F F T ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . 11/50 .p.

11/50 .De la cual los renglones críticos son: p q r p→q p→r q∧r p→q∧r F F F T T F T F F T T T F T F T F T T F T T F F F F F F F T T T T T T T F T F T F F T T F T F F F T T T T T T T De donde observamos que el argumento es válido.p. ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas .

p. 3. p ∨ q . 1. 2. r ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . p ∧ ¬q → r.Ejemplo Determine si el siguiente argumento es válido. 4. 12/50 . q → p.

q → p. 12/50 . p ∧ ¬q → r.p.Ejemplo Determine si el siguiente argumento es válido. 3. 2. r ´ Solucion Realizando la tabla de verdad obtenemos: p F F F T F T T T q F F T F T F T T r F T F F T T F T ¬q T T F T F T F F p ∧ ¬q F F F T F T F F p ∧ ¬q → r T T T F T F T T p∨q F F T T T T T T q→p T T F T F T T T ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . 1. 4. p ∨ q .

De la cual los renglones críticos son: p F F F T F T T T q F F T F T F T T r F T F F T T F T ¬q T T F T F T F F p ∧ ¬q F F F T F T F F p ∧ ¬q → r T T T F T F T T p∨q F F T T T T T T q→p T T F T F T T T ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas .p. 13/50 .

13/50 .De la cual los renglones críticos son: p q r ¬q p ∧ ¬q p ∧ ¬q → r p∨q q→p T T F T F T T T F F F T F T F F F T T F T F F T F F F T T T F F T T F T F T T F F T T T F T T T F T T T F F F T T T T T F F T T De donde observamos que el argumento es inválido.p. Módulo I: Argumentos Válidos ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Matemáticas Discretas .

Una regla de inferencia es a su vez un argumento y su validez será probada utilizando el método recien visto.Deducción Natural El método de verificación de la validez de un argumento recien visto aunque correcto es uno poco humano y que no se puede llevar a cabo cuando el total de hipótesis a usar no está delimitado.p. El método de deducción natural consiste en construir un argumento para un conjunto de premisas y una conclusión. 14/50 . Este método se basa en el uso de reglas de inferencia que permiten ir obteniendo fórmulas verdaderas a partir de la suposición de que sean verdaderas un número reducido de fórmulas. ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas .

s Modus Pones s Modus Tollens s Silogismo Disjuntivo s Adición Disjuntiva s Simplificación Conjuntiva s Silogismo Hipotético s Adición Conjuntiva s Regla de Contradicción ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas .Reglas Inferencia Verifiquemos la validez de las reglas de inferencia que utilizaremos en el método de deducción natural. 15/50 .p.

Ejemplo Verifique la validez de la regla de inferencia modus ponens: 1. p 3. q ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . p → q 2. 16/50 .p.

p. p 3.Ejemplo Verifique la validez de la regla de inferencia modus ponens: 1. q ´ Solucion Realizando la tabla de verdad obtenemos: p q p→q p q F F T T F T F T T T F T F F T T F T F T ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . p → q 2. 16/50 .

p.De la cual los renglones críticos son: p q p→q p q F F T T F T F T T T F T F F T T F T F T ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . 17/50 .

´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . 17/50 .De la cual los renglones críticos son: p q p→q p q F F T F F F T T F T T F F T F T T T T T De donde concluimos que el argumento es válido.p.

p → q 2.Ejemplo Verifique la validez de la regla de inferencia modus tollens: 1. ¬p ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . 18/50 .p. ¬q 3.

p. 18/50 . ¬q 3. ¬p ´ Solucion Realizando la tabla de verdad obtenemos: p q p → q ¬q ¬p F F T T F T F T T T F T T F T F T T F F ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . p → q 2.Ejemplo Verifique la validez de la regla de inferencia modus tollens: 1.

p.De la cual los renglones críticos son: p q p → q ¬q ¬p F F T T F T F T T T F T T F T F T F T F ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . 19/50 .

´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . 19/50 .De la cual los renglones críticos son: p q p → q ¬q ¬p F F T T T F T T F F T F F T T T T T F F De donde concluimos que el argumento es válido.p.

q ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas .Ejemplo Verifique la validez de la regla de inferencia silogismo disjuntivo: 1. ¬p 3. 20/50 . p ∨ q 2.p.

20/50 .p.Ejemplo Verifique la validez de la regla de inferencia silogismo disjuntivo: 1. p ∨ q 2. q ´ Solucion Realizando la tabla de verdad obtenemos: p q p ∨ q ¬p q F F T T F T F T F T T T T T F F F T F T ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . ¬p 3.

21/50 .p.De la cual los renglones críticos son: p q p ∨ q ¬p q F F T T F T F T F T T T T T F F F T F T ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas .

21/50 .De la cual los renglones críticos son: p q p ∨ q ¬p q F F F T F F T T T T T F T F F T T T F T De donde concluimos que el argumento es válido.p. ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas .

p ∨ q ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas .p.Ejemplo Verifique la validez de la regla de inferencia adición disjuntiva: 1. 22/50 . p 2.

p ∨ q ´ Solucion Realizando la tabla de verdad obtenemos: p F F T T q F T F T p∨q F T T T ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . 22/50 . p 2.Ejemplo Verifique la validez de la regla de inferencia adición disjuntiva: 1.p.

De la cual los renglones críticos son: p q p∨q F F T T F T F T F T T T

´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 23/50

De la cual los renglones críticos son: p q p∨q F F F F T T T F T T T T De donde concluimos que el argumento es válido.

´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 23/50

Ejemplo

Verifique la validez de la regla de inferencia simplificación conjuntiva: 1. p ∧ q 2. p

´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 24/50

Ejemplo

Verifique la validez de la regla de inferencia simplificación conjuntiva: 1. p ∧ q 2. p
´ Solucion

Realizando la tabla de verdad obtenemos: p F F T T q F T F T p∧q F F F T

´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 24/50

De la cual los renglones críticos son: p q p∧q F F T T F T F T F F F T ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas .p. 25/50 .

25/50 .De la cual los renglones críticos son: p q p∧q F F F F T F T F F T T T De donde concluimos que el argumento es válido.p. ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas .

2. 3. p → q .Ejemplo Verifique la validez de la regla de inferencia silogismo hipotético: 1. 26/50 . q → r.p. p → r ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas .

p → r ´ Solucion Realizando la tabla de verdad obtenemos: p F F F F T T T T q F F T T F F T T r F T F T F T F T p→q T T T T F F T T q→r T T F T T T F T p→r T T T T F T F T ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . q → r. 2. 3.Ejemplo Verifique la validez de la regla de inferencia silogismo hipotético: 1. p → q .p. 26/50 .

p.De la cual los renglones críticos son: p q r r→q q→r p→r F F F F T T T T F F T T F F T T F T F T F T F T T T T T F F T T T T F T T T F T T T T T F T F T ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . 27/50 .

De la cual los renglones críticos son: p q r r→q q→r p→r F F F T T T F F T T T T F T F T F T F T T T T T T F F F T F T F T F T T T T F T F F T T T T T T De donde observamos que el argumento es válido. 27/50 . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas .p.

p 2. p ∧ q ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas .Ejemplo Verifique la validez de la regla de inferencia adición conjuntiva: 1. q 3.p. 28/50 .

28/50 . q 3.Ejemplo Verifique la validez de la regla de inferencia adición conjuntiva: 1. p 2. p ∧ q ´ Solucion Realizando la tabla de verdad obtenemos: p q p∧q F F T T Módulo I: Argumentos Válidos ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario F T F T F F F T Matemáticas Discretas .p.

De la cual los renglones críticos son: p q p∧q F F T T F T F T F F F T ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas .p. 29/50 .

29/50 .p. ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas .De la cual los renglones críticos son: p q p∧q F F F F T F T F F T T T De donde concluimos que el argumento es válido.

Ejemplo Verifique la validez de la regla de inferencia de la regla de contradicción: 1. p ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas .p. 30/50 . ¬p → F 2.

p. 30/50 .Ejemplo Verifique la validez de la regla de inferencia de la regla de contradicción: 1. ¬p → F 2. p ´ Solucion Realizando la tabla de verdad obtenemos: p F T F F F ¬p T F ¬p → F F T ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas .

31/50 .De la cual los renglones críticos son: p F ¬p ¬p → F F T F F T F F T ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas .p.

De la cual los renglones críticos son: p F ¬p ¬p → F F F T F T F F T De donde concluimos que el argumento es válido. 31/50 . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas .p.

si es posible demostrarla. ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . Una proposición se dice lema.p.Conceptos Una demostración para una proposición es un argumento válido construido para ella. si es un teorema y posteriormente se planea usarla como una regla de inferencia. Una proposición se dice conjetura cuando no ha sido posible construir una demostración para ella pero en sustituciones se ha evaluado en verdadero. Una proposición se dice teorema. La palabra demostrar una proposición consiste en construir un argumento válido para ella. 32/50 . Una proposición se dice corolario a un teorema si es posible construir una demostración corta donde el teorema se use como una regla de inferencia.

Es decir. En lo siguiente demostrar consiste en construir un argumento válido. ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . 33/50 . se deberá justificar porqué cada FBB en el argumento es verdadera.p.Ejemplos de deducción natural Veamos ahora unos ejemplos del uso de deducción natural. El argumento partirá del supuesto que las hipótesis son verdaderas y deberá llegar a la conclusión deseada. ir colocando hipótesis o creando FBFs en una lista que será el argumento. Asimismo.

34/50 .p.Ejemplo: Demuestre que la conclusión se deduce de las hipótesis: H1 : p H2 : p → ¬q H3 : ¬q → ¬r C: ¬r ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas .

. 34/50 ..Ejemplo: Demuestre que la conclusión se deduce de las hipótesis: H1 : p H2 : p → ¬q H3 : ¬q → ¬r C: ¬r ´ Solucion ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario 1.....p.. Módulo I: Argumentos Válidos Matemáticas Discretas ... FBF Justificación p ..

. . FBF Justificación p . . . . . . . . 34/50 .p. 2. . Hipótesis 1 Módulo I: Argumentos Válidos Matemáticas Discretas .Ejemplo: Demuestre que la conclusión se deduce de las hipótesis: H1 : p H2 : p → ¬q H3 : ¬q → ¬r C: ¬r ´ Solucion ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario 1.

. .Ejemplo: Demuestre que la conclusión se deduce de las hipótesis: H1 : p H2 : p → ¬q H3 : ¬q → ¬r C: ¬r ´ Solucion ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario 1. . Módulo I: Argumentos Válidos Matemáticas Discretas . FBF Justificación p . . . . . 34/50 . .p. . . 2. . Hipótesis 1 p → ¬q . . . .

Hipótesis 2 Módulo I: Argumentos Válidos Matemáticas Discretas . . . . . FBF Justificación p . . Hipótesis 1 p → ¬q . . . 2. . . . . . 3. 34/50 . . .p.Ejemplo: Demuestre que la conclusión se deduce de las hipótesis: H1 : p H2 : p → ¬q H3 : ¬q → ¬r C: ¬r ´ Solucion ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario 1.

FBF Justificación p . . 3. . Hipótesis 1 p → ¬q . 34/50 . . . . . . . . .p. 2. . . . . . . Módulo I: Argumentos Válidos Matemáticas Discretas . .Ejemplo: Demuestre que la conclusión se deduce de las hipótesis: H1 : p H2 : p → ¬q H3 : ¬q → ¬r C: ¬r ´ Solucion ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario 1. . . Hipótesis 2 ¬q . . . . .

. . p → ¬q . . 4. . 34/50 . .. .. . .. 2. . .. Justificación Hipótesis 1 Hipótesis 2 Modus ponens con 2. .p.Ejemplo: Demuestre que la conclusión se deduce de las hipótesis: H1 : p H2 : p → ¬q H3 : ¬q → ¬r C: ¬r ´ Solucion ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario 1. FBF p . Módulo I: Argumentos Válidos Matemáticas Discretas . . .... ¬q . y 1.. 3.. .

34/50 . Justificación Hipótesis 1 Hipótesis 2 Modus ponens con 2... p → ¬q . .p... . 3. y 1. 2. . .Ejemplo: Demuestre que la conclusión se deduce de las hipótesis: H1 : p H2 : p → ¬q H3 : ¬q → ¬r C: ¬r ´ Solucion ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario 1. 4. . ¬q . . . . FBF p .. ... . .. .. . . . .. ¬q → ¬r . Módulo I: Argumentos Válidos Matemáticas Discretas .

. p → ¬q . y 1. . Justificación Hipótesis 1 Hipótesis 2 Modus ponens con 2... . . 4.Ejemplo: Demuestre que la conclusión se deduce de las hipótesis: H1 : p H2 : p → ¬q H3 : ¬q → ¬r C: ¬r ´ Solucion ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario 1. . 5. .. ..p. . FBF p . . 34/50 . . . . 3. Hipótesis 3. 2. .. ... . ¬q ... . ¬q → ¬r . Módulo I: Argumentos Válidos Matemáticas Discretas ..

. y 1. . 4. ... . .p. ... p → ¬q . . 2. . . . Justificación Hipótesis 1 Hipótesis 2 Modus ponens con 2. . Módulo I: Argumentos Válidos Matemáticas Discretas . . . ¬q . .Ejemplo: Demuestre que la conclusión se deduce de las hipótesis: H1 : p H2 : p → ¬q H3 : ¬q → ¬r C: ¬r ´ Solucion ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario 1. . . . . Hipótesis 3. ... . 5. . 34/50 . .. 3. . ... ¬q → ¬r . ¬r . FBF p . . .

. . 34/50 Módulo I: Argumentos Válidos . . Hipótesis 3. . . 3. . . ... . 4. 2. y 5. . Justificación Hipótesis 1 Hipótesis 2 Modus ponens con 2. ..Ejemplo: Demuestre que la conclusión se deduce de las hipótesis: H1 : p H2 : p → ¬q H3 : ¬q → ¬r C: ¬r ´ Solucion ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario 1. p → ¬q .. . . y 1. . .. ¬q → ¬r . . ¬q . ... .p. Matemáticas Discretas . . 5. . . .. .. Modus ponens con 4.. ¬r . FBF p . . .

p.Demuestre que la conclusión se deduce de las hipótesis: H1 : p → r H2 : r → s H3 : t ∨ ¬s H4 : ¬t ∨ u H5 : ¬u C: ¬p Ejemplo: ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . 35/50 .

p. . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . . 35/50 . . . ¬u . . . . .Demuestre que la conclusión se deduce de las hipótesis: H1 : p → r H2 : r → s H3 : t ∨ ¬s H4 : ¬t ∨ u H5 : ¬u C: ¬p ´ Solucion Ejemplo: 1. . . . . .

Hipótesis 5 ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . . . . . .Demuestre que la conclusión se deduce de las hipótesis: H1 : p → r H2 : r → s H3 : t ∨ ¬s H4 : ¬t ∨ u H5 : ¬u C: ¬p ´ Solucion Ejemplo: 1. . .p. 2. . . . . . ¬u . 35/50 . .

. ¬u . . . . . .p. . . . 2. . . 35/50 . . . . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . . Hipótesis 5 ¬t ∨ u . . . . .Demuestre que la conclusión se deduce de las hipótesis: H1 : p → r H2 : r → s H3 : t ∨ ¬s H4 : ¬t ∨ u H5 : ¬u C: ¬p ´ Solucion Ejemplo: 1. . . . .

. . 3.p. . . Hipótesis 5 ¬t ∨ u . . . . . . . . . . . 2. . ¬u . 35/50 . Hipótesis 4 ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . . . . .Demuestre que la conclusión se deduce de las hipótesis: H1 : p → r H2 : r → s H3 : t ∨ ¬s H4 : ¬t ∨ u H5 : ¬u C: ¬p ´ Solucion Ejemplo: 1. . . . .

. . Hipótesis 5 ¬t ∨ u . . 2. . . . . . 3.p. . . . . . . . . . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . ¬u . . . . . . . . . 35/50 . . . Hipótesis 4 ¬t .Demuestre que la conclusión se deduce de las hipótesis: H1 : p → r H2 : r → s H3 : t ∨ ¬s H4 : ¬t ∨ u H5 : ¬u C: ¬p ´ Solucion Ejemplo: 1. . . . . . . . . . .

p. 4. y 1. Hipótesis 4 ¬t . . . 2. . . . . Hipótesis 5 ¬t ∨ u . . . ¬u .Demuestre que la conclusión se deduce de las hipótesis: H1 : p → r H2 : r → s H3 : t ∨ ¬s H4 : ¬t ∨ u H5 : ¬u C: ¬p ´ Solucion Ejemplo: 1. . . . . . . . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . . . . . . . . . . 35/50 . . . Silogismo disjuntivo con 2. . . . . . . 3. . . . . .

. . y 1. . . 35/50 . . . . . . . . . . . . . . Silogismo disjuntivo con 2. t ∨ ¬s . . . . . . . 2. . . 4.p. ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . 3. . . . . Hipótesis 4 ¬t .Demuestre que la conclusión se deduce de las hipótesis: H1 : p → r H2 : r → s H3 : t ∨ ¬s H4 : ¬t ∨ u H5 : ¬u C: ¬p ´ Solucion Ejemplo: 1. . . . . . . . . . Hipótesis 5 ¬t ∨ u . . . . . . ¬u . . . . .

. . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . . . . . . t ∨ ¬s . .Demuestre que la conclusión se deduce de las hipótesis: H1 : p → r H2 : r → s H3 : t ∨ ¬s H4 : ¬t ∨ u H5 : ¬u C: ¬p ´ Solucion Ejemplo: 1. . . . . .p. . . . Hipótesis 3. 3. . 5. . . 2. . . . . . . . . Hipótesis 4 ¬t . 35/50 . . Hipótesis 5 ¬t ∨ u . . . y 1. . . . 4. . . . . . . . . . . . . Silogismo disjuntivo con 2. . ¬u . .

. . . 35/50 . . 2. . . . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . . 5.p. . . 4. . . . . y 1. t ∨ ¬s . . . . ¬s . . . .Demuestre que la conclusión se deduce de las hipótesis: H1 : p → r H2 : r → s H3 : t ∨ ¬s H4 : ¬t ∨ u H5 : ¬u C: ¬p ´ Solucion Ejemplo: 1. . . . . . . . Hipótesis 4 ¬t . . . . . ¬u . . . . . . . . . . . . . . . . . . . . . . 3. . . Hipótesis 5 ¬t ∨ u . . . . Silogismo disjuntivo con 2. . . . Hipótesis 3.

. . Silogismo disjuntivo con 2. . . . t ∨ ¬s . . . . . y 1. . . . . . y 3. . 35/50 . . . . ¬u . . . 2. . Silogismo disjuntivo con 4. . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . 5. . . . 6.Demuestre que la conclusión se deduce de las hipótesis: H1 : p → r H2 : r → s H3 : t ∨ ¬s H4 : ¬t ∨ u H5 : ¬u C: ¬p ´ Solucion Ejemplo: 1. . Hipótesis 4 ¬t . . . . . . . . . . . . . . . .p. . . . . Hipótesis 5 ¬t ∨ u . . . 3. 4. . Hipótesis 3. . . . . ¬s . . . . . . . . .

.. . . . Hipótesis 3. . . ¬s . . 6. . . . . . . . ... Silogismo disjuntivo con 2. 4. .. . 3. . . .. . Hipótesis 5 ¬t ∨ u . . .. . . .. . . y 1. . . . . .p. .. . Silogismo disjuntivo con 4. . . . . .Demuestre que la conclusión se deduce de las hipótesis: H1 : p → r H2 : r → s H3 : t ∨ ¬s H4 : ¬t ∨ u H5 : ¬u C: ¬p ´ Solucion Ejemplo: 1.. . . t ∨ ¬s . . . . ¬u . . . 2.. . 35/50 . y 3. . . r → s . . . . . . . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . . . . . 5. Hipótesis 4 ¬t .

. . Silogismo disjuntivo con 2. . 6. 4.Demuestre que la conclusión se deduce de las hipótesis: H1 : p → r H2 : r → s H3 : t ∨ ¬s H4 : ¬t ∨ u H5 : ¬u C: ¬p ´ Solucion Ejemplo: 1. . . Silogismo disjuntivo con 4. . . . . . . . . . . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . y 3.p. . Hipótesis 3. . . 5. . . . . . . . . . . Hipótesis 2. y 1. . 7. . . . . . . . . . . . . . . . . . . . . . . . 35/50 . Hipótesis 5 ¬t ∨ u . . . . ¬s . 3. . . ¬u . . . t ∨ ¬s . . . . . . . Hipótesis 4 ¬t . 2. . . . r → s . . .

. 4. . t ∨ ¬s . .p. .Demuestre que la conclusión se deduce de las hipótesis: H1 : p → r H2 : r → s H3 : t ∨ ¬s H4 : ¬t ∨ u H5 : ¬u C: ¬p ´ Solucion Ejemplo: 1. . . . . . ¬u . . . . Hipótesis 2. . . y 3. . . . Hipótesis 5 ¬t ∨ u . . . . 2. . Silogismo disjuntivo con 2. 3. . r → s . . . . . Hipótesis 4 ¬t . . . 35/50 . . . . . y 1. ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . ¬r . . . . . Hipótesis 3. . . 6. . . . . . . . . . . . . . . . . . . Silogismo disjuntivo con 4. . . . . . . . . . . ¬s . 7. . . . 5. . . . . . . . . . . . . . .

. . 7. Hipótesis 5 ¬t ∨ u . 3. . . . 5. . . . . . y 1. 4. . . r → s . . . . . . . . . . . .Demuestre que la conclusión se deduce de las hipótesis: H1 : p → r H2 : r → s H3 : t ∨ ¬s H4 : ¬t ∨ u H5 : ¬u C: ¬p ´ Solucion Ejemplo: 1. . . . . 8. y 5. . . ¬s . Hipótesis 3. . . . . . . . . Hipótesis 4 ¬t .p. . . . . y 3. ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . . . . Hipótesis 2. ¬r . . . t ∨ ¬s . . . . ¬u . . . . . . 6. . . Silogismo disjuntivo con 4. . 2. . . . . . . . . . . . Silogismo disjuntivo con 2. . 35/50 . . . . . . . . . . Modus tollens con 6. . . . . .

. . . . Hipótesis 3. . . 8.. . . . . .. . ..Demuestre que la conclusión se deduce de las hipótesis: H1 : p → r H2 : r → s H3 : t ∨ ¬s H4 : ¬t ∨ u H5 : ¬u C: ¬p ´ Solucion Ejemplo: 1.. .. . .. . . Hipótesis 5 ¬t ∨ u . . . . . Hipótesis 2. . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . 6. . Hipótesis 4 ¬t . . . 4. . . . . . . ¬r . . . .. Silogismo disjuntivo con 2. . . Modus tollens con 6.. . y 3. . . . . . t ∨ ¬s . . . . . 7. . . . . . . . y 5. . . . . . y 1. . . . 35/50 . . ¬u . . Silogismo disjuntivo con 4. . . .. 2. 5. . . . p → r . . . . . r → s .p. . . ¬s . . . . . 3. . . . .

. . . . . 8. 35/50 . Silogismo disjuntivo con 2. . . p → r . y 5. 2. 3. Modus tollens con 6. . . . . . Hipótesis 2. . . . . ¬u . 4. ¬r . . . . . . 6. . . 5.p. . . . . . . . . . . . . . Hipótesis 1. . . . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . . . . . Hipótesis 5 ¬t ∨ u . . . . . Silogismo disjuntivo con 4. . r → s . Hipótesis 3. . . . . . . . Hipótesis 4 ¬t . . .Demuestre que la conclusión se deduce de las hipótesis: H1 : p → r H2 : r → s H3 : t ∨ ¬s H4 : ¬t ∨ u H5 : ¬u C: ¬p ´ Solucion Ejemplo: 1. . . . . . . . . . ¬s . . y 3. . . . . . . . . . y 1. . . . . 7. . . . . . . . . t ∨ ¬s . . 9. . . . .

. . . . . ¬r .Demuestre que la conclusión se deduce de las hipótesis: H1 : p → r H2 : r → s H3 : t ∨ ¬s H4 : ¬t ∨ u H5 : ¬u C: ¬p ´ Solucion Ejemplo: 1. . . . ¬s . . . Hipótesis 4 ¬t . . . . 8. 4. . Modus tollens con 6. 5. . . . . . . . . . . . . y 5. Hipótesis 1. . y 3. . . . . . . . . . p → r . . . . . . . . Hipótesis 3. . . . .p. 3. . . 9. . . . . y 1. . . . . . . . . . ¬u . . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . . . . t ∨ ¬s . . . . Silogismo disjuntivo con 2. . ¬p . . . . . . . . 35/50 . . . . 6. . . . . . . 2. . . . . . . 7. . . . . . Hipótesis 5 ¬t ∨ u . Hipótesis 2. Silogismo disjuntivo con 4. . . . . r → s . . . . . .

. . . 7. . . . . Hipótesis 3. . . . . . . . . . . . . . . . . . . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . p → r . . . . . . . . . Hipótesis 4 ¬t . . . . . . . . . .p.Demuestre que la conclusión se deduce de las hipótesis: H1 : p → r H2 : r → s H3 : t ∨ ¬s H4 : ¬t ∨ u H5 : ¬u C: ¬p ´ Solucion Ejemplo: 1. . . . 2. . . 4. . . . Silogismo disjuntivo con 2. r → s . Modus tollens con 8. . . . . . . . . . . . 9. . . . . . ¬s . . . . Hipótesis 2. . . . . . Hipótesis 1. . . . . . . . 5. Modus tollens con 6. . t ∨ ¬s . ¬p . . . . . . . y 5. y 7. . . . 8. y 3. . . . . . Hipótesis 5 ¬t ∨ u . Silogismo disjuntivo con 4. ¬r . 35/50 . . . . . . . y 1. . 6. . 3. ¬u . . .

(Lema 1):Demuestre que la conclusión se deduce de las hipótesis: H1 : p ∨ q H2 : ¬p ∨ r C: q ∨ r Ejemplo ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas .p. 36/50 .

(Lema 1):Demuestre que la conclusión se deduce de las hipótesis: H1 : p ∨ q H2 : ¬p ∨ r C: q ∨ r Ejemplo ´ Solucion 1... ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . 36/50 .p. p ∨ q ....

´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . Hipótesis 1. . . . .p. 36/50 . p ∨ q .(Lema 1):Demuestre que la conclusión se deduce de las hipótesis: H1 : p ∨ q H2 : ¬p ∨ r C: q ∨ r Ejemplo ´ Solucion 1. . 2.

p. . . . . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . . . ¬p → q . .(Lema 1):Demuestre que la conclusión se deduce de las hipótesis: H1 : p ∨ q H2 : ¬p ∨ r C: q ∨ r Ejemplo ´ Solucion 1. 2. p ∨ q . . 36/50 . Hipótesis 1.

. ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . ¬p → q .(Lema 1):Demuestre que la conclusión se deduce de las hipótesis: H1 : p ∨ q H2 : ¬p ∨ r C: q ∨ r Ejemplo ´ Solucion 1. Hipótesis 1. . . 36/50 . 2. . . . 3.p. implicación en 1. Equiv. . p ∨ q . .

¬p → q . Equiv. .(Lema 1):Demuestre que la conclusión se deduce de las hipótesis: H1 : p ∨ q H2 : ¬p ∨ r C: q ∨ r Ejemplo ´ Solucion 1. . . 3. . . Hipótesis 1. ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . . implicación en 1. . . . . . ¬p ∨ r .p. 2. p ∨ q . 36/50 . .

´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . 36/50 . Equiv. . . . 2. . . 4. Hipótesis 1. . . . . 3.(Lema 1):Demuestre que la conclusión se deduce de las hipótesis: H1 : p ∨ q H2 : ¬p ∨ r C: q ∨ r Ejemplo ´ Solucion 1. Hipótesis 2. implicación en 1. .p. . . p ∨ q . ¬p → q . ¬p ∨ r .

. . . .(Lema 1):Demuestre que la conclusión se deduce de las hipótesis: H1 : p ∨ q H2 : ¬p ∨ r C: q ∨ r Ejemplo ´ Solucion 1. . Hipótesis 1. . 36/50 . r ∨ ¬p . . Equiv. . ¬p → q . . 3. . . . implicación en 1. . ¬p ∨ r . .p. 2. p ∨ q . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . Hipótesis 2. . . 4.

Hipótesis 2. r ∨ ¬p . ¬p → q ..p. 5. 2.. 4.. Conmutatividad en 3. implicación en 1. . . . Hipótesis 1. ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . .(Lema 1):Demuestre que la conclusión se deduce de las hipótesis: H1 : p ∨ q H2 : ¬p ∨ r C: q ∨ r Ejemplo ´ Solucion 1. . ¬p ∨ r . . Equiv. p ∨ q . 36/50 . . . .. . 3.. .

Conmutatividad en 3. .. Hipótesis 1. .(Lema 1):Demuestre que la conclusión se deduce de las hipótesis: H1 : p ∨ q H2 : ¬p ∨ r C: q ∨ r Ejemplo ´ Solucion 1. . ¬p → q . . . 36/50 . implicación en 1. ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . . ¬p ∨ r . 2. p ∨ q . Hipótesis 2. r ∨ ¬p . Equiv. . 5. . . . 4.p. ¬r → ¬p .... . 3.. .

¬p → q .. 36/50 . ¬r → ¬p . . ¬p ∨ r . Equiv. . 5.(Lema 1):Demuestre que la conclusión se deduce de las hipótesis: H1 : p ∨ q H2 : ¬p ∨ r C: q ∨ r Ejemplo ´ Solucion 1. r ∨ ¬p . . implicación en 1. ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas .. . . .. Hipótesis 2. Conmutatividad en 3. Hipótesis 1. 4. . . Equiv. implicación en 4. . . . 3. 2. p ∨ q . 6..p.. .

. . Conmutatividad en 3. . r ∨ ¬p . ¬p → q .(Lema 1):Demuestre que la conclusión se deduce de las hipótesis: H1 : p ∨ q H2 : ¬p ∨ r C: q ∨ r Ejemplo ´ Solucion 1.. . . . ¬r → ¬p . 5. ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . Hipótesis 2. 36/50 . .. implicación en 4. . Equiv. . . ¬r → q . 4. implicación en 1. Equiv. ..p.. p ∨ q . . ¬p ∨ r . . . Hipótesis 1. . 2.. 3. 6.

. 6. .. . 4. 2. hipotético con 5. Silog. . . y 2.. Hipótesis 1. implicación en 1. .. . 7. 3. Hipótesis 2. . .. 36/50 . Equiv. . . r ∨ ¬p . implicación en 4. ¬p ∨ r .. . Equiv. ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas .. .(Lema 1):Demuestre que la conclusión se deduce de las hipótesis: H1 : p ∨ q H2 : ¬p ∨ r C: q ∨ r Ejemplo ´ Solucion 1. ¬r → ¬p .p. . p ∨ q . Conmutatividad en 3. . 5. ¬r → q . ¬p → q .

. r ∨ ¬p . Hipótesis 1. ¬r → q . Equiv. 6. ¬p ∨ r . 4. Hipótesis 2. 5.. . . 3. y 2.p. 36/50 . . .(Lema 1):Demuestre que la conclusión se deduce de las hipótesis: H1 : p ∨ q H2 : ¬p ∨ r C: q ∨ r Ejemplo ´ Solucion 1.. . hipotético con 5. Silog. p ∨ q . ¬r → ¬p . . 2. . . implicación en 4. 7. Equiv.. ¬(¬r) ∨ q .. ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . . . . .. . . ¬p → q . Conmutatividad en 3. .. implicación en 1.

r ∨ ¬p .. ¬p ∨ r . Equiv. .. . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . ¬r → ¬p . . . 7.. p ∨ q . Conmutatividad en 3.. Hipótesis 1. ¬p → q . . . 8. . Silog. ¬(¬r) ∨ q .. . . 5. . y 2. . Equiv. . 2. . Hipótesis 2. 6. implicación en 6.. 3. . . Equiv. 36/50 .p. implicación en 4.(Lema 1):Demuestre que la conclusión se deduce de las hipótesis: H1 : p ∨ q H2 : ¬p ∨ r C: q ∨ r Ejemplo ´ Solucion 1. ¬r → q . . implicación en 1. hipotético con 5. 4.

. . . ¬p ∨ r . ¬r → ¬p . implicación en 6. Equiv.. r ∨ ¬p .. 2.. p ∨ q . .. Hipótesis 1. Equiv. y 2. . . .. hipotético con 5. . 4.. . ¬r → q . 3. ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . Silog.p. 6. . Equiv. 36/50 . implicación en 4.. . ¬p → q . 8. q ∨ r . . ... Conmutatividad en 3.. 5. .. 7. Hipótesis 2. .(Lema 1):Demuestre que la conclusión se deduce de las hipótesis: H1 : p ∨ q H2 : ¬p ∨ r C: q ∨ r Ejemplo ´ Solucion 1. ¬(¬r) ∨ q . . implicación en 1..

Silog.. Hipótesis 2. 8.. Conmutatividad en 3. . . . 2. . . . Equiv.. . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . Equiv. .. hipotético con 5.. 5. implicación en 4. 7. . ¬p ∨ r . ¬(¬r) ∨ q . Equiv.p. . p ∨ q . .. 4. . 6. ¬r → q . ... .. 36/50 . .. Doble negación y conmutatividad en 7... ¬r → ¬p . .(Lema 1):Demuestre que la conclusión se deduce de las hipótesis: H1 : p ∨ q H2 : ¬p ∨ r C: q ∨ r Ejemplo ´ Solucion 1. r ∨ ¬p . q ∨ r . implicación en 1. implicación en 6. ¬p → q . 3. Hipótesis 1. y 2.

p.Ejemplo (Lema 2) que la Demuestre conclusión se deduce de las hipótesis: H1 : p → q ∨ r H2 : p → ¬q C:p→r Módulo I: Argumentos Válidos Matemáticas Discretas . 37/50 .

p. 37/50 .Ejemplo (Lema 2) que la ´ Solucion Demuestre 1..... p → q ∨ r .. conclusión se deduce de las hipótesis: H1 : p → q ∨ r H2 : p → ¬q C:p→r Módulo I: Argumentos Válidos Matemáticas Discretas ..

. . 2. Hipótesis 1. . p → q ∨ r . .p. . 37/50 . conclusión se deduce de las hipótesis: H1 : p → q ∨ r H2 : p → ¬q C:p→r Módulo I: Argumentos Válidos Matemáticas Discretas .Ejemplo (Lema 2) que la ´ Solucion Demuestre 1. .

Ejemplo

(Lema 2) que la

´ Solucion

Demuestre

1. 2.

p → q ∨ r . . . . . . . Hipótesis 1. ¬p ∨ (q ∨ r) . . . . .

conclusión se deduce de las hipótesis:

H1 : p → q ∨ r H2 : p → ¬q C:p→r

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 37/50

Ejemplo

(Lema 2) que la

´ Solucion

Demuestre

1. 2. 3.

p → q ∨ r . . . . . . . Hipótesis 1. ¬p ∨ (q ∨ r) . . . . . Equiv. implicación en 1.

conclusión se deduce de las hipótesis:

H1 : p → q ∨ r H2 : p → ¬q C:p→r

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 37/50

Ejemplo

(Lema 2) que la

´ Solucion

Demuestre

1. 2. 3.

p → q ∨ r . . . . . . . Hipótesis 1. ¬p ∨ (q ∨ r) . . . . . Equiv. implicación en 1. q ∨ (¬p ∨ r) . . . . .

conclusión se deduce de las hipótesis:

H1 : p → q ∨ r H2 : p → ¬q C:p→r

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 37/50

Ejemplo

(Lema 2) que la

´ Solucion

Demuestre

1. 2. 3. 4.

p → q ∨ r . . . . . . . Hipótesis 1. ¬p ∨ (q ∨ r) . . . . . Equiv. implicación en 1. q ∨ (¬p ∨ r) . . . . . Prop. asociativas y conmutativas en 2.

conclusión se deduce de las hipótesis:

H1 : p → q ∨ r H2 : p → ¬q C:p→r

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 37/50

. . . . .Ejemplo (Lema 2) que la ´ Solucion Demuestre 1. . . 2. . 4. p → q ∨ r . . . . . . . 3.p. ¬p ∨ (q ∨ r) . Equiv. q ∨ (¬p ∨ r) . Prop. . p → ¬q . implicación en 1. conclusión se deduce de las hipótesis: H1 : p → q ∨ r H2 : p → ¬q C:p→r Módulo I: Argumentos Válidos Matemáticas Discretas . . . . 37/50 . Hipótesis 1. asociativas y conmutativas en 2. . . . . .

2. Equiv. 3. implicación en 1. . . . 37/50 . .p. . . . Hipótesis 2. . . q ∨ (¬p ∨ r) . . . . Hipótesis 1. 4. . p → ¬q . . . Prop. Módulo I: Argumentos Válidos Matemáticas Discretas . . . . . ¬p ∨ (q ∨ r) . . asociativas y conmutativas en 2. .Ejemplo (Lema 2) que la ´ Solucion Demuestre 1. . . p → q ∨ r . conclusión se deduce de las hipótesis: H1 : p → q ∨ r H2 : p → ¬q C:p→r 5.

. Equiv. . . .p. 3. . Hipótesis 1. Prop. . . . Hipótesis 2. ¬p ∨ (q ∨ r) . . . q ∨ (¬p ∨ r) . . . . p → q ∨ r . 4. . . 2. . . . . Módulo I: Argumentos Válidos Matemáticas Discretas . ¬p ∨ ¬ q . p → ¬q . . . . . . . implicación en 1. . . . conclusión se deduce de las hipótesis: H1 : p → q ∨ r H2 : p → ¬q C:p→r 5. 37/50 . . . .Ejemplo (Lema 2) que la ´ Solucion Demuestre 1. asociativas y conmutativas en 2.

. . . . ¬p ∨ ¬q . 6. conclusión se deduce de las hipótesis: H1 : p → q ∨ r H2 : p → ¬q C:p→r 5. . . . . implicación en 4. . ¬p ∨ (q ∨ r) . . . Módulo I: Argumentos Válidos Matemáticas Discretas . Prop. . Hipótesis 2. . . p → ¬q . . Equiv. p → q ∨ r . 37/50 . . . Equiv. . . 3. . asociativas y conmutativas en 2. .p. implicación en 1. . . . . . q ∨ (¬p ∨ r) . 2. 4. . . . . Hipótesis 1. .Ejemplo (Lema 2) que la ´ Solucion Demuestre 1.

. . . . .Ejemplo (Lema 2) que la ´ Solucion Demuestre 1. . . Hipótesis 1. . . 2. p → q ∨ r . q ∨ (¬p ∨ r) . . ¬p ∨ ¬q . . 3. . . ¬q ∨ ¬ p . 4. . 6. . . Equiv. . . 37/50 . . . . . Prop. implicación en 1. p → ¬q . . . . . . Equiv. . asociativas y conmutativas en 2. implicación en 4. .p. . Hipótesis 2. . . . ¬p ∨ (q ∨ r) . Módulo I: Argumentos Válidos Matemáticas Discretas . . . . . . . conclusión se deduce de las hipótesis: H1 : p → q ∨ r H2 : p → ¬q C:p→r 5.

. Hipótesis 2. . 7. . . . . . . conclusión se deduce de las hipótesis: H1 : p → q ∨ r H2 : p → ¬q C:p→r 5. p → q ∨ r . . . . . Prop. . . q ∨ (¬p ∨ r) . ¬p ∨ ¬q . . ¬p ∨ (q ∨ r) . Equiv. . . 4. Prop. . 3. p → ¬q . implicación en 1. . . conmutativa en 5. . . . . 37/50 . . . . 6. . .Ejemplo (Lema 2) que la ´ Solucion Demuestre 1. . ¬q ∨ ¬p . . Módulo I: Argumentos Válidos Matemáticas Discretas .p. . 2. Hipótesis 1. . . . Equiv. implicación en 4. . asociativas y conmutativas en 2. . . .

¬p ∨ (q ∨ r) . . Prop. . . . . 3. . . conmutativa en 5. 6. implicación en 4. p → ¬q . Prop. . . . . conclusión se deduce de las hipótesis: H1 : p → q ∨ r H2 : p → ¬q C:p→r 5. implicación en 1. . . . . 37/50 . . . . . . . 7. . . . . q ∨ (¬p ∨ r) . . . . . 2. . . . . p → q ∨ r . Equiv. . ¬p ∨ ¬q . . . Equiv.p. Hipótesis 1. . . ¬q ∨ ¬p . . .Ejemplo (Lema 2) que la ´ Solucion Demuestre 1. . 4. Módulo I: Argumentos Válidos Matemáticas Discretas . Hipótesis 2. (¬p ∨ r) ∨ ¬p . asociativas y conmutativas en 2. .

. . . . . . . 7. Equiv. Prop. . . 6. Hipótesis 1. Prop. . . . . Hipótesis 2. . implicación en 4. . 3. . . . . . conmutativa en 5. . p → ¬q .Ejemplo (Lema 2) que la ´ Solucion Demuestre 1. y 6.p. ¬q ∨ ¬p . 4. . . implicación en 1. . . ¬p ∨ (q ∨ r) . . . Lema 1 con 5. conclusión se deduce de las hipótesis: H1 : p → q ∨ r H2 : p → ¬q C:p→r 5. . . Módulo I: Argumentos Válidos Matemáticas Discretas . . . . asociativas y conmutativas en 2. . . . Equiv. ¬p ∨ ¬q . (¬p ∨ r) ∨ ¬p . . . . . q ∨ (¬p ∨ r) . 8. 2. p → q ∨ r . . . 37/50 . .

. . . . . Equiv. . . . . . q ∨ (¬p ∨ r) . Prop. ¬q ∨ ¬p . . . asociativas y conmutativas en 2. Hipótesis 2. Prop. 2.p. . . (¬p ∨ ¬p) ∨ r . . . . . . 3. . y 6. 4. implicación en 1. ¬p ∨ (q ∨ r) . . . . . Módulo I: Argumentos Válidos Matemáticas Discretas .Ejemplo (Lema 2) que la ´ Solucion Demuestre 1. . . . . . . (¬p ∨ r) ∨ ¬p . p → q ∨ r . . . . . . conmutativa en 5. . ¬p ∨ ¬q . implicación en 4. Equiv. . conclusión se deduce de las hipótesis: H1 : p → q ∨ r H2 : p → ¬q C:p→r 5. 8. . . p → ¬q . Hipótesis 1. . . 6. . . . 7. . 37/50 . Lema 1 con 5.

. 3. . . . . 4. . . . ¬q ∨ ¬p . implicación en 4. conclusión se deduce de las hipótesis: H1 : p → q ∨ r H2 : p → ¬q C:p→r 5. . . . 37/50 . . . . . p → q ∨ r . . (¬p ∨ r) ∨ ¬p . (¬p ∨ ¬p) ∨ r . Módulo I: Argumentos Válidos Matemáticas Discretas . implicación en 1.Ejemplo (Lema 2) que la ´ Solucion Demuestre 1. . asociativas y conmutativas en 7. Hipótesis 2. Lema 1 con 5. . . Prop. . . .p. Prop. q ∨ (¬p ∨ r) . . y 6. . 2. . . . 7. . conmutativa en 5. asociativas y conmutativas en 2. . . . . . . . 9. . . ¬p ∨ (q ∨ r) . ¬p ∨ ¬q . Hipótesis 1. . Prop. . . p → ¬q . . . 6. Equiv. . Equiv. 8. . .

¬p ∨ (q ∨ r) .Ejemplo (Lema 2) que la ´ Solucion Demuestre 1. . asociativas y conmutativas en 2. (¬p ∨ ¬p) ∨ r . . . . q ∨ (¬p ∨ r) . . . Prop. ¬p ∨ r . . . Hipótesis 1. . Lema 1 con 5. conclusión se deduce de las hipótesis: H1 : p → q ∨ r H2 : p → ¬q C:p→r 5. . implicación en 4. . asociativas y conmutativas en 7. . . p → q ∨ r . . 9. Hipótesis 2. . . . ¬q ∨ ¬p . . . . . . . . . . . . . . ¬p ∨ ¬q .p. . . 4. 2. . . . . Módulo I: Argumentos Válidos Matemáticas Discretas . conmutativa en 5. . implicación en 1. 3. . . . . (¬p ∨ r) ∨ ¬p . . . 8. Prop. . . 37/50 . . . . Equiv. 6. . . . Equiv. . . y 6. Prop. . p → ¬q . . 7.

. . . Hipótesis 2. (¬p ∨ ¬p) ∨ r . . conmutativa en 5. . . . . . . . conclusión se deduce de las hipótesis: H1 : p → q ∨ r H2 : p → ¬q C:p→r 5. . ¬p ∨ ¬q . ¬q ∨ ¬p . Ley idempotencia en 8. . 9. 6. 4. 37/50 . . . p → ¬q . . . . .Ejemplo (Lema 2) que la ´ Solucion Demuestre 1. . . . . ¬p ∨ (q ∨ r) . . asociativas y conmutativas en 7. . . . . . Lema 1 con 5. . implicación en 4. p → q ∨ r . . Hipótesis 1. ¬p ∨ r . . implicación en 1. asociativas y conmutativas en 2. Prop. . . . . .p. . . q ∨ (¬p ∨ r) . . 10. . . 7. . . y 6. . . . . 3. . Equiv. Prop. . Prop. 2. . . (¬p ∨ r) ∨ ¬p . . Equiv. Módulo I: Argumentos Válidos Matemáticas Discretas . . 8. .

y 6. . q ∨ (¬p ∨ r) . . . .. Módulo I: Argumentos Válidos Matemáticas Discretas . . . . conmutativa en 5. . asociativas y conmutativas en 2. . . conclusión se deduce de las hipótesis: H1 : p → q ∨ r H2 : p → ¬q C:p→r 5. . ¬p ∨ (q ∨ r) . . . . ...p. p → ¬q .. 8. Prop. ¬q ∨ ¬p . 10. Equiv. . .. . implicación en 1. . p → q ∨ r . 7. . Hipótesis 1. . . . .. . . . . implicación en 4. . 3. . p → r . Prop. . . . (¬p ∨ ¬p) ∨ r . . . . . . . . . 2. Ley idempotencia en 8. Equiv.. . . . . asociativas y conmutativas en 7. 4. . . . 9. Hipótesis 2.. ¬p ∨ r . . . ¬p ∨ ¬q .Ejemplo (Lema 2) que la ´ Solucion Demuestre 1. . Lema 1 con 5. 6.. 37/50 .. . . . (¬p ∨ r) ∨ ¬p . Prop. .

Prop. . . . . implicación en 1. . ¬p ∨ r . . . (¬p ∨ r) ∨ ¬p . y 6. . . . . asociativas y conmutativas en 7. . . . 2. . . . .Ejemplo (Lema 2) que la ´ Solucion Demuestre 1. 10. ¬p ∨ (q ∨ r) . Hipótesis 1. . conmutativa en 5. . . . . Ley idempotencia en 8. . .p. 7. 37/50 . . . Prop. . implicación en 4. . 6. asociativas y conmutativas en 2. . . . p → r . . . Equiv. . Equiv. . . . . . ¬q ∨ ¬p . . . . implicación en 9. conclusión se deduce de las hipótesis: H1 : p → q ∨ r H2 : p → ¬q C:p→r 5. . . . p → ¬q . . . . . . (¬p ∨ ¬p) ∨ r . . Lema 1 con 5. p → q ∨ r . Equiv. . 8. . Hipótesis 2. . q ∨ (¬p ∨ r) . 3. . . . ¬p ∨ ¬q . . . . . 9. Prop. . . . Módulo I: Argumentos Válidos Matemáticas Discretas . 4.

Ejemplo (Lema 3) Demuestre que la conclusión se deduce de las hipótesis: H1 : p → q ∨ r H2 : q → r C: p → r Módulo I: Argumentos Válidos Matemáticas Discretas . 38/50 .p.

Ejemplo

(Lema 3)

´ Solucion

Demuestre que la conclusión se deduce de las hipótesis:

1.

p → q ∨ r .......

H1 : p → q ∨ r H2 : q → r C: p → r

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 38/50

Ejemplo

(Lema 3)

´ Solucion

Demuestre que la conclusión se deduce de las hipótesis:

1. 2.

p → q ∨ r . . . . . . . Hipótesis 1.

H1 : p → q ∨ r H2 : q → r C: p → r

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 38/50

Ejemplo

(Lema 3)

´ Solucion

Demuestre que la conclusión se deduce de las hipótesis:

1. 2.

p → q ∨ r . . . . . . . Hipótesis 1. ¬p ∨ (q ∨ r) . . . . .

H1 : p → q ∨ r H2 : q → r C: p → r

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 38/50

Ejemplo

(Lema 3)

´ Solucion

Demuestre que la conclusión se deduce de las hipótesis:

1. 2. 3.

p → q ∨ r . . . . . . . Hipótesis 1. ¬p ∨ (q ∨ r) . . . . . Equiv. implicación en 1.

H1 : p → q ∨ r H2 : q → r C: p → r

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 38/50

. Hipótesis 1. Equiv. . . . . p → q ∨ r .p. . . . . ¬p ∨ (q ∨ r) . . 38/50 . H1 : p → q ∨ r H2 : q → r C: p → r Módulo I: Argumentos Válidos Matemáticas Discretas . q ∨ (¬p ∨ r) . 3. . . . implicación en 1. . 2.Ejemplo (Lema 3) ´ Solucion Demuestre que la conclusión se deduce de las hipótesis: 1.

38/50 . . . . 4. . . Equiv. . . 3. H1 : p → q ∨ r H2 : q → r C: p → r Módulo I: Argumentos Válidos Matemáticas Discretas . Prop. . asociativas y conmutativas en 2. 2. Hipótesis 1.p. . q ∨ (¬p ∨ r) . implicación en 1. . . . p → q ∨ r . .Ejemplo (Lema 3) ´ Solucion Demuestre que la conclusión se deduce de las hipótesis: 1. ¬p ∨ (q ∨ r) . .

38/50 . . ..Ejemplo (Lema 3) ´ Solucion Demuestre que la conclusión se deduce de las hipótesis: 1. . . implicación en 1... 4.. . .. 2.p. q ∨ (¬p ∨ r) .. Prop. q → r . 3.. ¬p ∨ (q ∨ r) .. .. .. . . p → q ∨ r . . . H1 : p → q ∨ r H2 : q → r C: p → r Módulo I: Argumentos Válidos Matemáticas Discretas . Hipótesis 1. . asociativas y conmutativas en 2. Equiv. .

Ejemplo (Lema 3) ´ Solucion Demuestre que la conclusión se deduce de las hipótesis: 1. implicación en 1. . . . . . Prop. p → q ∨ r . asociativas y conmutativas en 2. q ∨ (¬p ∨ r) . . . . . 38/50 . . H1 : p → q ∨ r H2 : q → r C: p → r 5. 3. Módulo I: Argumentos Válidos Matemáticas Discretas . . . . Equiv.p. ¬p ∨ (q ∨ r) . . . Hipótesis 1. 4. . Hipótesis 2. . 2. . . q → r . . . . . .

. . . . H1 : p → q ∨ r H2 : q → r C: p → r 5. . . . . . ¬q ∨ r . . .Ejemplo (Lema 3) ´ Solucion Demuestre que la conclusión se deduce de las hipótesis: 1. . q ∨ (¬p ∨ r) . . . Hipótesis 1. . . . . q → r . . . asociativas y conmutativas en 2. . Prop. . implicación en 1. . 4. . 2. . . . 38/50 . Módulo I: Argumentos Válidos Matemáticas Discretas . . . . . . Hipótesis 2. . ¬p ∨ (q ∨ r) . . 3. Equiv. p → q ∨ r .p.

Equiv. . q ∨ (¬p ∨ r) . . . Hipótesis 1. 38/50 . 3. implicación en 1. . implicación en 4. . . . . asociativas y conmutativas en 2. Hipótesis 2.Ejemplo (Lema 3) ´ Solucion Demuestre que la conclusión se deduce de las hipótesis: 1. . . . . . ¬q ∨ r . Prop. ¬p ∨ (q ∨ r) . . . 2. . . . . H1 : p → q ∨ r H2 : q → r C: p → r 5. . . . .p. . 4. . . . . 6. . . q → r . Equiv. . . . Módulo I: Argumentos Válidos Matemáticas Discretas . . p → q ∨ r .

. . (¬p ∨ r) ∨ r . . 2. Equiv. ¬q ∨ r . . . . . asociativas y conmutativas en 2. . . . . Módulo I: Argumentos Válidos Matemáticas Discretas . . . . . . 6. Equiv. Hipótesis 2. . . . 3. . . . 4. . q ∨ (¬p ∨ r) . . . H1 : p → q ∨ r H2 : q → r C: p → r 5. . . . .p. . . ¬p ∨ (q ∨ r) . Hipótesis 1. .Ejemplo (Lema 3) ´ Solucion Demuestre que la conclusión se deduce de las hipótesis: 1. q → r . p → q ∨ r . implicación en 4. implicación en 1. 38/50 . . . Prop. . . . .

. . . . . . . 38/50 . 2. . Módulo I: Argumentos Válidos Matemáticas Discretas . . . Lema 1 con 3. Prop. . . ¬p ∨ (q ∨ r) . Equiv. q ∨ (¬p ∨ r) . . . . . . . H1 : p → q ∨ r H2 : q → r C: p → r 5. . p → q ∨ r . . . 6. 4. . (¬p ∨ r) ∨ r . . q → r . . implicación en 4. 7.Ejemplo (Lema 3) ´ Solucion Demuestre que la conclusión se deduce de las hipótesis: 1. y 5. Equiv. . . Hipótesis 1. . . . . . . asociativas y conmutativas en 2. ¬q ∨ r . . Hipótesis 2. 3. .p. . . . implicación en 1. .

. . . . H1 : p → q ∨ r H2 : q → r C: p → r 5. . . . ¬q ∨ r . (¬p ∨ r) ∨ r . . . Módulo I: Argumentos Válidos Matemáticas Discretas . . . . . implicación en 1. . y 5. ¬p ∨ (r ∨ r) . 38/50 . . 3. Prop. .p. . . . q → r . . . . . . . . 4. 6. p → q ∨ r . . Hipótesis 2. . ¬p ∨ (q ∨ r) .Ejemplo (Lema 3) ´ Solucion Demuestre que la conclusión se deduce de las hipótesis: 1. q ∨ (¬p ∨ r) . . Equiv. . implicación en 4. Lema 1 con 3. . Hipótesis 1. . 7. . . . . 2. . . . . asociativas y conmutativas en 2. . Equiv. .

.p. (¬p ∨ r) ∨ r . . . . . . . . . . . . . . . 7. Hipótesis 1. . q ∨ (¬p ∨ r) . . . 38/50 . asociativa en 6. . . 4. Equiv. Equiv. asociativas y conmutativas en 2. . . . ¬p ∨ (r ∨ r) . Módulo I: Argumentos Válidos Matemáticas Discretas . . Lema 1 con 3. . 6. .Ejemplo (Lema 3) ´ Solucion Demuestre que la conclusión se deduce de las hipótesis: 1. p → q ∨ r . implicación en 4. . Prop. . . 2. . ¬p ∨ (q ∨ r) . 8. H1 : p → q ∨ r H2 : q → r C: p → r 5. . . . Prop. y 5. q → r . . implicación en 1. . . . ¬q ∨ r . . . . 3. Hipótesis 2. . .

. . . . . asociativas y conmutativas en 2. . . . . asociativa en 6. .Ejemplo (Lema 3) ´ Solucion Demuestre que la conclusión se deduce de las hipótesis: 1. . . ¬p ∨ r . Hipótesis 2. . . (¬p ∨ r) ∨ r . . . Lema 1 con 3. Hipótesis 1. . . . . . 8. Módulo I: Argumentos Válidos Matemáticas Discretas . . Prop. . . . ¬p ∨ (q ∨ r) . ¬p ∨ (r ∨ r) . 2. q ∨ (¬p ∨ r) . . . . . . q → r . implicación en 4. 4. . 6. . . Equiv. . . . 3. . . . .p. H1 : p → q ∨ r H2 : q → r C: p → r 5. . . Prop. . 7. . . ¬q ∨ r . 38/50 . implicación en 1. . y 5. . . . p → q ∨ r . Equiv. . . .

6. . . . . . ¬p ∨ r . . . . q → r . . . . ¬q ∨ r . . . . . . implicación en 1. . Prop. . ¬p ∨ (q ∨ r) . . . Hipótesis 2. . Ley idempotencia en 7. 7. . . .Ejemplo (Lema 3) ´ Solucion Demuestre que la conclusión se deduce de las hipótesis: 1. . . Equiv.p. Lema 1 con 3. . . . . . Equiv. 3. . . ¬p ∨ (r ∨ r) . . . p → q ∨ r . . . H1 : p → q ∨ r H2 : q → r C: p → r 5. . 4. y 5. 9. . . Prop. asociativa en 6. implicación en 4. . 38/50 . . asociativas y conmutativas en 2. . . . Módulo I: Argumentos Válidos Matemáticas Discretas . . . (¬p ∨ r) ∨ r . 2. . . 8. . . . q ∨ (¬p ∨ r) . Hipótesis 1.

p → r . 9. ... . . 2. . . .. . . . . . Prop. implicación en 1.. . . ¬p ∨ (r ∨ r) . . . . . . . 6. . . Prop. p → q ∨ r . . . . . ¬p ∨ r . ¬p ∨ (q ∨ r) . . . . .Ejemplo (Lema 3) ´ Solucion Demuestre que la conclusión se deduce de las hipótesis: 1. (¬p ∨ r) ∨ r .. Equiv.. . q ∨ (¬p ∨ r) . asociativas y conmutativas en 2.. Lema 1 con 3. Hipótesis 1. Equiv. implicación en 4. 3.p. y 5. . . Módulo I: Argumentos Válidos Matemáticas Discretas . . . Ley idempotencia en 7. . 38/50 . . 8. . .. . .. . H1 : p → q ∨ r H2 : q → r C: p → r 5. . 7. . Hipótesis 2. asociativa en 6. 4. .. . q → r . . . . . . . ¬q ∨ r . .

. (¬p ∨ r) ∨ r . 9. 7. Ley idempotencia en 7. asociativas y conmutativas en 2. . . . Equiv. ¬q ∨ r . . Hipótesis 1. . . q → r . . . . H1 : p → q ∨ r H2 : q → r C: p → r 5. . 2. Prop. . . . . . ¬p ∨ r . . . . . . . . Prop. 6. . q ∨ (¬p ∨ r) . ¬p ∨ (r ∨ r) . Lema 1 con 3. . . implicación en 1. 8. 38/50 . . . . . . 3. ¬p ∨ (q ∨ r) . . Módulo I: Argumentos Válidos Matemáticas Discretas . . Equiv. asociativa en 6. . y 5. . implicación en 8. . . . . . . . . . . . Hipótesis 2. . .Ejemplo (Lema 3) ´ Solucion Demuestre que la conclusión se deduce de las hipótesis: 1. . . . . implicación en 4. 4. . p → r . . . .p. . p → q ∨ r . . Equiv. . . . .

p. 39/50 . s Cuando el argumento es invalido ´ : este caso ocurre cuando alguna regla de inferencia ha sido mal interpretada o se ha usado una proposicional como regla de inferencia cuando es una contingencia. x Cuando durante la demostración se añadieron involuntariamente hipótesis adicionales.Comentarios ¿Qué ocurre cuando después de un argumento no obtenemos algo correcto? Hay dos alternativas importantes: s Cuando el argumento es valido ´ : en éste a su vez tenemos dos alternativas importantes: x Cuando se partió de alguna hipótesis falsa. En este caso se dice que el argumento es una falacia. ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas .

´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas .p.Introducción En esta lectura veremos algunos ejemplos interesantes que se presentaron en la realización de la tarea. 40/50 .

El problema de los mentirosos y los honestos Supongamos que estás en el pueblo donde las personas son siempre mentirosas o siempre honestas. llamémosles A y B. Indique la opción que declara cómo son A y B. 41/50 . Digamos que te encuentras a dos personas.p. Sólo A habla y dice: ambos somos mentirosos. A A es honesto es pero B mentiroso B C D E A A A ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario es mentiroso pero B es honesto y B son honestos y B son mentirosos No es posible concluir Módulo I: Argumentos Válidos Matemáticas Discretas .

La metodología que seguiremos para resolver el problema será la revisión exhaustiva de los casos posibles. 42/50 . Los casos posibles son s Caso I: A es honesto y B son honesto s Caso II: A es honesto y B es mentiroso s Caso III: A es mentiroso y B es honesto s Caso IV: A es mentiroso y B es mentiroso En el desarrollo de los casos. Si x es mentiroso. Aquellos casos que conduzcan a una contradicción se descartarán. si x es honesto entoces lo que dice x se toma como cierto.p. Módulo I: Argumentos Válidos ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Matemáticas Discretas . Para cada uno de ellos elaboraremos un argumento lógico y veremos si nos lleva a una contradicción lógica. lo contrario de lo que dice x es cierto.

Así lo que dice A es ¬p ∧ ¬q . Así el razonamiento queda: ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . 43/50 .p.Caso I Tomemos p: A es honesto y q : B es honesto. Siendo A honesto lo que dice se toma como cierto.

43/50 ..... Siendo A honesto lo que dice se toma como cierto.p.. p .. Así lo que dice A es ¬p ∧ ¬q .. Así el razonamiento queda: 1... ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas .Caso I Tomemos p: A es honesto y q : B es honesto.......

. . . . . Condición del caso I ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . Así lo que dice A es ¬p ∧ ¬q . . . Siendo A honesto lo que dice se toma como cierto. . 2. . Así el razonamiento queda: 1.p.Caso I Tomemos p: A es honesto y q : B es honesto. . . . . 43/50 . . p . .

. . . .. 43/50 ..... .Caso I Tomemos p: A es honesto y q : B es honesto.. . Siendo A honesto lo que dice se toma como cierto.. 2. .. Así lo que dice A es ¬p ∧ ¬q .. . . .p... p . . Así el razonamiento queda: 1... . . Condición del caso I q ... . . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas .

p. Siendo A honesto lo que dice se toma como cierto. . . 2. . . . 43/50 . . Condición del caso I q . . . . 3. . . . . . . . . . . . . . . .Caso I Tomemos p: A es honesto y q : B es honesto. Condición del caso I ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . . Así lo que dice A es ¬p ∧ ¬q . Así el razonamiento queda: 1. . p . . . . .

´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . . . . . . . Así lo que dice A es ¬p ∧ ¬q . . . Así el razonamiento queda: 1. .p. . . . . Siendo A honesto lo que dice se toma como cierto. . 43/50 . . . 2. . . . . . . .Caso I Tomemos p: A es honesto y q : B es honesto. Condición del caso I q . . . p . 3. . . . . Condición del caso I ¬p ∧ ¬ q . . . . . . . . . .

. p . Así lo que dice A es ¬p ∧ ¬q . . . 4.Caso I Tomemos p: A es honesto y q : B es honesto. Lo que dice A ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . Siendo A honesto lo que dice se toma como cierto. . . . . . Condición del caso I ¬p ∧ ¬q .p. . . . . . . . . . . Condición del caso I q . . . . 3. . . . . Así el razonamiento queda: 1. . . . . . . . 43/50 . . . . 2. . . .

p. . 3. . . Condición del caso I q . Siendo A honesto lo que dice se toma como cierto. . . . . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . . . . . . . . p . . Así lo que dice A es ¬p ∧ ¬q . .Caso I Tomemos p: A es honesto y q : B es honesto. . . . . . . . Condición del caso I ¬p ∧ ¬q . Así el razonamiento queda: 1. . . . Lo que dice A ¬p . . . . . . . . . . . . 43/50 . . . . . . 2. . . . . . . . 4. . .

. . . 2. . . . . . . . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . Condición del caso I q . . . . . . . . . . . . . . . Así el razonamiento queda: 1. .Caso I Tomemos p: A es honesto y q : B es honesto. . . . 3. . . . Así lo que dice A es ¬p ∧ ¬q . . . . . 43/50 . . Condición del caso I ¬p ∧ ¬q . . . Siendo A honesto lo que dice se toma como cierto. . 5. . . p . . . . . .p. . . . Lo que dice A ¬p . Simplificación conjuntiva en 3. . . 4.

. . . . 3. . . . Así lo que dice A es ¬p ∧ ¬q . . . . 4. Siendo A honesto lo que dice se toma como cierto. Condición del caso I ¬p ∧ ¬q . . . . . Simplificación conjuntiva en 3. . . . . . 5. . . . . . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas .Caso I Tomemos p: A es honesto y q : B es honesto. . . . . . . Así el razonamiento queda: 1. . . . . . . . p . .p. . Condición del caso I q . . Lo que dice A ¬p . 43/50 . . . . . . 2. . . . . . . . . . p ∧ ¬p . . . . . . . .

. Condición del caso I ¬p ∧ ¬q . . Adición conjuntiva con 1. . . . 43/50 . y 4. . . . 5. . . . Siendo A honesto lo que dice se toma como cierto. . . . . . p ∧ ¬p .Caso I Tomemos p: A es honesto y q : B es honesto. . 2. . Simplificación conjuntiva en 3. . . Así el razonamiento queda: 1. . Condición del caso I q . . . 4. . . Así lo que dice A es ¬p ∧ ¬q . . . . Lo que dice A ¬p . . 3. . . . . . . . . . . . 6. . . . . . . . . . . . .p. . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . . . . p . . . . . .

p. . 6. .. p ∧ ¬p . . 3. . . . . . .. . . . .. 2. . . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . y 4. . . . Siendo A honesto lo que dice se toma como cierto. ... . . Lo que dice A ¬p .. . Simplificación conjuntiva en 3. Así lo que dice A es ¬p ∧ ¬q . . . . Condición del caso I q .. .... . . . . . .. . . . p . . . 4. . . .Caso I Tomemos p: A es honesto y q : B es honesto. Así el razonamiento queda: 1.. . . . . . . . 5. .. . . . . . . . . Condición del caso I ¬p ∧ ¬q .. . F . . .. Adición conjuntiva con 1. 43/50 . . .

. . . . . . Siendo A honesto lo que dice se toma como cierto. . . . . . 5. . . . y 4. . . . Condición del caso I q . . 2. . . . . . . . . . . . . . 3. . Ley de inversas en 5. . . Así el razonamiento queda: 1. Simplificación conjuntiva en 3. . . . p ∧ ¬p . . . . . . F . . . . . 4. Así lo que dice A es ¬p ∧ ¬q . . . . . 43/50 . . . . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas .Caso I Tomemos p: A es honesto y q : B es honesto. . . Condición del caso I ¬p ∧ ¬q . . .p. . . Lo que dice A ¬p . . . . . . . . . . . . . . . . . . 6. p . Adición conjuntiva con 1.

3. . . . . . . . . . F . . . . . . . 2. . . . . . . Siendo A honesto lo que dice se toma como cierto. . . . 43/50 . . . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Por tanto. 5. . . . . . . . . . . Así el razonamiento queda: 1. . Módulo I: Argumentos Válidos Matemáticas Discretas . . . . . . . . . . .Caso I Tomemos p: A es honesto y q : B es honesto. . . . Simplificación conjuntiva en 3.p. Ley de inversas en 5. . Adición conjuntiva con 1. . . y 4. . . . . . 4. . . . p . . . 6. Así lo que dice A es ¬p ∧ ¬q . . Lo que dice A ¬p . . . . . . p ∧ ¬p . el caso I no puede ocurrir. . . Condición del caso I q . Condición del caso I ¬p ∧ ¬q . . . . . .

Así lo que dice A es ¬p ∧ q . Siendo A honesto lo que dice se toma como cierto.p. Así el razonamiento queda: ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas .Caso II Tomemos p: A es honesto y q : B es mentiroso. 44/50 .

......p. Así el razonamiento queda: 1. ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas ... p .......Caso II Tomemos p: A es honesto y q : B es mentiroso. Así lo que dice A es ¬p ∧ q . 44/50 . Siendo A honesto lo que dice se toma como cierto..

p. .Caso II Tomemos p: A es honesto y q : B es mentiroso. . . . . . Siendo A honesto lo que dice se toma como cierto. Así el razonamiento queda: 1. . 44/50 . . . 2. . . p . Así lo que dice A es ¬p ∧ q . Condición del caso I ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . . . . .

. . . .. 2. . ..Caso II Tomemos p: A es honesto y q : B es mentiroso. p .... .. . Condición del caso I q . Así el razonamiento queda: 1... . . 44/50 . . .. ..p.... Siendo A honesto lo que dice se toma como cierto. . . Así lo que dice A es ¬p ∧ q .. ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . .

. . . . . . . . . . . . . Así el razonamiento queda: 1. . p .p. . Condición del caso I q . 2. . 44/50 . . . . . Así lo que dice A es ¬p ∧ q . . . .Caso II Tomemos p: A es honesto y q : B es mentiroso. . . . . Condición del caso I ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . 3. . . . Siendo A honesto lo que dice se toma como cierto.

. . . . . . . p . .p. . . . . . . 3. . . . . . Así lo que dice A es ¬p ∧ q . . . . . . Siendo A honesto lo que dice se toma como cierto. . . Condición del caso I ¬p ∧ q . . . 2. . 44/50 . . . . . . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . .Caso II Tomemos p: A es honesto y q : B es mentiroso. . Así el razonamiento queda: 1. Condición del caso I q . . . . .

. . 3. . . . 2. . . . . . p .p. . . Siendo A honesto lo que dice se toma como cierto. . Así lo que dice A es ¬p ∧ q . Condición del caso I ¬p ∧ q . . Condición del caso I q . Lo que dice A ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . . . . . . . . .Caso II Tomemos p: A es honesto y q : B es mentiroso. . Así el razonamiento queda: 1. . . . . . . . . . . . . . . . . 44/50 . 4. .

. . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . . . Así lo que dice A es ¬p ∧ q . . . . . . . . Siendo A honesto lo que dice se toma como cierto. . . p . . . . 4. . Condición del caso I ¬p ∧ q . . . . . Así el razonamiento queda: 1. .Caso II Tomemos p: A es honesto y q : B es mentiroso. . . . . . . . . . . . . . . . . . Condición del caso I q . . 2. . . . . . 44/50 .p. . . . . 3. . Lo que dice A ¬p . . . .

. . . Condición del caso I q . . . . Simplificación conjuntiva en 3. . . . . . . . . Así el razonamiento queda: 1.p. . . . . . . . . Condición del caso I ¬p ∧ q . . . . . 2. . . p . . .Caso II Tomemos p: A es honesto y q : B es mentiroso. . . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . Lo que dice A ¬p . . . . . . . . 4. . . . Así lo que dice A es ¬p ∧ q . . . 44/50 . . . . . Siendo A honesto lo que dice se toma como cierto. 3. 5. . . . . .

. 5. . . Lo que dice A ¬p . . . . . . .p. . . . . p . . . . . . . . Simplificación conjuntiva en 3. . . . . . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . Así el razonamiento queda: 1. . . . . .Caso II Tomemos p: A es honesto y q : B es mentiroso. . . . . . . 2. 44/50 . . . . Condición del caso I q . . . . . . . . . . . 4. . . . . . . . 3. . . p ∧ ¬p . Siendo A honesto lo que dice se toma como cierto. . . . Condición del caso I ¬p ∧ q . . . Así lo que dice A es ¬p ∧ q .

. .Caso II Tomemos p: A es honesto y q : B es mentiroso. 5. p ∧ ¬p .p. . . . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . . . y 4. Lo que dice A ¬p . p . . . . Simplificación conjuntiva en 3. . . . . . . . . 4. . 44/50 . . . . . Condición del caso I q . . 6. 3. . Adición conjuntiva con 1. . . . . . . . . . . . 2. . . . Así lo que dice A es ¬p ∧ q . . . . . Siendo A honesto lo que dice se toma como cierto. . . . Condición del caso I ¬p ∧ q . . . . . . . . . . . . . . . . Así el razonamiento queda: 1. . .

. Así lo que dice A es ¬p ∧ q . . . ... . Así el razonamiento queda: 1. . . Adición conjuntiva con 1. . . . . . 6. . . . . . .. . 2.. p . . Siendo A honesto lo que dice se toma como cierto. . .. Lo que dice A ¬p . 3. . . . . . . 44/50 . .. . . . . . F . .. .. . . .. ... . . y 4. .. . 5. . .Caso II Tomemos p: A es honesto y q : B es mentiroso. . .. Condición del caso I q . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas .. . . Simplificación conjuntiva en 3. p ∧ ¬p . . . .p. . . 4. .. . . Condición del caso I ¬p ∧ q . . . . . .

Adición conjuntiva con 1. . p ∧ ¬p . . . . . . . . . . . . . . . . . . . . 4. . F . . . 44/50 . . . . .p. Condición del caso I ¬p ∧ q . Condición del caso I q . . . . . Así lo que dice A es ¬p ∧ q . . . 3. . . . Así el razonamiento queda: 1. . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . . . Lo que dice A ¬p . 2. 6. Ley de inversas en 5. . p .Caso II Tomemos p: A es honesto y q : B es mentiroso. . . . . . . Simplificación conjuntiva en 3. . . . . . . . . . . . . . . y 4. . . . . . . . . . . . Siendo A honesto lo que dice se toma como cierto. 5. . . . . . . .

Condición del caso I ¬p ∧ q . . . . Módulo I: Argumentos Válidos Matemáticas Discretas . . . . . . . Así lo que dice A es ¬p ∧ q . . . . . . . . . 3. . . Siendo A honesto lo que dice se toma como cierto. . . . . . . . . Así el razonamiento queda: 1. y 4. . .Caso II Tomemos p: A es honesto y q : B es mentiroso. . . . . . . . . . . . p . Adición conjuntiva con 1. Condición del caso I q . . Lo que dice A ¬p . . Ley de inversas en 5. 2. . .p. . . . . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Por tanto. 4. . . el caso II no puede ocurrir. . . . . . . . 44/50 . . . Simplificación conjuntiva en 3. . . 5. . . . . . 6. . . . . p ∧ ¬p . . F . . . . . . . .

Siendo A mentiroso lo que dice se toma como falso.Caso III Tomemos p: A es mentiroso y q : B es honesto.p. lo contrario a lo que dice A se toma como verdadero. Así el razonamiento queda: ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . 45/50 . Por tanto. Así lo que dice A es p ∧ ¬q .

p... ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas ..... 45/50 . lo contrario a lo que dice A se toma como verdadero..... Siendo A mentiroso lo que dice se toma como falso.Caso III Tomemos p: A es mentiroso y q : B es honesto. Así lo que dice A es p ∧ ¬q .... Así el razonamiento queda: 1.. Por tanto.. p .

. Así lo que dice A es p ∧ ¬q . . . p . .Caso III Tomemos p: A es mentiroso y q : B es honesto. . lo contrario a lo que dice A se toma como verdadero. . . . . 2. 45/50 . Siendo A mentiroso lo que dice se toma como falso. . Así el razonamiento queda: 1. . . Por tanto.p. . Condición del caso I ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . . .

p. p .. lo contrario a lo que dice A se toma como verdadero.. ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas .. ... . ... Así lo que dice A es p ∧ ¬q . . Siendo A mentiroso lo que dice se toma como falso. .Caso III Tomemos p: A es mentiroso y q : B es honesto.. . Por tanto. . .... . Así el razonamiento queda: 1. . 45/50 . . Condición del caso I q . 2.. . ... . ..

. . . 45/50 . . lo contrario a lo que dice A se toma como verdadero. Así el razonamiento queda: 1.Caso III Tomemos p: A es mentiroso y q : B es honesto. . p . . . . 2. Condición del caso I q . . . Así lo que dice A es p ∧ ¬q . . . . . . . . Siendo A mentiroso lo que dice se toma como falso. Por tanto. . . . . . . . .p. . . 3. . Condición del caso I ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . . .

. Siendo A mentiroso lo que dice se toma como falso. . . . . .p. 45/50 . . 3. . . 2. p . . . . Condición del caso I q . . . . Así el razonamiento queda: 1. . . . . . . . . Por tanto. . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . .Caso III Tomemos p: A es mentiroso y q : B es honesto. . . . . . . Así lo que dice A es p ∧ ¬q . . . lo contrario a lo que dice A se toma como verdadero. . Condición del caso I ¬(p ∧ ¬q ) . . .

Así lo que dice A es p ∧ ¬q . . . . . . . . Por tanto. . 4. . . . .Caso III Tomemos p: A es mentiroso y q : B es honesto. p . . Así el razonamiento queda: 1. Siendo A mentiroso lo que dice se toma como falso. 45/50 . . . . .p. . . lo contrario a lo que dice A se toma como verdadero. . . . . . . . . Condición del caso I q . Condición del caso I ¬(p ∧ ¬q ) . . . . . . . 3. . . 2. . Lo contrario de lo que dice A ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas .

. . . . . . Condición del caso I q . . . Siendo A mentiroso lo que dice se toma como falso. 3. . . . . . . . . . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . . . . 2. . . lo contrario a lo que dice A se toma como verdadero. p . . . 45/50 . Así lo que dice A es p ∧ ¬q . . . . . . . . . Así el razonamiento queda: 1. . Por tanto. . . . . . . . . Lo contrario de lo que dice A ¬p ∨ q .Caso III Tomemos p: A es mentiroso y q : B es honesto. . 4.p. . Condición del caso I ¬(p ∧ ¬q ) . . . .

. . . .p. . lo contrario a lo que dice A se toma como verdadero. . . .Caso III Tomemos p: A es mentiroso y q : B es honesto. . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . . . . . . Así lo que dice A es p ∧ ¬q . . . . Lo contrario de lo que dice A ¬p ∨ q . . . . . 5. . Condición del caso I q . . . . . 2. . . Siendo A mentiroso lo que dice se toma como falso. p . . 3. . . 4. Condición del caso I ¬(p ∧ ¬q ) . . . 45/50 . . Por tanto. . . . . De Morgan y doble negación en 3. . . . . . . . . Así el razonamiento queda: 1.

. .Caso III Tomemos p: A es mentiroso y q : B es honesto.. q . . . Condición del caso I ¬(p ∧ ¬q ) . Así el razonamiento queda: 1. .. lo contrario a lo que dice A se toma como verdadero. . . .. 3. 2. .. Lo contrario de lo que dice A ¬p ∨ q .. . p . Condición del caso I q . . . . . .. .. . Así lo que dice A es p ∧ ¬q . .. . . . . Siendo A mentiroso lo que dice se toma como falso.. . . 45/50 .. . . . . . . . . De Morgan y doble negación en 3. ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . 4.. .. . .. Por tanto. . . . . . . .p. . 5. . .. ..

. . De Morgan y doble negación en 3. . Lo contrario de lo que dice A ¬p ∨ q . . Así el razonamiento queda: 1. . . . 5. . . . y 1. . . . . . 2. . Condición del caso I q . .p. . . . 45/50 . q . . Así lo que dice A es p ∧ ¬q . . . 3. . . . lo contrario a lo que dice A se toma como verdadero. . . . . . Siendo A mentiroso lo que dice se toma como falso. . . Silogismo disjuntivo con 4. . . . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . . . . . . p . . . . . . Por tanto. . Condición del caso I ¬(p ∧ ¬q ) . . 4. .Caso III Tomemos p: A es mentiroso y q : B es honesto. . . . . . . . . . . . .

. . y 1. . . . . q . . el caso III puede ocurrir. Módulo I: Argumentos Válidos Matemáticas Discretas . . . . . . . p . . . Siendo A mentiroso lo que dice se toma como falso. lo contrario a lo que dice A se toma como verdadero. 3. . . 5. . De Morgan y doble negación en 3. 2. . . . 45/50 . Por tanto. Así el razonamiento queda: 1. Condición del caso I ¬(p ∧ ¬q ) . . Silogismo disjuntivo con 4. . . . . . . . . . . . . Por tanto. . . . . . 4. . . . Lo contrario de lo que dice A ¬p ∨ q . . . . . . . . Condición del caso I q .p. . . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Así. . . . Así lo que dice A es p ∧ ¬q . . . . no hay forma de avanzar y llegar a una contradicción.Caso III Tomemos p: A es mentiroso y q : B es honesto. . . . .

Así el razonamiento queda: ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . Así lo que dice A es p ∧ q . Siendo A mentiroso lo que dice se toma como falso.p.Caso IV Tomemos p: A es mentiroso y q : B es mentiroso. 46/50 .

...p. Así lo que dice A es p ∧ q .... Así el razonamiento queda: 1... p .. 46/50 ... Siendo A mentiroso lo que dice se toma como falso.. ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas ....Caso IV Tomemos p: A es mentiroso y q : B es mentiroso.

2. . .p. Así el razonamiento queda: 1. p . 46/50 . . . . . Siendo A mentiroso lo que dice se toma como falso. . . .Caso IV Tomemos p: A es mentiroso y q : B es mentiroso. . . . . . Así lo que dice A es p ∧ q . . Condición del caso I ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas .

. . Así lo que dice A es p ∧ q ...Caso IV Tomemos p: A es mentiroso y q : B es mentiroso.. ... Siendo A mentiroso lo que dice se toma como falso.. p . . .. 46/50 . . .. . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . . . Así el razonamiento queda: 1.. . . 2.... Condición del caso I q ... . . .p..

. . Condición del caso I q . . . . . . . . . . . Así el razonamiento queda: 1. . 2. . p . . . . . Condición del caso I ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . . . . . . . 3.p. . . . Así lo que dice A es p ∧ q . .Caso IV Tomemos p: A es mentiroso y q : B es mentiroso. . Siendo A mentiroso lo que dice se toma como falso. . 46/50 .

. . . . . 46/50 . 2. p . Condición del caso I ¬(p ∧ q ) . . . . . . . Así lo que dice A es p ∧ q . . . . . . . . . . .Caso IV Tomemos p: A es mentiroso y q : B es mentiroso. . . 3.p. . . . Condición del caso I q . . . . . . . Siendo A mentiroso lo que dice se toma como falso. . . Así el razonamiento queda: 1. ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . . . . .

. . . . . 3. Así el razonamiento queda: 1. . Lo contrario de lo que dice A ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . . . . . 2. Condición del caso I q . . . . . . Siendo A mentiroso lo que dice se toma como falso. . . 46/50 . . . . Condición del caso I ¬(p ∧ q ) . . . . . .p. . . . .Caso IV Tomemos p: A es mentiroso y q : B es mentiroso. p . . . . . . . . Así lo que dice A es p ∧ q . 4. . .

.Caso IV Tomemos p: A es mentiroso y q : B es mentiroso. . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . . . . . p . . . Así lo que dice A es p ∧ q .p. . . . . . . . . . 4. . Condición del caso I ¬(p ∧ q ) . . . . Siendo A mentiroso lo que dice se toma como falso. . . . . . . . . . . Lo contrario de lo que dice A ¬p ∨ ¬ q . . 46/50 . 3. . . . . . Así el razonamiento queda: 1. . . Condición del caso I q . . . . . . . . 2.

. . . . . 2. . . . . . . 46/50 . .p. 4. . . . .Caso IV Tomemos p: A es mentiroso y q : B es mentiroso. . . . . . . . . . Así el razonamiento queda: 1. Lo contrario de lo que dice A ¬p ∨ ¬q . Así lo que dice A es p ∧ q . . . . 5. . . De Morgan en 3. . 3. Condición del caso I ¬(p ∧ q ) . . . . . p . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . . . . . Condición del caso I q . . . . . . . Siendo A mentiroso lo que dice se toma como falso. .

3. 2. .Caso IV Tomemos p: A es mentiroso y q : B es mentiroso. . . . . . . ¬q . p . . . Condición del caso I q . . . 4. .p. . . . . . . . . . Condición del caso I ¬(p ∧ q ) . . . . . . . . . . . . Así el razonamiento queda: 1. Así lo que dice A es p ∧ q . . . . Siendo A mentiroso lo que dice se toma como falso. . . De Morgan en 3. . . . . . . . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . . . . 5. . . . . . 46/50 . Lo contrario de lo que dice A ¬p ∨ ¬q . . . . . . . .

Así lo que dice A es p ∧ q . Lo contrario de lo que dice A ¬p ∨ ¬q .p. 6. . 5. . . . . . Condición del caso I ¬(p ∧ q ) . ¬q . . . . . . . . . . . 3. . . . . . . . . . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . . . . . . . . . 46/50 . . . . y 4. . Así el razonamiento queda: 1. . . . p .Caso IV Tomemos p: A es mentiroso y q : B es mentiroso. . . . . . . . . . 4. . 2. De Morgan en 3. . Condición del caso I q . . . . . . . Silogismo disjuntivo con 1. . Siendo A mentiroso lo que dice se toma como falso. .

. . . . . . ¬q . 46/50 . . . . 3. 4. . . 2. . . . . De Morgan en 3. . . Silogismo disjuntivo con 1. . . . p . . Condición del caso I ¬(p ∧ q ) . .p. . . Así lo que dice A es p ∧ q . 5. . . . . . Así el razonamiento queda: 1. . . . . . . . . . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . . . . y 4. . . . . . . q ∧ ¬q . . . . . . . . . 6. . . . . . . Siendo A mentiroso lo que dice se toma como falso. . Condición del caso I q . . Lo contrario de lo que dice A ¬p ∨ ¬q . . . . .Caso IV Tomemos p: A es mentiroso y q : B es mentiroso. . .

. . . . ¬q . . . . . . 2. . . . 46/50 . . .p. . Adición conjuntiva con 2. . . . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . . 6. . . . y 4. . y 5. . . . 4. Condición del caso I q . Condición del caso I ¬(p ∧ q ) . . . . . Siendo A mentiroso lo que dice se toma como falso. . . . . . 3. 7. p . . . . 5. De Morgan en 3. . . . . . . . . . . . Silogismo disjuntivo con 1. . . . . q ∧ ¬q . Así el razonamiento queda: 1. . . . . . . . . Así lo que dice A es p ∧ q . . . . . . . . . Lo contrario de lo que dice A ¬p ∨ ¬q .Caso IV Tomemos p: A es mentiroso y q : B es mentiroso.

. . Condición del caso I ¬(p ∧ q ) . . . . De Morgan en 3. ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . . Adición conjuntiva con 2. . . . . . ¬q . 2. . . .. .. 5. Silogismo disjuntivo con 1. Condición del caso I q . . .... . . . . . .. . . 6. . . . . . .. . . p . . . . . . . . . . . .p.. . Así el razonamiento queda: 1. . Siendo A mentiroso lo que dice se toma como falso. . . . F . y 5. . .. . . q ∧ ¬q . .. .... . . . . 7. y 4. . . .Caso IV Tomemos p: A es mentiroso y q : B es mentiroso. . 46/50 . . . 3. Así lo que dice A es p ∧ q . . . . 4.. Lo contrario de lo que dice A ¬p ∨ ¬q .. .

. . 7. . . . . . . Así lo que dice A es p ∧ q . . Adición conjuntiva con 2. p . . . . Condición del caso I q . . Así el razonamiento queda: 1. . . . Condición del caso I ¬(p ∧ q ) . . . . . . . . . . Silogismo disjuntivo con 1. .Caso IV Tomemos p: A es mentiroso y q : B es mentiroso. . . . . . . . 5. . . . . . . 4. . . . Siendo A mentiroso lo que dice se toma como falso. . . 3. ¬q . . . 46/50 . . . De Morgan en 3. . y 5. . . . . . . . y 4. . Ley de inversas en 6. . . . . . . . . Lo contrario de lo que dice A ¬p ∨ ¬q . . . . . . . . . . .p. 6. . 2. . q ∧ ¬q . . . . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . . . F . . .

6. . . Ley de inversas en 6. Así lo que dice A es p ∧ q . p . 2. . y 4. . 4. . ¬q . . . . . . . . . . . . . . . . . Condición del caso I ¬(p ∧ q ) . . . De Morgan en 3. . . . . q ∧ ¬q . . . . Lo contrario de lo que dice A ¬p ∨ ¬q . . . . y 5. el caso IV no puede ocurrir.Caso IV Tomemos p: A es mentiroso y q : B es mentiroso. . . . . . . . . 46/50 . . . . Siendo A mentiroso lo que dice se toma como falso. . Así el razonamiento queda: 1. F . . . . 7. Módulo I: Argumentos Válidos Matemáticas Discretas . . . . . . .p. . 5. . . ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Por tanto. Adición conjuntiva con 2. . . . . . . . . . . . . . Silogismo disjuntivo con 1. . . . . . . 3. Condición del caso I q . . . . . . . . .

47/50 .Por consiguiente el único caso posible es el caso III: A es mentiroso y B es honesto: A B C D E A A A A es honesto es pero B mentiroso es mentiroso pero B es honesto y B son honestos y B son mentirosos ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario No es posible concluir Módulo I: Argumentos Válidos Matemáticas Discretas .p.

s V dice: Al menos 3 de nosotros son honestos. X. V. s Y dice: Exactamente 2 de nosotros son honestos. 48/50 . ¿Quiénes son honestos y quénes son mentirosos? ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . s W dice: A lo más 3 de nosotros son honestos. Y y Z. Y hablan de la siguiente forma: s U dice: ninguno de nosotros es honesto.p. s Z dice: Exactamente 1 de nosotros es honesto.El problema del grupo Supón el mismo pueblo y supón que te encuentras un grupo de 6 nativos: U. W. s X dice: Exactamente 5 de nosotros son honestos.

La clave de este problema está en el número de honestos: ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . 49/50 .p.

Imposible. 49/50 . No hay contradicción. Imposible. Imposible.p. s 2 y estarían diciendo la verdad W y Y. Imposible. s 1 y estarían diciendo la verdad W y Z. Imposible. s 6 y sólo estaría diciendo la verdad V. Imposible. ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . s 3 y sólo U y V estarían diciendo la verdad.La clave de este problema está en el número de honestos: s 0 y estaría diciendo la verdad U. s 4 y sólo estaría diciendo la verdad V. s 5 y sólo estarían diciendo la verdad V y X.

No hay contradicción. Imposible. s 2 y estarían diciendo la verdad W y Y. Imposible. Imposible. s 1 y estarían diciendo la verdad W y Z. ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . 49/50 . s 4 y sólo estaría diciendo la verdad V. Imposible.La clave de este problema está en el número de honestos: s 0 y estaría diciendo la verdad U.p. s 5 y sólo estarían diciendo la verdad V y X. s 6 y sólo estaría diciendo la verdad V. s 3 y sólo U y V estarían diciendo la verdad. sólo hay dos honestos y son W y Y. Imposible. Por tanto. Imposible.

Temas Vistos s s s s s s Concepto de argumento Argumento válido y argumento inválido Renglón crítico Método de verificación de válidez de argumento por tablas de verdad Regla de Inferencia Método de Deducción Natural ´ Introduccion Argumento ´ Argumento Valido ´ Ejemplos Validez ´ Natural Deduccion Reglas de Inferencia Conceptos ´ Ejemplos deducion Comentarios ´ Introduccion Ejemplo 1 Ejemplo 2 Sumario Módulo I: Argumentos Válidos Matemáticas Discretas . 50/50 .p.