Matemáticas Discretas TC1003

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.

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. 2/50

Argumento ´ Definicion

Un argumento es una secuencia de afirmaciones.

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. 3/50

Argumento ´ Definicion

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

´ 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. 3/50

Argumento ´ Definicion

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

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. 3/50

Ejemplo

Lo siguiente representa a un argumento: 1. Si Juan estudia adecuadamente, entonces Juan pasa el curso de Discretas. 2. Juan está estudiando adecuadamente. 3. Juan pasará el curso de Discretas.

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. 4/50

Argumentos Válidos e Inválidos ´ Definicion

Diremos que un argumento es argumento válido si

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. 5/50

Argumentos Válidos e Inválidos ´ Definicion

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

´ 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. 5/50

Argumentos Válidos e Inválidos ´ Definicion

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, también la conclusión es verdadera.

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. 5/50

De la propia definición de argumento válido se puede deducir una metodología para verificar la validez de un argumento:

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

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

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

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

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

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.

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

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

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

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.

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

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

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

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 ó

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

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. 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

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.

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. 7/50

Ejemplo

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

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. 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

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

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. 8/50

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

F T F T

Módulo I: Argumentos Válidos

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

Matemáticas Discretas - p. 9/50

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:

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. 9/50

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.

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. 9/50

Ejemplo

Determine si el siguiente argumento es válido. 1. p → q, 2. p → r, 3. p → q ∧ r

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. 10/50

Ejemplo

Determine si el siguiente argumento es válido. 1. p → q, 2. p → r, 3. p → q ∧ r ´ Solucion

Realizando la tabla de verdad obtenemos: 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

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. 10/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 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

Módulo I: Argumentos Válidos

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

Matemáticas Discretas - 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.

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. 11/50

Ejemplo

Determine si el siguiente argumento es válido. 1. p ∧ ¬q → r, 2. p ∨ q, 3. q → p, 4. r

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. 12/50

Ejemplo

Determine si el siguiente argumento es válido. 1. p ∧ ¬q → r, 2. p ∨ q, 3. q → p, 4. r ´ Solucion

Realizando la tabla de verdad obtenemos: p

q

r

¬q

p ∧ ¬q

p ∧ ¬q → r

p∨q

q→p

F

F

F

T

F

T

F

T

F

F

T

T

F

T

F

T

F

T

F

F

F

T

T

F

T

F

F

T

T

F

T

T

F

T

T

F

F

T

T

F

T

F

T

T

T

F

T

T

T

T

F

F

F

T

T

T

T

T

T

F

F

T

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

Matemáticas Discretas - p. 12/50

De la cual los renglones críticos son: p

q

r

¬q

p ∧ ¬q

p ∧ ¬q → r

p∨q

q→p

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 F T F T F F

F F F T F T F F

T T T F T F T T

F F T T T T T T

T T F T F T 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

Matemáticas Discretas - p. 13/50

De la cual los renglones críticos son: p

q

r

¬q

p ∧ ¬q

p ∧ ¬q → r

p∨q

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. Módulo I: Argumentos Válidos

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

Matemáticas Discretas - p. 13/50

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. El método de deducción natural consiste en construir un argumento para un conjunto de premisas y una conclusión. 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. Una regla de inferencia es a su vez un argumento y su validez será probada utilizando el método recien visto.

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. 14/50

Reglas Inferencia Verifiquemos la validez de las reglas de inferencia que utilizaremos en el método de deducción natural. ■ Modus Pones ■ Modus Tollens ■ Silogismo Disjuntivo ■ Adición Disjuntiva ■ Simplificación Conjuntiva ■ Silogismo Hipotético ■ Adición Conjuntiva ■ Regla de Contradicción

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. 15/50

Ejemplo

Verifique la validez de la regla de inferencia modus ponens: 1. p → q 2. p 3. q

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. 16/50

Ejemplo

Verifique la validez de la regla de inferencia modus ponens: 1. p → q 2. p 3. q ´ Solucion

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

F T F T

Módulo I: Argumentos Válidos

T T F T

F F T T

´ 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 Matemáticas Discretas - p. 16/50

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

F T F T

Módulo I: Argumentos Válidos

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

Matemáticas Discretas - p. 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.

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. 17/50

Ejemplo

Verifique la validez de la regla de inferencia modus tollens: 1. p → q 2. ¬q 3. ¬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 - p. 18/50

Ejemplo

Verifique la validez de la regla de inferencia modus tollens: 1. p → q 2. ¬q 3. ¬p ´ Solucion

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

F T F T

Módulo I: Argumentos Válidos

T T F T

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

T T F F Matemáticas Discretas - p. 18/50

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

F T F T

Módulo I: Argumentos Válidos

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

Matemáticas Discretas - p. 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.

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. 19/50

Ejemplo

Verifique la validez de la regla de inferencia silogismo disjuntivo: 1. p ∨ q 2. ¬p 3. q

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. 20/50

Ejemplo

Verifique la validez de la regla de inferencia silogismo disjuntivo: 1. p ∨ q 2. ¬p 3. q ´ Solucion

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

F T F T

Módulo I: Argumentos Válidos

F T T T

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

F T F T Matemáticas Discretas - p. 20/50

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

F T F T

Módulo I: Argumentos Válidos

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

Matemáticas Discretas - p. 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.

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. 21/50

Ejemplo

Verifique la validez de la regla de inferencia adición disjuntiva: 1. p 2. p ∨ q

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. 22/50

Ejemplo

Verifique la validez de la regla de inferencia adición disjuntiva: 1. p 2. p ∨ q ´ Solucion

Realizando la tabla de verdad obtenemos: p

q

p∨q

F F T T

F T F T

F T 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

Matemáticas Discretas - p. 22/50

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

Módulo I: Argumentos Válidos

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

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.

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. 23/50

Ejemplo

Verifique la validez de la regla de inferencia simplificación conjuntiva: 1. p ∧ q 2. 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 - 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

q

p∧q

F F T T

F T F T

F F F 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

Matemáticas Discretas - p. 24/50

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

Módulo I: Argumentos Válidos

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

Matemáticas Discretas - p. 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.

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. 25/50

Ejemplo

Verifique la validez de la regla de inferencia silogismo hipotético: 1. p → q, 2. q → r, 3. p → r

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. 26/50

Ejemplo

Verifique la validez de la regla de inferencia silogismo hipotético: 1. p → q, 2. q → r, 3. p → r ´ Solucion

Realizando la tabla de verdad obtenemos: p

q

r

p→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

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. 26/50

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

Módulo I: Argumentos Válidos

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

Matemáticas Discretas - p. 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.

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. 27/50

Ejemplo

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

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. 28/50

Ejemplo

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

Realizando la tabla de verdad obtenemos: p q p∧q F F T T Módulo I: Argumentos Válidos

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

F F F T Matemáticas Discretas - p. 28/50

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

Módulo I: Argumentos Válidos

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

Matemáticas Discretas - p. 29/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.

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. 29/50

Ejemplo

Verifique la validez de la regla de inferencia de la regla de contradicción: 1. ¬p → F 2. 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 - 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

¬p

¬p → F

F T

F F

T F

F 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

Matemáticas Discretas - p. 30/50

De la cual los renglones críticos son: p F ¬p ¬p → F F T

F F

Módulo I: Argumentos Válidos

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

Matemáticas Discretas - p. 31/50

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.

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. 31/50

Conceptos Una demostración para una proposición es un argumento válido construido para ella. La palabra demostrar una proposición consiste en construir un argumento válido para ella. Una proposición se dice teorema, si es posible demostrarla. Una proposición se dice lema, si es un teorema y posteriormente se planea usarla como una regla de inferencia. 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. 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.

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. 32/50

Ejemplos de deducción natural Veamos ahora unos ejemplos del uso de deducción natural. En lo siguiente demostrar consiste en construir un argumento válido. Es decir, ir colocando hipótesis o creando FBFs en una lista que será el argumento. Asimismo, se deberá justificar porqué cada FBB en el argumento es verdadera. El argumento partirá del supuesto que las hipótesis son verdaderas y deberá llegar a la conclusión deseada.

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. 33/50

