Matemáticas Discretas TC1003 Módulo I: s Válidos Departamento de Matemáticas ITESM Módulo I: s Válidos Matemáticas Discretas - p. 1/50
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: s Válidos Matemáticas Discretas - p. 2/50
Definición Un argumento es una secuencia de afirmaciones. Módulo I: s Válidos Matemáticas Discretas - p. 3/50
Definición 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: s Válidos Matemáticas Discretas - p. 3/50
Definición 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: s Válidos 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: s Válidos Matemáticas Discretas - p. 4/50
s Válidos e Inválidos Definición Diremos que un argumento es argumento válido si Módulo I: s Válidos Matemáticas Discretas - p. 5/50
s Válidos e Inválidos Definición 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: s Válidos Matemáticas Discretas - p. 5/50
s Válidos e Inválidos Definición 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: s Válidos 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: s Válidos 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: s Válidos 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: s Válidos 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: s Válidos 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: s Válidos 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: s Válidos 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 válido Módulo I: s Válidos 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 válido ó Módulo I: s Válidos 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 válido ó 5. Detectar si existe un renglón crítico con conclusión falsa. Módulo I: s Válidos 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 válido ó 5. Detectar si existe un renglón crítico con conclusión falsa. En cuyo caso se dirá inválido Módulo I: s Válidos 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: s Válidos Matemáticas Discretas - p. 7/50
Ejemplo Determine si el siguiente argumento es válido: 1. p q 2. q p 3. p q Módulo I: s Válidos Matemáticas Discretas - p. 8/50
Ejemplo Determine si el siguiente argumento es válido: 1. p q 2. q p 3. p q Solución 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: s Válidos 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 F T T F T T F F T T T T T T T Módulo I: s Válidos 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: s Válidos 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: s Válidos 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: s Válidos 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 Solución 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: s Válidos 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 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: s Válidos 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: s Válidos 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: s Válidos 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 Solución 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: s Válidos 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 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: s Válidos 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 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 De donde observamos que el argumento es inválido. Módulo I: s Válidos Matemáticas Discretas - p. 13/50
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: s Válidos Matemáticas Discretas - p. 14/50
Reglas 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: s Válidos 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: s Válidos Matemáticas Discretas - p. 16/50
Ejemplo Verifique la validez de la regla de inferencia modus ponens: 1. p q 2. p 3. q Solución Realizando la tabla de verdad obtenemos: 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 Módulo I: s Válidos Matemáticas Discretas - p. 16/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 Módulo I: s Válidos 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: s Válidos 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: s Válidos Matemáticas Discretas - p. 18/50
Ejemplo Verifique la validez de la regla de inferencia modus tollens: 1. p q 2. q 3. p Solución Realizando la tabla de verdad obtenemos: p q p q q p F F T T T F T T F T T F F T F T T T F F Módulo I: s Válidos Matemáticas Discretas - p. 18/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 Módulo I: s Válidos 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: s Válidos 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: s Válidos Matemáticas Discretas - p. 20/50
Ejemplo Verifique la validez de la regla de inferencia silogismo disjuntivo: 1. p q 2. p 3. q Solución Realizando la tabla de verdad obtenemos: 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 Módulo I: s Válidos Matemáticas Discretas - p. 20/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 Módulo I: s Válidos 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: s Válidos 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: s Válidos Matemáticas Discretas - p. 22/50
Ejemplo Verifique la validez de la regla de inferencia adición disjuntiva: 1. p 2. p q Solución Realizando la tabla de verdad obtenemos: p q p q F F F F T T T F T T T T Módulo I: s Válidos Matemáticas Discretas - p. 22/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 Módulo I: s Válidos Matemáticas Discretas - p. 23/50
De la cual los renglones críticos son: p q p q F F F F T T T F T T T T De donde concluimos que el argumento es válido. Módulo I: s Válidos Matemáticas Discretas - p. 23/50
Ejemplo Verifique la validez de la regla de inferencia simplificación conjuntiva: 1. p q 2. p Módulo I: s Válidos Matemáticas Discretas - p. 24/50
Ejemplo Verifique la validez de la regla de inferencia simplificación conjuntiva: 1. p q 2. p Solución Realizando la tabla de verdad obtenemos: p q p q F F F F T F T F F T T T Módulo I: s Válidos Matemáticas Discretas - p. 24/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 Módulo I: s Válidos 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: s Válidos 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: s Válidos 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 Solución 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: s Válidos 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 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: s Válidos 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: s Válidos 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: s Válidos 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 Solución Realizando la tabla de verdad obtenemos: p q p q F F F F T F T F F T T T Módulo I: s Válidos Matemáticas Discretas - p. 28/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 Módulo I: s Válidos 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: s Válidos 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: s Válidos 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 Solución Realizando la tabla de verdad obtenemos: p F p p F F F T F T F F T Módulo I: s Válidos Matemáticas Discretas - p. 30/50
De la cual los renglones críticos son: p F p p F F F T F T F F T Módulo I: s Válidos 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: s Válidos Matemáticas Discretas - p. 31/50
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: s Válidos 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: s Válidos Matemáticas Discretas - p. 33/50
Ejemplo: Demuestre que la conclusión se deduce de las hipótesis: H 1 : p H 2 : p q H 3 : q r C: r Módulo I: s Válidos Matemáticas Discretas - p. 34/50
Ejemplo: Demuestre que la conclusión se deduce de las hipótesis: H 1 : p H 2 : p q H 3 : q r C: r Solución FBF 1. p........... Justificación Módulo I: s Válidos Matemáticas Discretas - p. 34/50
Ejemplo: Demuestre que la conclusión se deduce de las hipótesis: H 1 : p H 2 : p q H 3 : q r C: r Solución FBF Justificación 1. p........... Hipótesis 1 2. Módulo I: s Válidos Matemáticas Discretas - p. 34/50
Ejemplo: Demuestre que la conclusión se deduce de las hipótesis: H 1 : p H 2 : p q H 3 : q r C: r Solución FBF Justificación 1. p........... Hipótesis 1 2. p q..... Módulo I: s Válidos Matemáticas Discretas - p. 34/50
Ejemplo: Demuestre que la conclusión se deduce de las hipótesis: H 1 : p H 2 : p q H 3 : q r C: r Solución FBF Justificación 1. p........... Hipótesis 1 2. p q..... Hipótesis 2 3. Módulo I: s Válidos Matemáticas Discretas - p. 34/50
Ejemplo: Demuestre que la conclusión se deduce de las hipótesis: H 1 : p H 2 : p q H 3 : q r C: r Solución FBF Justificación 1. p........... Hipótesis 1 2. p q..... Hipótesis 2 3. q.......... Módulo I: s Válidos Matemáticas Discretas - p. 34/50
Ejemplo: Demuestre que la conclusión se deduce de las hipótesis: H 1 : p H 2 : p q H 3 : q r C: r Solución FBF Justificación 1. p........... Hipótesis 1 2. p q..... Hipótesis 2 3. q.......... Modus ponens con 2. y 1. 4. Módulo I: s Válidos Matemáticas Discretas - p. 34/50
Ejemplo: Demuestre que la conclusión se deduce de las hipótesis: H 1 : p H 2 : p q H 3 : q r C: r Solución FBF Justificación 1. p........... Hipótesis 1 2. p q..... Hipótesis 2 3. q.......... Modus ponens con 2. y 1. 4. q r.... Módulo I: s Válidos Matemáticas Discretas - p. 34/50
Ejemplo: Demuestre que la conclusión se deduce de las hipótesis: H 1 : p H 2 : p q H 3 : q r C: r Solución FBF Justificación 1. p........... Hipótesis 1 2. p q..... Hipótesis 2 3. q.......... Modus ponens con 2. y 1. 4. q r.... Hipótesis 3. 5. Módulo I: s Válidos Matemáticas Discretas - p. 34/50
Ejemplo: Demuestre que la conclusión se deduce de las hipótesis: H 1 : p H 2 : p q H 3 : q r C: r Solución FBF Justificación 1. p........... Hipótesis 1 2. p q..... Hipótesis 2 3. q.......... Modus ponens con 2. y 1. 4. q r.... Hipótesis 3. 5. r.......... Módulo I: s Válidos Matemáticas Discretas - p. 34/50
Ejemplo: Demuestre que la conclusión se deduce de las hipótesis: H 1 : p H 2 : p q H 3 : q r C: r Solución FBF Justificación 1. p........... Hipótesis 1 2. p q..... Hipótesis 2 3. q.......... Modus ponens con 2. y 1. 4. q r.... Hipótesis 3. 5. r.......... Modus ponens con 4. y 5. Módulo I: s Válidos Matemáticas Discretas - p. 34/50
Ejemplo: Demuestre que la conclusión se deduce de las hipótesis: H 1 : p r H 2 : r s H 3 : t s H 4 : t u H 5 : u C: p Módulo I: s Válidos Matemáticas Discretas - p. 35/50
Ejemplo: Demuestre que la conclusión se deduce de las hipótesis: H 1 : p r H 2 : r s H 3 : t s H 4 : t u H 5 : u C: p Solución 1. u.............. Módulo I: s Válidos Matemáticas Discretas - p. 35/50
Ejemplo: Demuestre que la conclusión se deduce de las hipótesis: H 1 : p r H 2 : r s H 3 : t s H 4 : t u H 5 : u C: p Solución 1. u.............. Hipótesis 5 2. Módulo I: s Válidos Matemáticas Discretas - p. 35/50
Ejemplo: Demuestre que la conclusión se deduce de las hipótesis: H 1 : p r H 2 : r s H 3 : t s H 4 : t u H 5 : u C: p Solución 1. u.............. Hipótesis 5 2. t u........... Módulo I: s Válidos Matemáticas Discretas - p. 35/50
Ejemplo: Demuestre que la conclusión se deduce de las hipótesis: H 1 : p r H 2 : r s H 3 : t s H 4 : t u H 5 : u C: p Solución 1. u.............. Hipótesis 5 2. t u........... Hipótesis 4 3. Módulo I: s Válidos Matemáticas Discretas - p. 35/50
Ejemplo: Demuestre que la conclusión se deduce de las hipótesis: H 1 : p r H 2 : r s H 3 : t s H 4 : t u H 5 : u C: p Solución 1. u.............. Hipótesis 5 2. t u........... Hipótesis 4 3. t............... Módulo I: s Válidos Matemáticas Discretas - p. 35/50
Ejemplo: Demuestre que la conclusión se deduce de las hipótesis: H 1 : p r H 2 : r s H 3 : t s H 4 : t u H 5 : u C: p Solución 1. u.............. Hipótesis 5 2. t u........... Hipótesis 4 3. t............... Silogismo disjuntivo con 2. y 1. 4. Módulo I: s Válidos Matemáticas Discretas - p. 35/50
Ejemplo: Demuestre que la conclusión se deduce de las hipótesis: H 1 : p r H 2 : r s H 3 : t s H 4 : t u H 5 : u C: p Solución 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: s Válidos Matemáticas Discretas - p. 35/50
Ejemplo: Demuestre que la conclusión se deduce de las hipótesis: H 1 : p r H 2 : r s H 3 : t s H 4 : t u H 5 : u C: p Solución 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. Módulo I: s Válidos Matemáticas Discretas - p. 35/50
Ejemplo: Demuestre que la conclusión se deduce de las hipótesis: H 1 : p r H 2 : r s H 3 : t s H 4 : t u H 5 : u C: p Solución 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: s Válidos Matemáticas Discretas - p. 35/50
Ejemplo: Demuestre que la conclusión se deduce de las hipótesis: H 1 : p r H 2 : r s H 3 : t s H 4 : t u H 5 : u C: p Solución 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. Módulo I: s Válidos Matemáticas Discretas - p. 35/50
Ejemplo: Demuestre que la conclusión se deduce de las hipótesis: H 1 : p r H 2 : r s H 3 : t s H 4 : t u H 5 : u C: p Solución 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: s Válidos Matemáticas Discretas - p. 35/50
Ejemplo: Demuestre que la conclusión se deduce de las hipótesis: H 1 : p r H 2 : r s H 3 : t s H 4 : t u H 5 : u C: p Solución 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. Módulo I: s Válidos Matemáticas Discretas - p. 35/50
Ejemplo: Demuestre que la conclusión se deduce de las hipótesis: H 1 : p r H 2 : r s H 3 : t s H 4 : t u H 5 : u C: p Solución 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: s Válidos Matemáticas Discretas - p. 35/50
Ejemplo: Demuestre que la conclusión se deduce de las hipótesis: H 1 : p r H 2 : r s H 3 : t s H 4 : t u H 5 : u C: p Solución 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. Módulo I: s Válidos Matemáticas Discretas - p. 35/50
Ejemplo: Demuestre que la conclusión se deduce de las hipótesis: H 1 : p r H 2 : r s H 3 : t s H 4 : t u H 5 : u C: p Solución 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: s Válidos Matemáticas Discretas - p. 35/50
Ejemplo: Demuestre que la conclusión se deduce de las hipótesis: H 1 : p r H 2 : r s H 3 : t s H 4 : t u H 5 : u C: p Solución 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. Módulo I: s Válidos Matemáticas Discretas - p. 35/50
Ejemplo: Demuestre que la conclusión se deduce de las hipótesis: H 1 : p r H 2 : r s H 3 : t s H 4 : t u H 5 : u C: p Solución 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: s Válidos Matemáticas Discretas - p. 35/50
Ejemplo: Demuestre que la conclusión se deduce de las hipótesis: H 1 : p r H 2 : r s H 3 : t s H 4 : t u H 5 : u C: p Solución 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: s Válidos Matemáticas Discretas - p. 35/50
Ejemplo (Lema 1):Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q H 2 : p r C: q r Módulo I: s Válidos Matemáticas Discretas - p. 36/50
Ejemplo (Lema 1):Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q H 2 : p r C: q r Solución 1. p q...... Módulo I: s Válidos Matemáticas Discretas - p. 36/50
Ejemplo (Lema 1):Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q H 2 : p r C: q r Solución 1. p q...... Hipótesis 1. 2. Módulo I: s Válidos Matemáticas Discretas - p. 36/50
Ejemplo (Lema 1):Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q H 2 : p r C: q r Solución 1. p q...... Hipótesis 1. 2. p q.... Módulo I: s Válidos Matemáticas Discretas - p. 36/50
Ejemplo (Lema 1):Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q H 2 : p r C: q r Solución 1. p q...... Hipótesis 1. 2. p q.... Equiv. implicación en 1. 3. Módulo I: s Válidos Matemáticas Discretas - p. 36/50
Ejemplo (Lema 1):Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q H 2 : p r C: q r Solución 1. p q...... Hipótesis 1. 2. p q.... Equiv. implicación en 1. 3. p r..... Módulo I: s Válidos Matemáticas Discretas - p. 36/50
Ejemplo (Lema 1):Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q H 2 : p r C: q r Solución 1. p q...... Hipótesis 1. 2. p q.... Equiv. implicación en 1. 3. p r..... Hipótesis 2. 4. Módulo I: s Válidos Matemáticas Discretas - p. 36/50
Ejemplo (Lema 1):Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q H 2 : p r C: q r Solución 1. p q...... Hipótesis 1. 2. p q.... Equiv. implicación en 1. 3. p r..... Hipótesis 2. 4. r p..... Módulo I: s Válidos Matemáticas Discretas - p. 36/50
Ejemplo (Lema 1):Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q H 2 : p r C: q r Solución 1. p q...... Hipótesis 1. 2. p q.... Equiv. implicación en 1. 3. p r..... Hipótesis 2. 4. r p..... Conmutatividad en 3. 5. Módulo I: s Válidos Matemáticas Discretas - p. 36/50
Ejemplo (Lema 1):Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q H 2 : p r C: q r Solución 1. p q...... Hipótesis 1. 2. p q.... Equiv. implicación en 1. 3. p r..... Hipótesis 2. 4. r p..... Conmutatividad en 3. 5. r p.. Módulo I: s Válidos Matemáticas Discretas - p. 36/50
Ejemplo (Lema 1):Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q H 2 : p r C: q r Solución 1. p q...... Hipótesis 1. 2. p q.... Equiv. implicación en 1. 3. p r..... Hipótesis 2. 4. r p..... Conmutatividad en 3. 5. r p.. Equiv. implicación en 4. 6. Módulo I: s Válidos Matemáticas Discretas - p. 36/50
Ejemplo (Lema 1):Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q H 2 : p r C: q r Solución 1. p q...... Hipótesis 1. 2. p q.... Equiv. implicación en 1. 3. p r..... Hipótesis 2. 4. r p..... Conmutatividad en 3. 5. r p.. Equiv. implicación en 4. 6. r q.... Módulo I: s Válidos Matemáticas Discretas - p. 36/50
Ejemplo (Lema 1):Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q H 2 : p r C: q r Solución 1. p q...... Hipótesis 1. 2. p q.... Equiv. implicación en 1. 3. p r..... Hipótesis 2. 4. r p..... Conmutatividad en 3. 5. r p.. Equiv. implicación en 4. 6. r q.... Silog. hipotético con 5. y 2.. 7. Módulo I: s Válidos Matemáticas Discretas - p. 36/50
Ejemplo (Lema 1):Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q H 2 : p r C: q r Solución 1. p q...... Hipótesis 1. 2. p q.... Equiv. implicación en 1. 3. p r..... Hipótesis 2. 4. r p..... Conmutatividad en 3. 5. r p.. Equiv. implicación en 4. 6. r q.... Silog. hipotético con 5. y 2.. 7. ( r) q.. Módulo I: s Válidos Matemáticas Discretas - p. 36/50
Ejemplo (Lema 1):Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q H 2 : p r C: q r Solución 1. p q...... Hipótesis 1. 2. p q.... Equiv. implicación en 1. 3. p r..... Hipótesis 2. 4. r p..... Conmutatividad en 3. 5. r p.. Equiv. implicación en 4. 6. r q.... Silog. hipotético con 5. y 2.. 7. ( r) q.. Equiv. implicación en 6. 8. Módulo I: s Válidos Matemáticas Discretas - p. 36/50
Ejemplo (Lema 1):Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q H 2 : p r C: q r Solución 1. p q...... Hipótesis 1. 2. p q.... Equiv. implicación en 1. 3. p r..... Hipótesis 2. 4. r p..... Conmutatividad en 3. 5. r p.. Equiv. implicación en 4. 6. r q.... Silog. hipotético con 5. y 2.. 7. ( r) q.. Equiv. implicación en 6. 8. q r....... Módulo I: s Válidos Matemáticas Discretas - p. 36/50
Ejemplo (Lema 1):Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q H 2 : p r C: q r Solución 1. p q...... Hipótesis 1. 2. p q.... Equiv. implicación en 1. 3. p r..... Hipótesis 2. 4. r p..... Conmutatividad en 3. 5. r p.. Equiv. implicación en 4. 6. r q.... Silog. hipotético con 5. y 2.. 7. ( r) q.. Equiv. implicación en 6. 8. q r....... Doble negación y conmutatividad en 7. Módulo I: s Válidos Matemáticas Discretas - p. 36/50
Ejemplo (Lema 2) Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q r H 2 : p q C : p r Módulo I: s Válidos Matemáticas Discretas - p. 37/50
Ejemplo (Lema 2) Demuestre que la conclusión se deduce de las hipótesis: Solución 1. p q r....... H 1 : p q r H 2 : p q C : p r Módulo I: s Válidos Matemáticas Discretas - p. 37/50
Ejemplo (Lema 2) Demuestre que la conclusión se deduce de las hipótesis: Solución 1. p q r....... Hipótesis 1. 2. H 1 : p q r H 2 : p q C : p r Módulo I: s Válidos Matemáticas Discretas - p. 37/50
Ejemplo (Lema 2) Demuestre que la conclusión se deduce de las hipótesis: Solución 1. p q r....... Hipótesis 1. 2. p (q r)..... H 1 : p q r H 2 : p q C : p r Módulo I: s Válidos Matemáticas Discretas - p. 37/50
Ejemplo (Lema 2) Demuestre que la conclusión se deduce de las hipótesis: Solución 1. p q r....... Hipótesis 1. 2. p (q r)..... Equiv. implicación en 1. 3. H 1 : p q r H 2 : p q C : p r Módulo I: s Válidos Matemáticas Discretas - p. 37/50
Ejemplo (Lema 2) Demuestre que la conclusión se deduce de las hipótesis: Solución 1. p q r....... Hipótesis 1. 2. p (q r)..... Equiv. implicación en 1. 3. q ( p r)..... H 1 : p q r H 2 : p q C : p r Módulo I: s Válidos Matemáticas Discretas - p. 37/50
Ejemplo (Lema 2) Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q r H 2 : p q C : p r Solución 1. p q r....... Hipótesis 1. 2. p (q r)..... Equiv. implicación en 1. 3. q ( p r)..... Prop. asociativas y conmutativas en 2. 4. Módulo I: s Válidos Matemáticas Discretas - p. 37/50
Ejemplo (Lema 2) Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q r H 2 : p q C : p r Solución 1. p q r....... Hipótesis 1. 2. p (q r)..... Equiv. implicación en 1. 3. q ( p r)..... Prop. asociativas y conmutativas en 2. 4. p q.......... Módulo I: s Válidos Matemáticas Discretas - p. 37/50
Ejemplo (Lema 2) Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q r H 2 : p q C : p r Solución 1. p q r....... Hipótesis 1. 2. p (q r)..... Equiv. implicación en 1. 3. q ( p r)..... Prop. asociativas y conmutativas en 2. 4. p q.......... Hipótesis 2. 5. Módulo I: s Válidos Matemáticas Discretas - p. 37/50
Ejemplo (Lema 2) Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q r H 2 : p q C : p r Solución 1. p q r....... Hipótesis 1. 2. p (q r)..... Equiv. implicación en 1. 3. q ( p r)..... Prop. asociativas y conmutativas en 2. 4. p q.......... Hipótesis 2. 5. p q......... Módulo I: s Válidos Matemáticas Discretas - p. 37/50
Ejemplo (Lema 2) Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q r H 2 : p q C : p r Solución 1. p q r....... Hipótesis 1. 2. p (q r)..... Equiv. implicación en 1. 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. Módulo I: s Válidos Matemáticas Discretas - p. 37/50
Ejemplo (Lema 2) Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q r H 2 : p q C : p r Solución 1. p q r....... Hipótesis 1. 2. p (q r)..... Equiv. implicación en 1. 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......... Módulo I: s Válidos Matemáticas Discretas - p. 37/50
Ejemplo (Lema 2) Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q r H 2 : p q C : p r Solución 1. p q r....... Hipótesis 1. 2. p (q r)..... Equiv. implicación en 1. 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. Módulo I: s Válidos Matemáticas Discretas - p. 37/50
Ejemplo (Lema 2) Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q r H 2 : p q C : p r Solución 1. p q r....... Hipótesis 1. 2. p (q r)..... Equiv. implicación en 1. 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.... Módulo I: s Válidos Matemáticas Discretas - p. 37/50
Ejemplo (Lema 2) Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q r H 2 : p q C : p r Solución 1. p q r....... Hipótesis 1. 2. p (q r)..... Equiv. implicación en 1. 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. Módulo I: s Válidos Matemáticas Discretas - p. 37/50
Ejemplo (Lema 2) Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q r H 2 : p q C : p r Solución 1. p q r....... Hipótesis 1. 2. p (q r)..... Equiv. implicación en 1. 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.... Módulo I: s Válidos Matemáticas Discretas - p. 37/50
Ejemplo (Lema 2) Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q r H 2 : p q C : p r Solución 1. p q r....... Hipótesis 1. 2. p (q r)..... Equiv. implicación en 1. 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. Módulo I: s Válidos Matemáticas Discretas - p. 37/50
Ejemplo (Lema 2) Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q r H 2 : p q C : p r Solución 1. p q r....... Hipótesis 1. 2. p (q r)..... Equiv. implicación en 1. 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........... Módulo I: s Válidos Matemáticas Discretas - p. 37/50
Ejemplo (Lema 2) Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q r H 2 : p q C : p r Solución 1. p q r....... Hipótesis 1. 2. p (q r)..... Equiv. implicación en 1. 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. Módulo I: s Válidos Matemáticas Discretas - p. 37/50
Ejemplo (Lema 2) Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q r H 2 : p q C : p r Solución 1. p q r....... Hipótesis 1. 2. p (q r)..... Equiv. implicación en 1. 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........... Módulo I: s Válidos Matemáticas Discretas - p. 37/50
Ejemplo (Lema 2) Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q r H 2 : p q C : p r Solución 1. p q r....... Hipótesis 1. 2. p (q r)..... Equiv. implicación en 1. 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. Módulo I: s Válidos Matemáticas Discretas - p. 37/50
Ejemplo (Lema 3) Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q r H 2 : q r C: p r Módulo I: s Válidos Matemáticas Discretas - p. 38/50
Ejemplo (Lema 3) Demuestre que la conclusión se deduce de las hipótesis: Solución 1. p q r....... H 1 : p q r H 2 : q r C: p r Módulo I: s Válidos Matemáticas Discretas - p. 38/50
Ejemplo (Lema 3) Demuestre que la conclusión se deduce de las hipótesis: Solución 1. p q r....... Hipótesis 1. 2. H 1 : p q r H 2 : q r C: p r Módulo I: s Válidos Matemáticas Discretas - p. 38/50
Ejemplo (Lema 3) Demuestre que la conclusión se deduce de las hipótesis: Solución 1. p q r....... Hipótesis 1. 2. p (q r)..... H 1 : p q r H 2 : q r C: p r Módulo I: s Válidos Matemáticas Discretas - p. 38/50
Ejemplo (Lema 3) Demuestre que la conclusión se deduce de las hipótesis: Solución 1. p q r....... Hipótesis 1. 2. p (q r)..... Equiv. implicación en 1. 3. H 1 : p q r H 2 : q r C: p r Módulo I: s Válidos Matemáticas Discretas - p. 38/50
Ejemplo (Lema 3) Demuestre que la conclusión se deduce de las hipótesis: Solución 1. p q r....... Hipótesis 1. 2. p (q r)..... Equiv. implicación en 1. 3. q ( p r)..... H 1 : p q r H 2 : q r C: p r Módulo I: s Válidos Matemáticas Discretas - p. 38/50
Ejemplo (Lema 3) Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q r H 2 : q r C: p r Solución 1. p q r....... Hipótesis 1. 2. p (q r)..... Equiv. implicación en 1. 3. q ( p r)..... Prop. asociativas y conmutativas en 2. 4. Módulo I: s Válidos Matemáticas Discretas - p. 38/50
Ejemplo (Lema 3) Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q r H 2 : q r C: p r Solución 1. p q r....... Hipótesis 1. 2. p (q r)..... Equiv. implicación en 1. 3. q ( p r)..... Prop. asociativas y conmutativas en 2. 4. q r........... Módulo I: s Válidos Matemáticas Discretas - p. 38/50
Ejemplo (Lema 3) Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q r H 2 : q r C: p r Solución 1. p q r....... Hipótesis 1. 2. p (q r)..... Equiv. implicación en 1. 3. q ( p r)..... Prop. asociativas y conmutativas en 2. 4. q r........... Hipótesis 2. 5. Módulo I: s Válidos Matemáticas Discretas - p. 38/50
Ejemplo (Lema 3) Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q r H 2 : q r C: p r Solución 1. p q r....... Hipótesis 1. 2. p (q r)..... Equiv. implicación en 1. 3. q ( p r)..... Prop. asociativas y conmutativas en 2. 4. q r........... Hipótesis 2. 5. q r........... Módulo I: s Válidos Matemáticas Discretas - p. 38/50
Ejemplo (Lema 3) Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q r H 2 : q r C: p r Solución 1. p q r....... Hipótesis 1. 2. p (q r)..... Equiv. implicación en 1. 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. Módulo I: s Válidos Matemáticas Discretas - p. 38/50
Ejemplo (Lema 3) Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q r H 2 : q r C: p r Solución 1. p q r....... Hipótesis 1. 2. p (q r)..... Equiv. implicación en 1. 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..... Módulo I: s Válidos Matemáticas Discretas - p. 38/50
Ejemplo (Lema 3) Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q r H 2 : q r C: p r Solución 1. p q r....... Hipótesis 1. 2. p (q r)..... Equiv. implicación en 1. 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. Módulo I: s Válidos Matemáticas Discretas - p. 38/50
Ejemplo (Lema 3) Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q r H 2 : q r C: p r Solución 1. p q r....... Hipótesis 1. 2. p (q r)..... Equiv. implicación en 1. 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)..... Módulo I: s Válidos Matemáticas Discretas - p. 38/50
Ejemplo (Lema 3) Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q r H 2 : q r C: p r Solución 1. p q r....... Hipótesis 1. 2. p (q r)..... Equiv. implicación en 1. 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. Módulo I: s Válidos Matemáticas Discretas - p. 38/50
Ejemplo (Lema 3) Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q r H 2 : q r C: p r Solución 1. p q r....... Hipótesis 1. 2. p (q r)..... Equiv. implicación en 1. 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........... Módulo I: s Válidos Matemáticas Discretas - p. 38/50
Ejemplo (Lema 3) Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q r H 2 : q r C: p r Solución 1. p q r....... Hipótesis 1. 2. p (q r)..... Equiv. implicación en 1. 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. Módulo I: s Válidos Matemáticas Discretas - p. 38/50
Ejemplo (Lema 3) Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q r H 2 : q r C: p r Solución 1. p q r....... Hipótesis 1. 2. p (q r)..... Equiv. implicación en 1. 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........... Módulo I: s Válidos Matemáticas Discretas - p. 38/50
Ejemplo (Lema 3) Demuestre que la conclusión se deduce de las hipótesis: H 1 : p q r H 2 : q r C: p r Solución 1. p q r....... Hipótesis 1. 2. p (q r)..... Equiv. implicación en 1. 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. Módulo I: s Válidos Matemáticas Discretas - p. 38/50
Qué ocurre cuando después de un argumento no obtenemos algo correcto? Hay dos alternativas importantes: Cuando el argumento es válido: 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 inválido: 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: s Válidos Matemáticas Discretas - p. 39/50
En esta lectura veremos algunos ejemplos interesantes que se presentaron en la realización de la tarea. Módulo I: s Válidos 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: s Válidos 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: s Válidos 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: s 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................ Módulo I: s 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. Módulo I: s 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................ Módulo I: s 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. Módulo I: s 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......... Módulo I: s 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. Módulo I: s 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: s 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. Módulo I: s 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: s 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. Módulo I: s 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: s 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................ Ley de inversas en 5. Módulo I: s 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................ Ley de inversas en 5. Por tanto, el caso I no puede ocurrir. Módulo I: s 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: s 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................ Módulo I: s 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. Módulo I: s 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................ Módulo I: s 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. Módulo I: s 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........... Módulo I: s 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. Módulo I: s 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: s 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. Módulo I: s 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: s 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. Módulo I: s 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: s 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................ Ley de inversas en 5. Módulo I: s 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................ Ley de inversas en 5. Por tanto, el caso II no puede ocurrir. Módulo I: s 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: s 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................ Módulo I: s 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. Módulo I: s 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................ Módulo I: s 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. Módulo I: s 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)....... Módulo I: s 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. Módulo I: s 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: s 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. Módulo I: s 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: s 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................ Silogismo disjuntivo con 4. y 1. Módulo I: s 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................ Silogismo disjuntivo con 4. y 1. Así, no hay forma de avanzar y llegar a una contradicción. Por tanto, el caso III puede ocurrir. Módulo I: s 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: s 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................ Módulo I: s 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. Módulo I: s 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................ Módulo I: s 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. Módulo I: s 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)......... Módulo I: s 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. Módulo I: s 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: s 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. Módulo I: s 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: s 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. Módulo I: s 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: s 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. Módulo I: s 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: s 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................ Ley de inversas en 6. Módulo I: s 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................ Ley de inversas en 6. Por tanto, el caso IV no puede ocurrir. Módulo I: s Válidos Matemáticas Discretas - p. 46/50
A B C D Por consiguiente el único caso posible es el caso III: A es mentiroso y B es honesto: A es honesto es pero B mentiroso A es mentiroso pero B es honesto A y B son honestos A y B son mentirosos E No es posible concluir Módulo I: s Válidos 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: s Válidos Matemáticas Discretas - p. 48/50
La clave de este problema está en el número de honestos: Módulo I: s Válidos 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: s Válidos 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: s Válidos Matemáticas Discretas - p. 49/50
Temas Vistos Concepto de 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 Método de Módulo I: s Válidos Matemáticas Discretas - p. 50/50