Ejemplo:

Demuestre que la conclusión se deduce de las hipótesis: H1 : p H2 : p → ¬q H3 : ¬q → ¬r C: ¬r

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. 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

1.

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

FBF Justificación p ...........

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 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

1. 2.

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

FBF Justificación p . . . . . . . . . . . Hipótesis 1

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 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

1. 2.

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

FBF Justificación p . . . . . . . . . . . Hipótesis 1 p → ¬q . . . . .

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 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

1. 2. 3.

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

FBF Justificación p . . . . . . . . . . . Hipótesis 1 p → ¬q . . . . . Hipótesis 2

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 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

1. 2. 3.

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

FBF Justificación p . . . . . . . . . . . Hipótesis 1 p → ¬q . . . . . Hipótesis 2 ¬q . . . . . . . . . .

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 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

1. 2. 3. 4.

FBF p ........... p → ¬q . . . . . ¬q . . . . . . . . . .

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

Justificación Hipótesis 1 Hipótesis 2 Modus ponens con 2. y 1.

Matemáticas Discretas - p. 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

1. 2. 3. 4.

FBF p ........... p → ¬q . . . . . ¬q . . . . . . . . . . ¬q → ¬r . . . .

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

Justificación Hipótesis 1 Hipótesis 2 Modus ponens con 2. y 1.

Matemáticas Discretas - p. 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

1. 2. 3. 4. 5.

FBF p ........... p → ¬q . . . . . ¬q . . . . . . . . . . ¬q → ¬r . . . .

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

Justificación Hipótesis 1 Hipótesis 2 Modus ponens con 2. y 1. Hipótesis 3.

Matemáticas Discretas - p. 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

1. 2. 3. 4. 5.

FBF p ........... p → ¬q . . . . . ¬q . . . . . . . . . . ¬q → ¬r . . . . ¬r . . . . . . . . . .

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

Justificación Hipótesis 1 Hipótesis 2 Modus ponens con 2. y 1. Hipótesis 3.

Matemáticas Discretas - p. 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

1. 2. 3. 4. 5.

FBF p ........... p → ¬q . . . . . ¬q . . . . . . . . . . ¬q → ¬r . . . . ¬r . . . . . . . . . .

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

Justificación Hipótesis 1 Hipótesis 2 Modus ponens con 2. y 1. Hipótesis 3. Modus ponens con 4. y 5. Matemáticas Discretas - p. 34/50

Ejemplo:

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

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. 35/50

Ejemplo:

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

1.

¬u . . . . . . . . . . . . . .

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. 35/50

Ejemplo:

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

1.

¬u . . . . . . . . . . . . . . Hipótesis 5

2.

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. 35/50

Ejemplo:

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

1.

¬u . . . . . . . . . . . . . . Hipótesis 5

2.

¬t ∨ u . . . . . . . . . . .

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. 35/50

Ejemplo:

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

1.

¬u . . . . . . . . . . . . . . Hipótesis 5

2.

¬t ∨ u . . . . . . . . . . . Hipótesis 4

3.

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. 35/50

Ejemplo:

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

1.

¬u . . . . . . . . . . . . . . Hipótesis 5

2.

¬t ∨ u . . . . . . . . . . . Hipótesis 4

3.

¬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

Matemáticas Discretas - p. 35/50

Ejemplo:

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

1.

¬u . . . . . . . . . . . . . . Hipótesis 5

2.

¬t ∨ u . . . . . . . . . . . Hipótesis 4

3.

¬t . . . . . . . . . . . . . . . Silogismo disjuntivo con 2. y 1.

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

4.

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 35/50

Ejemplo:

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

1.

¬u . . . . . . . . . . . . . . Hipótesis 5

2.

¬t ∨ u . . . . . . . . . . . Hipótesis 4

3.

¬t . . . . . . . . . . . . . . . Silogismo disjuntivo con 2. y 1.

4.

t ∨ ¬s . . . . . . . . . . .

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. 35/50

Ejemplo:

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

1.

¬u . . . . . . . . . . . . . . Hipótesis 5

2.

¬t ∨ u . . . . . . . . . . . Hipótesis 4

3.

¬t . . . . . . . . . . . . . . . Silogismo disjuntivo con 2. y 1.

4.

t ∨ ¬s . . . . . . . . . . . Hipótesis 3.

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

5.

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 35/50

Ejemplo:

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

1.

¬u . . . . . . . . . . . . . . Hipótesis 5

2.

¬t ∨ u . . . . . . . . . . . Hipótesis 4

3.

¬t . . . . . . . . . . . . . . . Silogismo disjuntivo con 2. y 1.

4.

t ∨ ¬s . . . . . . . . . . . Hipótesis 3.

5.

¬s . . . . . . . . . . . . . .

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. 35/50

Ejemplo:

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

1.

¬u . . . . . . . . . . . . . . Hipótesis 5

2.

¬t ∨ u . . . . . . . . . . . Hipótesis 4

3.

¬t . . . . . . . . . . . . . . . Silogismo disjuntivo con 2. y 1.

4.

t ∨ ¬s . . . . . . . . . . . Hipótesis 3.

5.

¬s . . . . . . . . . . . . . . Silogismo disjuntivo con 4. y 3.

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

6.

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 35/50

Ejemplo:

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

1.

¬u . . . . . . . . . . . . . . Hipótesis 5

2.

¬t ∨ u . . . . . . . . . . . Hipótesis 4

3.

¬t . . . . . . . . . . . . . . . Silogismo disjuntivo con 2. y 1.

4.

t ∨ ¬s . . . . . . . . . . . Hipótesis 3.

5.

¬s . . . . . . . . . . . . . . Silogismo disjuntivo con 4. y 3.

6.

r → s ...........

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. 35/50

Ejemplo:

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

1.

¬u . . . . . . . . . . . . . . Hipótesis 5

2.

¬t ∨ u . . . . . . . . . . . Hipótesis 4

3.

¬t . . . . . . . . . . . . . . . Silogismo disjuntivo con 2. y 1.

4.

t ∨ ¬s . . . . . . . . . . . Hipótesis 3.

5.

¬s . . . . . . . . . . . . . . Silogismo disjuntivo con 4. y 3.

6.

r → s . . . . . . . . . . . Hipótesis 2.

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

7.

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 35/50

Ejemplo:

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

1.

¬u . . . . . . . . . . . . . . Hipótesis 5

2.

¬t ∨ u . . . . . . . . . . . Hipótesis 4

3.

¬t . . . . . . . . . . . . . . . Silogismo disjuntivo con 2. y 1.

4.

t ∨ ¬s . . . . . . . . . . . Hipótesis 3.

5.

¬s . . . . . . . . . . . . . . Silogismo disjuntivo con 4. y 3.

6.

r → s . . . . . . . . . . . Hipótesis 2.

7.

¬r . . . . . . . . . . . . . .

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. 35/50

Ejemplo:

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

1.

¬u . . . . . . . . . . . . . . Hipótesis 5

2.

¬t ∨ u . . . . . . . . . . . Hipótesis 4

3.

¬t . . . . . . . . . . . . . . . Silogismo disjuntivo con 2. y 1.

4.

t ∨ ¬s . . . . . . . . . . . Hipótesis 3.

5.

¬s . . . . . . . . . . . . . . Silogismo disjuntivo con 4. y 3.

6.

r → s . . . . . . . . . . . Hipótesis 2.

7.

¬r . . . . . . . . . . . . . . Modus tollens con 6. y 5.

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

8.

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 35/50

Ejemplo:

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

1.

¬u . . . . . . . . . . . . . . Hipótesis 5

2.

¬t ∨ u . . . . . . . . . . . Hipótesis 4

3.

¬t . . . . . . . . . . . . . . . Silogismo disjuntivo con 2. y 1.

4.

t ∨ ¬s . . . . . . . . . . . Hipótesis 3.

5.

¬s . . . . . . . . . . . . . . Silogismo disjuntivo con 4. y 3.

6.

r → s . . . . . . . . . . . Hipótesis 2.

7.

¬r . . . . . . . . . . . . . . Modus tollens con 6. y 5.

8.

p → r ...........

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. 35/50

Ejemplo:

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

1.

¬u . . . . . . . . . . . . . . Hipótesis 5

2.

¬t ∨ u . . . . . . . . . . . Hipótesis 4

3.

¬t . . . . . . . . . . . . . . . Silogismo disjuntivo con 2. y 1.

4.

t ∨ ¬s . . . . . . . . . . . Hipótesis 3.

5.

¬s . . . . . . . . . . . . . . Silogismo disjuntivo con 4. y 3.

6.

r → s . . . . . . . . . . . Hipótesis 2.

7.

¬r . . . . . . . . . . . . . . Modus tollens con 6. y 5.

8.

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

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

9.

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 35/50

Ejemplo:

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

1.

¬u . . . . . . . . . . . . . . Hipótesis 5

2.

¬t ∨ u . . . . . . . . . . . Hipótesis 4

3.

¬t . . . . . . . . . . . . . . . Silogismo disjuntivo con 2. y 1.

4.

t ∨ ¬s . . . . . . . . . . . Hipótesis 3.

5.

¬s . . . . . . . . . . . . . . Silogismo disjuntivo con 4. y 3.

6.

r → s . . . . . . . . . . . Hipótesis 2.

7.

¬r . . . . . . . . . . . . . . Modus tollens con 6. y 5.

8.

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

9.

¬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 - p. 35/50

Ejemplo:

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

1.

¬u . . . . . . . . . . . . . . Hipótesis 5

2.

¬t ∨ u . . . . . . . . . . . Hipótesis 4

3.

¬t . . . . . . . . . . . . . . . Silogismo disjuntivo con 2. y 1.

4.

t ∨ ¬s . . . . . . . . . . . Hipótesis 3.

5.

¬s . . . . . . . . . . . . . . Silogismo disjuntivo con 4. y 3.

6.

r → s . . . . . . . . . . . Hipótesis 2.

7.

¬r . . . . . . . . . . . . . . Modus tollens con 6. y 5.

8.

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

9.

¬p . . . . . . . . . . . . . . Modus tollens con 8. y 7.

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. 35/50

(Lema 1):Demuestre que la conclusión se deduce de las hipótesis: H1 : p ∨ q H2 : ¬p ∨ r C: q ∨ r Ejemplo

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. 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.

p ∨ q ......

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. 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. 2.

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

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. 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. 2.

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

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. 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. 2. 3.

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

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. 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. 2. 3.

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

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. 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. 2. 3. 4.

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

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. 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. 2. 3. 4.

p ∨ q . . . . . . Hipótesis 1. ¬p → q . . . . Equiv. implicación en 1. ¬p ∨ r . . . . . Hipótesis 2. r ∨ ¬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 - 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. 2. 3. 4. 5.

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

Hipótesis 1. Equiv. implicación en 1. Hipótesis 2. Conmutatividad en 3.

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. 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. 2. 3. 4. 5.

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

Hipótesis 1. Equiv. implicación en 1. Hipótesis 2. Conmutatividad en 3.

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. 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. 2. 3. 4. 5. 6.

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

Hipótesis 1. Equiv. implicación en 1. Hipótesis 2. Conmutatividad en 3. Equiv. implicación en 4.

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. 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. 2. 3. 4. 5. 6.

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

Hipótesis 1. Equiv. implicación en 1. Hipótesis 2. Conmutatividad en 3. Equiv. implicación en 4.

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. 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. 2. 3. 4. 5. 6. 7.

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

Hipótesis 1. Equiv. implicación en 1. Hipótesis 2. Conmutatividad en 3. Equiv. implicación en 4. Silog. hipotético con 5. y 2..

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. 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. 2. 3. 4. 5. 6. 7.

p ∨ q ...... ¬p → q . . . . ¬p ∨ r . . . . . r ∨ ¬p . . . . . ¬r → ¬p . . ¬r → q . . . . ¬(¬r) ∨ q . .

Hipótesis 1. Equiv. implicación en 1. Hipótesis 2. Conmutatividad en 3. Equiv. implicación en 4. Silog. hipotético con 5. y 2..

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. 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. 2. 3. 4. 5. 6. 7. 8.

p ∨ q ...... ¬p → q . . . . ¬p ∨ r . . . . . r ∨ ¬p . . . . . ¬r → ¬p . . ¬r → q . . . . ¬(¬r) ∨ q . .

Hipótesis 1. Equiv. implicación en 1. Hipótesis 2. Conmutatividad en 3. Equiv. implicación en 4. Silog. hipotético con 5. y 2.. Equiv. implicación en 6.

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. 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. 2. 3. 4. 5. 6. 7. 8.

p ∨ q ...... ¬p → q . . . . ¬p ∨ r . . . . . r ∨ ¬p . . . . . ¬r → ¬p . . ¬r → q . . . . ¬(¬r) ∨ q . . q ∨ r .......

Hipótesis 1. Equiv. implicación en 1. Hipótesis 2. Conmutatividad en 3. Equiv. implicación en 4. Silog. hipotético con 5. y 2.. Equiv. implicación en 6.

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. 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. 2. 3. 4. 5. 6. 7. 8.

p ∨ q ...... ¬p → q . . . . ¬p ∨ r . . . . . r ∨ ¬p . . . . . ¬r → ¬p . . ¬r → q . . . . ¬(¬r) ∨ q . . q ∨ r .......

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

Hipótesis 1. Equiv. implicación en 1. Hipótesis 2. Conmutatividad en 3. Equiv. implicación en 4. Silog. hipotético con 5. y 2.. Equiv. implicación en 6. Doble negación y conmutatividad en 7.

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 36/50

Ejemplo

(Lema 2)

Demuestre

que

la

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)

Demuestre

que

´ Solucion

la

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)

Demuestre

que

´ Solucion

la

1.

conclusión se deduce

2.

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

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)

Demuestre

que

´ Solucion

la

1.

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

conclusión se deduce

2.

¬p ∨ (q ∨ r) . . . . .

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)

Demuestre

que

´ Solucion

la

1.

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

conclusión se deduce

2.

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

de las hipótesis:

3.

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)

Demuestre

que

´ Solucion

la

1.

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

conclusión se deduce

2.

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

de las hipótesis:

3.

q ∨ (¬p ∨ r) . . . . .

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)

Demuestre

que

´ Solucion

la

1.

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

conclusión se deduce

2.

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

de las hipótesis:

3.

q ∨ (¬p ∨ r) . . . . . Prop. asociativas y conmutativas en 2.

4.

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)

Demuestre

que

´ Solucion

la

1.

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

conclusión se deduce

2.

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

de las hipótesis:

3.

q ∨ (¬p ∨ r) . . . . . Prop. asociativas y conmutativas en 2.

4.

p → ¬q . . . . . . . . . .

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)

Demuestre

que

´ Solucion

la

1.

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

conclusión se deduce

2.

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

de las hipótesis:

3.

q ∨ (¬p ∨ r) . . . . . Prop. asociativas y conmutativas en 2.

4.

p → ¬q . . . . . . . . . . Hipótesis 2.

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

Módulo I: Argumentos Válidos

5.

Matemáticas Discretas - p. 37/50

Ejemplo

(Lema 2)

Demuestre

que

´ Solucion

la

1.

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

conclusión se deduce

2.

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

de las hipótesis:

3.

q ∨ (¬p ∨ r) . . . . . Prop. asociativas y conmutativas en 2.

4.

p → ¬q . . . . . . . . . . Hipótesis 2.

5.

¬p ∨ ¬q . . . . . . . . .

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)

Demuestre

que

´ Solucion

la

1.

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

conclusión se deduce

2.

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

de las hipótesis:

3.

q ∨ (¬p ∨ r) . . . . . Prop. asociativas y conmutativas en 2.

4.

p → ¬q . . . . . . . . . . Hipótesis 2.

5.

¬p ∨ ¬q . . . . . . . . . Equiv. implicación en 4.

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

Módulo I: Argumentos Válidos

6.

Matemáticas Discretas - p. 37/50

Ejemplo

(Lema 2)

Demuestre

que

´ Solucion

la

1.

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

conclusión se deduce

2.

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

de las hipótesis:

3.

q ∨ (¬p ∨ r) . . . . . Prop. asociativas y conmutativas en 2.

4.

p → ¬q . . . . . . . . . . Hipótesis 2.

5.

¬p ∨ ¬q . . . . . . . . . Equiv. implicación en 4.

6.

¬q ∨ ¬p . . . . . . . . .

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)

Demuestre

que

´ Solucion

la

1.

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

conclusión se deduce

2.

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

de las hipótesis:

3.

q ∨ (¬p ∨ r) . . . . . Prop. asociativas y conmutativas en 2.

4.

p → ¬q . . . . . . . . . . Hipótesis 2.

5.

¬p ∨ ¬q . . . . . . . . . Equiv. implicación en 4.

6.

¬q ∨ ¬p . . . . . . . . . Prop. conmutativa en 5.

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

Módulo I: Argumentos Válidos

7.

Matemáticas Discretas - p. 37/50

Ejemplo

(Lema 2)

Demuestre

que

´ Solucion

la

1.

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

conclusión se deduce

2.

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

de las hipótesis:

3.

q ∨ (¬p ∨ r) . . . . . Prop. asociativas y conmutativas en 2.

4.

p → ¬q . . . . . . . . . . Hipótesis 2.

5.

¬p ∨ ¬q . . . . . . . . . Equiv. implicación en 4.

6.

¬q ∨ ¬p . . . . . . . . . Prop. conmutativa en 5.

7.

(¬p ∨ r) ∨ ¬p . . . .

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)

Demuestre

que

´ Solucion

la

1.

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

conclusión se deduce

2.

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

de las hipótesis:

3.

q ∨ (¬p ∨ r) . . . . . Prop. asociativas y conmutativas en 2.

4.

p → ¬q . . . . . . . . . . Hipótesis 2.

5.

¬p ∨ ¬q . . . . . . . . . Equiv. implicación en 4.

6.

¬q ∨ ¬p . . . . . . . . . Prop. conmutativa en 5.

7.

(¬p ∨ r) ∨ ¬p . . . . Lema 1 con 5. y 6.

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

8.

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 37/50

Ejemplo

(Lema 2)

Demuestre

que

´ Solucion

la

1.

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

conclusión se deduce

2.

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

de las hipótesis:

3.

q ∨ (¬p ∨ r) . . . . . Prop. asociativas y conmutativas en 2.

4.

p → ¬q . . . . . . . . . . Hipótesis 2.

5.

¬p ∨ ¬q . . . . . . . . . Equiv. implicación en 4.

6.

¬q ∨ ¬p . . . . . . . . . Prop. conmutativa en 5.

7.

(¬p ∨ r) ∨ ¬p . . . . Lema 1 con 5. y 6.

8.

(¬p ∨ ¬p) ∨ r . . . .

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)

Demuestre

que

´ Solucion

la

1.

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

conclusión se deduce

2.

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

de las hipótesis:

3.

q ∨ (¬p ∨ r) . . . . . Prop. asociativas y conmutativas en 2.

4.

p → ¬q . . . . . . . . . . Hipótesis 2.

5.

¬p ∨ ¬q . . . . . . . . . Equiv. implicación en 4.

6.

¬q ∨ ¬p . . . . . . . . . Prop. conmutativa en 5.

7.

(¬p ∨ r) ∨ ¬p . . . . Lema 1 con 5. y 6.

8.

(¬p ∨ ¬p) ∨ r . . . . Prop. asociativas y conmutativas en 7.

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

9.

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 37/50

Ejemplo

(Lema 2)

Demuestre

que

´ Solucion

la

1.

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

conclusión se deduce

2.

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

de las hipótesis:

3.

q ∨ (¬p ∨ r) . . . . . Prop. asociativas y conmutativas en 2.

4.

p → ¬q . . . . . . . . . . Hipótesis 2.

5.

¬p ∨ ¬q . . . . . . . . . Equiv. implicación en 4.

6.

¬q ∨ ¬p . . . . . . . . . Prop. conmutativa en 5.

7.

(¬p ∨ r) ∨ ¬p . . . . Lema 1 con 5. y 6.

8.

(¬p ∨ ¬p) ∨ r . . . . Prop. asociativas y conmutativas en 7.

9.

¬p ∨ r . . . . . . . . . . .

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)

Demuestre

que

´ Solucion

la

1.

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

conclusión se deduce

2.

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

de las hipótesis:

3.

q ∨ (¬p ∨ r) . . . . . Prop. asociativas y conmutativas en 2.

4.

p → ¬q . . . . . . . . . . Hipótesis 2.

5.

¬p ∨ ¬q . . . . . . . . . Equiv. implicación en 4.

6.

¬q ∨ ¬p . . . . . . . . . Prop. conmutativa en 5.

7.

(¬p ∨ r) ∨ ¬p . . . . Lema 1 con 5. y 6.

8.

(¬p ∨ ¬p) ∨ r . . . . Prop. asociativas y conmutativas en 7.

9.

¬p ∨ r . . . . . . . . . . . Ley idempotencia en 8.

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

10.

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 37/50

Ejemplo

(Lema 2)

Demuestre

que

´ Solucion

la

1.

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

conclusión se deduce

2.

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

de las hipótesis:

3.

q ∨ (¬p ∨ r) . . . . . Prop. asociativas y conmutativas en 2.

4.

p → ¬q . . . . . . . . . . Hipótesis 2.

5.

¬p ∨ ¬q . . . . . . . . . Equiv. implicación en 4.

6.

¬q ∨ ¬p . . . . . . . . . Prop. conmutativa en 5.

7.

(¬p ∨ r) ∨ ¬p . . . . Lema 1 con 5. y 6.

8.

(¬p ∨ ¬p) ∨ r . . . . Prop. asociativas y conmutativas en 7.

9.

¬p ∨ r . . . . . . . . . . . Ley idempotencia en 8.

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

10.

Módulo I: Argumentos Válidos

p → r ...........

Matemáticas Discretas - p. 37/50

Ejemplo

(Lema 2)

Demuestre

que

´ Solucion

la

1.

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

conclusión se deduce

2.

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

de las hipótesis:

3.

q ∨ (¬p ∨ r) . . . . . Prop. asociativas y conmutativas en 2.

4.

p → ¬q . . . . . . . . . . Hipótesis 2.

5.

¬p ∨ ¬q . . . . . . . . . Equiv. implicación en 4.

6.

¬q ∨ ¬p . . . . . . . . . Prop. conmutativa en 5.

7.

(¬p ∨ r) ∨ ¬p . . . . Lema 1 con 5. y 6.

8.

(¬p ∨ ¬p) ∨ r . . . . Prop. asociativas y conmutativas en 7.

9.

¬p ∨ r . . . . . . . . . . . Ley idempotencia en 8.

10.

p → r . . . . . . . . . . . Equiv. implicación en 9.

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

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 37/50

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 - p. 38/50

Ejemplo

(Lema 3)

Demuestre que la

´ Solucion

1.

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

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 - p. 38/50

Ejemplo

(Lema 3)

´ Solucion

Demuestre que la

1.

conclusión se deduce

2.

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

de las hipótesis:

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

1.

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

conclusión se deduce

2.

¬p ∨ (q ∨ r) . . . . .

de las hipótesis:

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

1.

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

conclusión se deduce

2.

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

de las hipótesis:

3.

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

1.

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

conclusión se deduce

2.

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

de las hipótesis:

3.

q ∨ (¬p ∨ 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

1.

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

conclusión se deduce

2.

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

de las hipótesis:

3.

q ∨ (¬p ∨ r) . . . . . Prop. asociativas y conmutativas en 2.

4.

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

1.

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

conclusión se deduce

2.

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

de las hipótesis:

3.

q ∨ (¬p ∨ r) . . . . . Prop. asociativas y conmutativas en 2.

4.

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

1.

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

conclusión se deduce

2.

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

de las hipótesis:

3.

q ∨ (¬p ∨ r) . . . . . Prop. asociativas y conmutativas en 2.

4.

q → r . . . . . . . . . . . Hipótesis 2.

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

5.

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 38/50

Ejemplo

(Lema 3)

´ Solucion

Demuestre que la

1.

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

conclusión se deduce

2.

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

de las hipótesis:

3.

q ∨ (¬p ∨ r) . . . . . Prop. asociativas y conmutativas en 2.

4.

q → r . . . . . . . . . . . Hipótesis 2.

5.

¬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

1.

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

conclusión se deduce

2.

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

de las hipótesis:

3.

q ∨ (¬p ∨ r) . . . . . Prop. asociativas y conmutativas en 2.

4.

q → r . . . . . . . . . . . Hipótesis 2.

5.

¬q ∨ r . . . . . . . . . . . Equiv. implicación en 4.

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

6.

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 38/50

Ejemplo

(Lema 3)

´ Solucion

Demuestre que la

1.

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

conclusión se deduce

2.

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

de las hipótesis:

3.

q ∨ (¬p ∨ r) . . . . . Prop. asociativas y conmutativas en 2.

4.

q → r . . . . . . . . . . . Hipótesis 2.

5.

¬q ∨ r . . . . . . . . . . . Equiv. implicación en 4.

6.

(¬p ∨ r) ∨ 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

1.

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

conclusión se deduce

2.

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

de las hipótesis:

3.

q ∨ (¬p ∨ r) . . . . . Prop. asociativas y conmutativas en 2.

4.

q → r . . . . . . . . . . . Hipótesis 2.

5.

¬q ∨ r . . . . . . . . . . . Equiv. implicación en 4.

6.

(¬p ∨ r) ∨ r . . . . . Lema 1 con 3. y 5.

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

7.

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 38/50

Ejemplo

(Lema 3)

´ Solucion

Demuestre que la

1.

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

conclusión se deduce

2.

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

de las hipótesis:

3.

q ∨ (¬p ∨ r) . . . . . Prop. asociativas y conmutativas en 2.

4.

q → r . . . . . . . . . . . Hipótesis 2.

5.

¬q ∨ r . . . . . . . . . . . Equiv. implicación en 4.

6.

(¬p ∨ r) ∨ r . . . . . Lema 1 con 3. y 5.

7.

¬p ∨ (r ∨ 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

1.

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

conclusión se deduce

2.

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

de las hipótesis:

3.

q ∨ (¬p ∨ r) . . . . . Prop. asociativas y conmutativas en 2.

4.

q → r . . . . . . . . . . . Hipótesis 2.

5.

¬q ∨ r . . . . . . . . . . . Equiv. implicación en 4.

6.

(¬p ∨ r) ∨ r . . . . . Lema 1 con 3. y 5.

7.

¬p ∨ (r ∨ r) . . . . . Prop. asociativa en 6.

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

8.

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 38/50

Ejemplo

(Lema 3)

´ Solucion

Demuestre que la

1.

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

conclusión se deduce

2.

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

de las hipótesis:

3.

q ∨ (¬p ∨ r) . . . . . Prop. asociativas y conmutativas en 2.

4.

q → r . . . . . . . . . . . Hipótesis 2.

5.

¬q ∨ r . . . . . . . . . . . Equiv. implicación en 4.

6.

(¬p ∨ r) ∨ r . . . . . Lema 1 con 3. y 5.

7.

¬p ∨ (r ∨ r) . . . . . Prop. asociativa en 6.

8.

¬p ∨ 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

1.

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

conclusión se deduce

2.

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

de las hipótesis:

3.

q ∨ (¬p ∨ r) . . . . . Prop. asociativas y conmutativas en 2.

4.

q → r . . . . . . . . . . . Hipótesis 2.

5.

¬q ∨ r . . . . . . . . . . . Equiv. implicación en 4.

6.

(¬p ∨ r) ∨ r . . . . . Lema 1 con 3. y 5.

7.

¬p ∨ (r ∨ r) . . . . . Prop. asociativa en 6.

8.

¬p ∨ r . . . . . . . . . . . Ley idempotencia en 7.

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

9.

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 38/50

Ejemplo

(Lema 3)

´ Solucion

Demuestre que la

1.

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

conclusión se deduce

2.

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

de las hipótesis:

3.

q ∨ (¬p ∨ r) . . . . . Prop. asociativas y conmutativas en 2.

4.

q → r . . . . . . . . . . . Hipótesis 2.

5.

¬q ∨ r . . . . . . . . . . . Equiv. implicación en 4.

6.

(¬p ∨ r) ∨ r . . . . . Lema 1 con 3. y 5.

7.

¬p ∨ (r ∨ r) . . . . . Prop. asociativa en 6.

8.

¬p ∨ r . . . . . . . . . . . Ley idempotencia en 7.

9.

p → 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

1.

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

conclusión se deduce

2.

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

de las hipótesis:

3.

q ∨ (¬p ∨ r) . . . . . Prop. asociativas y conmutativas en 2.

4.

q → r . . . . . . . . . . . Hipótesis 2.

5.

¬q ∨ r . . . . . . . . . . . Equiv. implicación en 4.

6.

(¬p ∨ r) ∨ r . . . . . Lema 1 con 3. y 5.

7.

¬p ∨ (r ∨ r) . . . . . Prop. asociativa en 6.

8.

¬p ∨ r . . . . . . . . . . . Ley idempotencia en 7.

9.

p → r . . . . . . . . . . . Equiv. implicación en 8.

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

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 38/50

Comentarios ¿Qué ocurre cuando después de un argumento no obtenemos algo correcto? Hay dos alternativas importantes: ■ Cuando el argumento es valido ´ : en éste a su vez tenemos dos alternativas importantes: ◆ Cuando se partió de alguna hipótesis falsa. ◆ Cuando durante la demostración se añadieron involuntariamente hipótesis adicionales. ■ 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. En este caso se dice que el argumento es una falacia.

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. 39/50

Introducción En esta lectura veremos algunos ejemplos interesantes que se presentaron en la realización de la tarea.

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. 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. Digamos que te encuentras a dos personas; llamémosles A y B. Sólo A habla y dice: ambos somos mentirosos. Indique la opción que declara cómo son A y B. A A es honesto es pero B mentiroso B

A

es mentiroso pero B es honesto

C

A

y B son honestos

D

A

y B son mentirosos

E

No es posible concluir

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. 41/50

La metodología que seguiremos para resolver el problema será la revisión exhaustiva de los casos posibles. Para cada uno de ellos elaboraremos un argumento lógico y veremos si nos lleva a una contradicción lógica. Aquellos casos que conduzcan a una contradicción se descartarán. Los casos posibles son ■ Caso I: A es honesto y B son honesto ■ Caso II: A es honesto y B es mentiroso ■ Caso III: A es mentiroso y B es honesto ■ Caso IV: A es mentiroso y B es mentiroso En el desarrollo de los casos, si x es honesto entoces lo que dice x se toma como cierto. Si x es mentiroso, lo contrario de lo que dice x es cierto. 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. 42/50

Caso I

Tomemos p: A es honesto y q: B es honesto. Así lo que dice A es ¬p ∧ ¬q. Siendo A honesto lo que dice se toma como cierto. Así el razonamiento queda:

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. 43/50

Caso I

Tomemos p: A es honesto y q: B es honesto. Así lo que dice A es ¬p ∧ ¬q. Siendo A honesto lo que dice se toma como cierto. Así el razonamiento queda: 1.

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 - p. 43/50

Caso I

Tomemos p: A es honesto y q: B es honesto. Así lo que dice A es ¬p ∧ ¬q. Siendo A honesto lo que dice se toma como cierto. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

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. 43/50

Caso I

Tomemos p: A es honesto y q: B es honesto. Así lo que dice A es ¬p ∧ ¬q. Siendo A honesto lo que dice se toma como cierto. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

q ................

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. 43/50

Caso I

Tomemos p: A es honesto y q: B es honesto. Así lo que dice A es ¬p ∧ ¬q. Siendo A honesto lo que dice se toma como cierto. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

q . . . . . . . . . . . . . . . . Condición del caso I

3.

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. 43/50

Caso I

Tomemos p: A es honesto y q: B es honesto. Así lo que dice A es ¬p ∧ ¬q. Siendo A honesto lo que dice se toma como cierto. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

q . . . . . . . . . . . . . . . . Condición del caso I

3.

¬p ∧ ¬q . . . . . . . . .

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. 43/50

Caso I

Tomemos p: A es honesto y q: B es honesto. Así lo que dice A es ¬p ∧ ¬q. Siendo A honesto lo que dice se toma como cierto. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

q . . . . . . . . . . . . . . . . Condición del caso I

3.

¬p ∧ ¬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

4.

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 43/50

Caso I

Tomemos p: A es honesto y q: B es honesto. Así lo que dice A es ¬p ∧ ¬q. Siendo A honesto lo que dice se toma como cierto. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

q . . . . . . . . . . . . . . . . Condición del caso I

3.

¬p ∧ ¬q . . . . . . . . . Lo que dice A

4.

¬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 - p. 43/50

Caso I

Tomemos p: A es honesto y q: B es honesto. Así lo que dice A es ¬p ∧ ¬q. Siendo A honesto lo que dice se toma como cierto. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

q . . . . . . . . . . . . . . . . Condición del caso I

3.

¬p ∧ ¬q . . . . . . . . . Lo que dice A

4.

¬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

5.

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 43/50

Caso I

Tomemos p: A es honesto y q: B es honesto. Así lo que dice A es ¬p ∧ ¬q. Siendo A honesto lo que dice se toma como cierto. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

q . . . . . . . . . . . . . . . . Condición del caso I

3.

¬p ∧ ¬q . . . . . . . . . Lo que dice A

4.

¬p . . . . . . . . . . . . . . Simplificación conjuntiva en 3.

5.

p ∧ ¬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 - p. 43/50

Caso I

Tomemos p: A es honesto y q: B es honesto. Así lo que dice A es ¬p ∧ ¬q. Siendo A honesto lo que dice se toma como cierto. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

q . . . . . . . . . . . . . . . . Condición del caso I

3.

¬p ∧ ¬q . . . . . . . . . Lo que dice A

4.

¬p . . . . . . . . . . . . . . Simplificación conjuntiva en 3.

5.

p ∧ ¬p . . . . . . . . . . . Adición conjuntiva con 1. y 4.

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

6.

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 43/50

Caso I

Tomemos p: A es honesto y q: B es honesto. Así lo que dice A es ¬p ∧ ¬q. Siendo A honesto lo que dice se toma como cierto. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

q . . . . . . . . . . . . . . . . Condición del caso I

3.

¬p ∧ ¬q . . . . . . . . . Lo que dice A

4.

¬p . . . . . . . . . . . . . . Simplificación conjuntiva en 3.

5.

p ∧ ¬p . . . . . . . . . . . Adición conjuntiva con 1. y 4.

6.

F ................

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. 43/50

Caso I

Tomemos p: A es honesto y q: B es honesto. Así lo que dice A es ¬p ∧ ¬q. Siendo A honesto lo que dice se toma como cierto. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

q . . . . . . . . . . . . . . . . Condición del caso I

3.

¬p ∧ ¬q . . . . . . . . . Lo que dice A

4.

¬p . . . . . . . . . . . . . . Simplificación conjuntiva en 3.

5.

p ∧ ¬p . . . . . . . . . . . Adición conjuntiva con 1. y 4.

6.

F . . . . . . . . . . . . . . . . Ley de inversas en 5.

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. 43/50

Caso I

Tomemos p: A es honesto y q: B es honesto. Así lo que dice A es ¬p ∧ ¬q. Siendo A honesto lo que dice se toma como cierto. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

q . . . . . . . . . . . . . . . . Condición del caso I

3.

¬p ∧ ¬q . . . . . . . . . Lo que dice A

4.

¬p . . . . . . . . . . . . . . Simplificación conjuntiva en 3.

5.

p ∧ ¬p . . . . . . . . . . . Adición conjuntiva con 1. y 4.

6.

F . . . . . . . . . . . . . . . . Ley de inversas en 5.

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

Por tanto, el caso I no puede ocurrir.

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 43/50

Caso II

Tomemos p: A es honesto y q: B es mentiroso. Así lo que dice A es ¬p ∧ q. Siendo A honesto lo que dice se toma como cierto. Así el razonamiento queda:

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. 44/50

Caso II

Tomemos p: A es honesto y q: B es mentiroso. Así lo que dice A es ¬p ∧ q. Siendo A honesto lo que dice se toma como cierto. Así el razonamiento queda: 1.

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 - p. 44/50

Caso II

Tomemos p: A es honesto y q: B es mentiroso. Así lo que dice A es ¬p ∧ q. Siendo A honesto lo que dice se toma como cierto. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

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. 44/50

Caso II

Tomemos p: A es honesto y q: B es mentiroso. Así lo que dice A es ¬p ∧ q. Siendo A honesto lo que dice se toma como cierto. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

q ................

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. 44/50

Caso II

Tomemos p: A es honesto y q: B es mentiroso. Así lo que dice A es ¬p ∧ q. Siendo A honesto lo que dice se toma como cierto. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

q . . . . . . . . . . . . . . . . Condición del caso I

3.

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. 44/50

Caso II

Tomemos p: A es honesto y q: B es mentiroso. Así lo que dice A es ¬p ∧ q. Siendo A honesto lo que dice se toma como cierto. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

q . . . . . . . . . . . . . . . . Condición del caso I

3.

¬p ∧ q . . . . . . . . . . .

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. 44/50

Caso II

Tomemos p: A es honesto y q: B es mentiroso. Así lo que dice A es ¬p ∧ q. Siendo A honesto lo que dice se toma como cierto. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

q . . . . . . . . . . . . . . . . Condición del caso I

3.

¬p ∧ 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

4.

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 44/50

Caso II

Tomemos p: A es honesto y q: B es mentiroso. Así lo que dice A es ¬p ∧ q. Siendo A honesto lo que dice se toma como cierto. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

q . . . . . . . . . . . . . . . . Condición del caso I

3.

¬p ∧ q . . . . . . . . . . . Lo que dice A

4.

¬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 - p. 44/50

Caso II

Tomemos p: A es honesto y q: B es mentiroso. Así lo que dice A es ¬p ∧ q. Siendo A honesto lo que dice se toma como cierto. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

q . . . . . . . . . . . . . . . . Condición del caso I

3.

¬p ∧ q . . . . . . . . . . . Lo que dice A

4.

¬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

5.

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 44/50

Caso II

Tomemos p: A es honesto y q: B es mentiroso. Así lo que dice A es ¬p ∧ q. Siendo A honesto lo que dice se toma como cierto. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

q . . . . . . . . . . . . . . . . Condición del caso I

3.

¬p ∧ q . . . . . . . . . . . Lo que dice A

4.

¬p . . . . . . . . . . . . . . Simplificación conjuntiva en 3.

5.

p ∧ ¬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 - p. 44/50

Caso II

Tomemos p: A es honesto y q: B es mentiroso. Así lo que dice A es ¬p ∧ q. Siendo A honesto lo que dice se toma como cierto. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

q . . . . . . . . . . . . . . . . Condición del caso I

3.

¬p ∧ q . . . . . . . . . . . Lo que dice A

4.

¬p . . . . . . . . . . . . . . Simplificación conjuntiva en 3.

5.

p ∧ ¬p . . . . . . . . . . . Adición conjuntiva con 1. y 4.

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

6.

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 44/50

Caso II

Tomemos p: A es honesto y q: B es mentiroso. Así lo que dice A es ¬p ∧ q. Siendo A honesto lo que dice se toma como cierto. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

q . . . . . . . . . . . . . . . . Condición del caso I

3.

¬p ∧ q . . . . . . . . . . . Lo que dice A

4.

¬p . . . . . . . . . . . . . . Simplificación conjuntiva en 3.

5.

p ∧ ¬p . . . . . . . . . . . Adición conjuntiva con 1. y 4.

6.

F ................

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. 44/50

Caso II

Tomemos p: A es honesto y q: B es mentiroso. Así lo que dice A es ¬p ∧ q. Siendo A honesto lo que dice se toma como cierto. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

q . . . . . . . . . . . . . . . . Condición del caso I

3.

¬p ∧ q . . . . . . . . . . . Lo que dice A

4.

¬p . . . . . . . . . . . . . . Simplificación conjuntiva en 3.

5.

p ∧ ¬p . . . . . . . . . . . Adición conjuntiva con 1. y 4.

6.

F . . . . . . . . . . . . . . . . Ley de inversas en 5.

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. 44/50

Caso II

Tomemos p: A es honesto y q: B es mentiroso. Así lo que dice A es ¬p ∧ q. Siendo A honesto lo que dice se toma como cierto. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

q . . . . . . . . . . . . . . . . Condición del caso I

3.

¬p ∧ q . . . . . . . . . . . Lo que dice A

4.

¬p . . . . . . . . . . . . . . Simplificación conjuntiva en 3.

5.

p ∧ ¬p . . . . . . . . . . . Adición conjuntiva con 1. y 4.

6.

F . . . . . . . . . . . . . . . . Ley de inversas en 5.

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

Por tanto, el caso II no puede ocurrir.

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 44/50

Caso III

Tomemos p: A es mentiroso y q: B es honesto. Así lo que dice A es p ∧ ¬q. Siendo A mentiroso lo que dice se toma como falso. Por tanto, lo contrario a lo que dice A se toma como verdadero. Así el razonamiento queda:

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. 45/50

Caso III

Tomemos p: A es mentiroso y q: B es honesto. Así lo que dice A es p ∧ ¬q. Siendo A mentiroso lo que dice se toma como falso. Por tanto, lo contrario a lo que dice A se toma como verdadero. Así el razonamiento queda: 1.

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 - p. 45/50

Caso III

Tomemos p: A es mentiroso y q: B es honesto. Así lo que dice A es p ∧ ¬q. Siendo A mentiroso lo que dice se toma como falso. Por tanto, lo contrario a lo que dice A se toma como verdadero. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

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. 45/50

Caso III

Tomemos p: A es mentiroso y q: B es honesto. Así lo que dice A es p ∧ ¬q. Siendo A mentiroso lo que dice se toma como falso. Por tanto, lo contrario a lo que dice A se toma como verdadero. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

q ................

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. 45/50

Caso III

Tomemos p: A es mentiroso y q: B es honesto. Así lo que dice A es p ∧ ¬q. Siendo A mentiroso lo que dice se toma como falso. Por tanto, lo contrario a lo que dice A se toma como verdadero. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

q . . . . . . . . . . . . . . . . Condición del caso I

3.

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. 45/50

Caso III

Tomemos p: A es mentiroso y q: B es honesto. Así lo que dice A es p ∧ ¬q. Siendo A mentiroso lo que dice se toma como falso. Por tanto, lo contrario a lo que dice A se toma como verdadero. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

q . . . . . . . . . . . . . . . . Condición del caso I

3.

¬(p ∧ ¬q) . . . . . . .

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. 45/50

Caso III

Tomemos p: A es mentiroso y q: B es honesto. Así lo que dice A es p ∧ ¬q. Siendo A mentiroso lo que dice se toma como falso. Por tanto, lo contrario a lo que dice A se toma como verdadero. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

q . . . . . . . . . . . . . . . . Condición del caso I

3.

¬(p ∧ ¬q) . . . . . . . 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

4.

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 45/50

Caso III

Tomemos p: A es mentiroso y q: B es honesto. Así lo que dice A es p ∧ ¬q. Siendo A mentiroso lo que dice se toma como falso. Por tanto, lo contrario a lo que dice A se toma como verdadero. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

q . . . . . . . . . . . . . . . . Condición del caso I

3.

¬(p ∧ ¬q) . . . . . . . Lo contrario de lo que dice A

4.

¬p ∨ q . . . . . . . . . . .

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. 45/50

Caso III

Tomemos p: A es mentiroso y q: B es honesto. Así lo que dice A es p ∧ ¬q. Siendo A mentiroso lo que dice se toma como falso. Por tanto, lo contrario a lo que dice A se toma como verdadero. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

q . . . . . . . . . . . . . . . . Condición del caso I

3.

¬(p ∧ ¬q) . . . . . . . Lo contrario de lo que dice A

4.

¬p ∨ q . . . . . . . . . . . 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

5.

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 45/50

Caso III

Tomemos p: A es mentiroso y q: B es honesto. Así lo que dice A es p ∧ ¬q. Siendo A mentiroso lo que dice se toma como falso. Por tanto, lo contrario a lo que dice A se toma como verdadero. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

q . . . . . . . . . . . . . . . . Condición del caso I

3.

¬(p ∧ ¬q) . . . . . . . Lo contrario de lo que dice A

4.

¬p ∨ q . . . . . . . . . . . De Morgan y doble negación en 3.

5.

q ................

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. 45/50

Caso III

Tomemos p: A es mentiroso y q: B es honesto. Así lo que dice A es p ∧ ¬q. Siendo A mentiroso lo que dice se toma como falso. Por tanto, lo contrario a lo que dice A se toma como verdadero. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

q . . . . . . . . . . . . . . . . Condición del caso I

3.

¬(p ∧ ¬q) . . . . . . . Lo contrario de lo que dice A

4.

¬p ∨ q . . . . . . . . . . . De Morgan y doble negación en 3.

5.

q . . . . . . . . . . . . . . . . Silogismo disjuntivo con 4. y 1.

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. 45/50

Caso III

Tomemos p: A es mentiroso y q: B es honesto. Así lo que dice A es p ∧ ¬q. Siendo A mentiroso lo que dice se toma como falso. Por tanto, lo contrario a lo que dice A se toma como verdadero. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

q . . . . . . . . . . . . . . . . Condición del caso I

3.

¬(p ∧ ¬q) . . . . . . . Lo contrario de lo que dice A

4.

¬p ∨ q . . . . . . . . . . . De Morgan y doble negación en 3.

5.

q . . . . . . . . . . . . . . . . Silogismo disjuntivo con 4. y 1.

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

Así, no hay forma de avanzar y llegar a una contradicción. Por tanto, el caso III puede ocurrir.

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 45/50

Caso IV

Tomemos p: A es mentiroso y q: B es mentiroso. Así lo que dice A es p ∧ q. Siendo A mentiroso lo que dice se toma como falso. Así el razonamiento queda:

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. 46/50

Caso IV

Tomemos p: A es mentiroso y q: B es mentiroso. Así lo que dice A es p ∧ q. Siendo A mentiroso lo que dice se toma como falso. Así el razonamiento queda: 1.

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 - p. 46/50

Caso IV

Tomemos p: A es mentiroso y q: B es mentiroso. Así lo que dice A es p ∧ q. Siendo A mentiroso lo que dice se toma como falso. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

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. 46/50

Caso IV

Tomemos p: A es mentiroso y q: B es mentiroso. Así lo que dice A es p ∧ q. Siendo A mentiroso lo que dice se toma como falso. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

q ................

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. 46/50

Caso IV

Tomemos p: A es mentiroso y q: B es mentiroso. Así lo que dice A es p ∧ q. Siendo A mentiroso lo que dice se toma como falso. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

q . . . . . . . . . . . . . . . . Condición del caso I

3.

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. 46/50

Caso IV

Tomemos p: A es mentiroso y q: B es mentiroso. Así lo que dice A es p ∧ q. Siendo A mentiroso lo que dice se toma como falso. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

q . . . . . . . . . . . . . . . . Condición del caso I

3.

¬(p ∧ q) . . . . . . . . .

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. 46/50

Caso IV

Tomemos p: A es mentiroso y q: B es mentiroso. Así lo que dice A es p ∧ q. Siendo A mentiroso lo que dice se toma como falso. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

q . . . . . . . . . . . . . . . . Condición del caso I

3.

¬(p ∧ q) . . . . . . . . . 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

4.

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 46/50

Caso IV

Tomemos p: A es mentiroso y q: B es mentiroso. Así lo que dice A es p ∧ q. Siendo A mentiroso lo que dice se toma como falso. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

q . . . . . . . . . . . . . . . . Condición del caso I

3.

¬(p ∧ q) . . . . . . . . . Lo contrario de lo que dice A

4.

¬p ∨ ¬q . . . . . . . . .

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. 46/50

Caso IV

Tomemos p: A es mentiroso y q: B es mentiroso. Así lo que dice A es p ∧ q. Siendo A mentiroso lo que dice se toma como falso. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

q . . . . . . . . . . . . . . . . Condición del caso I

3.

¬(p ∧ q) . . . . . . . . . Lo contrario de lo que dice A

4.

¬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

5.

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 46/50

Caso IV

Tomemos p: A es mentiroso y q: B es mentiroso. Así lo que dice A es p ∧ q. Siendo A mentiroso lo que dice se toma como falso. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

q . . . . . . . . . . . . . . . . Condición del caso I

3.

¬(p ∧ q) . . . . . . . . . Lo contrario de lo que dice A

4.

¬p ∨ ¬q . . . . . . . . . De Morgan en 3.

5.

¬q . . . . . . . . . . . . . .

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. 46/50

Caso IV

Tomemos p: A es mentiroso y q: B es mentiroso. Así lo que dice A es p ∧ q. Siendo A mentiroso lo que dice se toma como falso. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

q . . . . . . . . . . . . . . . . Condición del caso I

3.

¬(p ∧ q) . . . . . . . . . Lo contrario de lo que dice A

4.

¬p ∨ ¬q . . . . . . . . . De Morgan en 3.

5.

¬q . . . . . . . . . . . . . . Silogismo disjuntivo con 1. y 4.

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

6.

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 46/50

Caso IV

Tomemos p: A es mentiroso y q: B es mentiroso. Así lo que dice A es p ∧ q. Siendo A mentiroso lo que dice se toma como falso. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

q . . . . . . . . . . . . . . . . Condición del caso I

3.

¬(p ∧ q) . . . . . . . . . Lo contrario de lo que dice A

4.

¬p ∨ ¬q . . . . . . . . . De Morgan en 3.

5.

¬q . . . . . . . . . . . . . . Silogismo disjuntivo con 1. y 4.

6.

q ∧ ¬q . . . . . . . . . . .

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. 46/50

Caso IV

Tomemos p: A es mentiroso y q: B es mentiroso. Así lo que dice A es p ∧ q. Siendo A mentiroso lo que dice se toma como falso. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

q . . . . . . . . . . . . . . . . Condición del caso I

3.

¬(p ∧ q) . . . . . . . . . Lo contrario de lo que dice A

4.

¬p ∨ ¬q . . . . . . . . . De Morgan en 3.

5.

¬q . . . . . . . . . . . . . . Silogismo disjuntivo con 1. y 4.

6.

q ∧ ¬q . . . . . . . . . . . Adición conjuntiva con 2. y 5.

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

7.

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 46/50

Caso IV

Tomemos p: A es mentiroso y q: B es mentiroso. Así lo que dice A es p ∧ q. Siendo A mentiroso lo que dice se toma como falso. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

q . . . . . . . . . . . . . . . . Condición del caso I

3.

¬(p ∧ q) . . . . . . . . . Lo contrario de lo que dice A

4.

¬p ∨ ¬q . . . . . . . . . De Morgan en 3.

5.

¬q . . . . . . . . . . . . . . Silogismo disjuntivo con 1. y 4.

6.

q ∧ ¬q . . . . . . . . . . . Adición conjuntiva con 2. y 5.

7.

F ................

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. 46/50

Caso IV

Tomemos p: A es mentiroso y q: B es mentiroso. Así lo que dice A es p ∧ q. Siendo A mentiroso lo que dice se toma como falso. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

q . . . . . . . . . . . . . . . . Condición del caso I

3.

¬(p ∧ q) . . . . . . . . . Lo contrario de lo que dice A

4.

¬p ∨ ¬q . . . . . . . . . De Morgan en 3.

5.

¬q . . . . . . . . . . . . . . Silogismo disjuntivo con 1. y 4.

6.

q ∧ ¬q . . . . . . . . . . . Adición conjuntiva con 2. y 5.

7.

F . . . . . . . . . . . . . . . . Ley de inversas en 6.

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. 46/50

Caso IV

Tomemos p: A es mentiroso y q: B es mentiroso. Así lo que dice A es p ∧ q. Siendo A mentiroso lo que dice se toma como falso. Así el razonamiento queda: 1.

p . . . . . . . . . . . . . . . . Condición del caso I

2.

q . . . . . . . . . . . . . . . . Condición del caso I

3.

¬(p ∧ q) . . . . . . . . . Lo contrario de lo que dice A

4.

¬p ∨ ¬q . . . . . . . . . De Morgan en 3.

5.

¬q . . . . . . . . . . . . . . Silogismo disjuntivo con 1. y 4.

6.

q ∧ ¬q . . . . . . . . . . . Adición conjuntiva con 2. y 5.

7.

F . . . . . . . . . . . . . . . . Ley de inversas en 6.

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

Por tanto, el caso IV no puede ocurrir.

Módulo I: Argumentos Válidos

Matemáticas Discretas - p. 46/50

Por consiguiente el único caso posible es el caso III: A es mentiroso y B es honesto: A

A

es honesto es pero B mentiroso

B

A

es mentiroso pero B es honesto

C

A

y B son honestos

D

A

y B son mentirosos

E

No es posible concluir

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. 47/50

El problema del grupo Supón el mismo pueblo y supón que te encuentras un grupo de 6 nativos: U, V, W, X, Y y Z. Y hablan de la siguiente forma: ■ U dice: ninguno de nosotros es honesto. ■ V dice: Al menos 3 de nosotros son honestos. ■ W dice: A lo más 3 de nosotros son honestos. ■ X dice: Exactamente 5 de nosotros son honestos. ■ Y dice: Exactamente 2 de nosotros son honestos. ■ Z dice: Exactamente 1 de nosotros es honesto. ¿Quiénes son honestos y quénes son mentirosos?

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. 48/50

La clave de este problema está en el número de honestos:

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. 49/50

La clave de este problema está en el número de honestos: ■ 0 y estaría diciendo la verdad U. Imposible. ■ 1 y estarían diciendo la verdad W y Z. Imposible. ■ 2 y estarían diciendo la verdad W y Y. No hay contradicción. ■ 3 y sólo U y V estarían diciendo la verdad. Imposible. ■ 4 y sólo estaría diciendo la verdad V. Imposible. ■ 5 y sólo estarían diciendo la verdad V y X. Imposible. ■ 6 y sólo estaría diciendo la verdad V. Imposible.

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. 49/50

La clave de este problema está en el número de honestos: ■ 0 y estaría diciendo la verdad U. Imposible. ■ 1 y estarían diciendo la verdad W y Z. Imposible. ■ 2 y estarían diciendo la verdad W y Y. No hay contradicción. ■ 3 y sólo U y V estarían diciendo la verdad. Imposible. ■ 4 y sólo estaría diciendo la verdad V. Imposible. ■ 5 y sólo estarían diciendo la verdad V y X. Imposible. ■ 6 y sólo estaría diciendo la verdad V. Imposible. Por tanto, sólo hay dos honestos y son W y Y.

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. 49/50

Temas Vistos ■ ■ ■ ■

■ ■

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

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. 50/50

Recommend Stories

Story Transcript

Get in touch

Social