Matemáticas Discretas TC1003
|
|
|
- Bernardo Revuelta Aranda
- hace 7 años
- Vistas:
Transcripción
1 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
2 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
3 Definición Un argumento es una secuencia de afirmaciones. Módulo I: s Válidos Matemáticas Discretas - p. 3/50
4 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
5 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
6 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
7 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
8 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
9 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
10 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
11 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
12 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
13 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
14 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
15 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
16 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
17 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
18 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
19 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
20 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
21 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
22 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
23 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
24 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
25 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
26 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
27 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
28 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
29 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
30 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
31 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
32 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
33 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
34 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
35 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
36 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
37 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
38 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
39 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
40 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
41 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
42 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
43 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
44 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
45 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
46 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
47 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
48 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
49 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
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
51 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
52 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
53 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
54 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
55 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
56 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
57 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
58 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
59 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
60 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
61 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
62 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
63 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
64 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
65 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
66 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
67 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
68 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
69 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
70 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
71 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
72 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
73 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
74 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
75 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
76 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 Módulo I: s Válidos Matemáticas Discretas - p. 34/50
77 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 q r.... Módulo I: s Válidos Matemáticas Discretas - p. 34/50
78 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 q r.... Hipótesis Módulo I: s Válidos Matemáticas Discretas - p. 34/50
79 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 q r.... Hipótesis r Módulo I: s Válidos Matemáticas Discretas - p. 34/50
80 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 q r.... Hipótesis r Modus ponens con 4. y 5. Módulo I: s Válidos Matemáticas Discretas - p. 34/50
81 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
82 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
83 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
84 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
85 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
86 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
87 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 Módulo I: s Válidos Matemáticas Discretas - p. 35/50
88 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 t s Módulo I: s Válidos Matemáticas Discretas - p. 35/50
89 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 t s Hipótesis Módulo I: s Válidos Matemáticas Discretas - p. 35/50
90 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 t s Hipótesis s Módulo I: s Válidos Matemáticas Discretas - p. 35/50
91 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 t s Hipótesis s Silogismo disjuntivo con 4. y Módulo I: s Válidos Matemáticas Discretas - p. 35/50
92 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 t s Hipótesis s Silogismo disjuntivo con 4. y r s Módulo I: s Válidos Matemáticas Discretas - p. 35/50
93 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 t s Hipótesis s Silogismo disjuntivo con 4. y r s Hipótesis Módulo I: s Válidos Matemáticas Discretas - p. 35/50
94 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 t s Hipótesis s Silogismo disjuntivo con 4. y r s Hipótesis r Módulo I: s Válidos Matemáticas Discretas - p. 35/50
95 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 t s Hipótesis s Silogismo disjuntivo con 4. y r s Hipótesis r Modus tollens con 6. y Módulo I: s Válidos Matemáticas Discretas - p. 35/50
96 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 t s Hipótesis s Silogismo disjuntivo con 4. y r s Hipótesis r Modus tollens con 6. y p r Módulo I: s Válidos Matemáticas Discretas - p. 35/50
97 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 t s Hipótesis s Silogismo disjuntivo con 4. y r s Hipótesis r Modus tollens con 6. y p r Hipótesis Módulo I: s Válidos Matemáticas Discretas - p. 35/50
98 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 t s Hipótesis s Silogismo disjuntivo con 4. y r s Hipótesis r Modus tollens con 6. y p r Hipótesis p Módulo I: s Válidos Matemáticas Discretas - p. 35/50
99 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 t s Hipótesis s Silogismo disjuntivo con 4. y r s Hipótesis r Modus tollens con 6. y p r Hipótesis p Modus tollens con 8. y 7. Módulo I: s Válidos Matemáticas Discretas - p. 35/50
100 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
101 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
102 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 Módulo I: s Válidos Matemáticas Discretas - p. 36/50
103 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 p q.... Módulo I: s Válidos Matemáticas Discretas - p. 36/50
104 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 p q.... Equiv. implicación en Módulo I: s Válidos Matemáticas Discretas - p. 36/50
105 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 p q.... Equiv. implicación en p r..... Módulo I: s Válidos Matemáticas Discretas - p. 36/50
106 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 p q.... Equiv. implicación en p r..... Hipótesis Módulo I: s Válidos Matemáticas Discretas - p. 36/50
107 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 p q.... Equiv. implicación en p r..... Hipótesis r p..... Módulo I: s Válidos Matemáticas Discretas - p. 36/50
108 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 p q.... Equiv. implicación en p r..... Hipótesis r p..... Conmutatividad en Módulo I: s Válidos Matemáticas Discretas - p. 36/50
109 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 p q.... Equiv. implicación en p r..... Hipótesis r p..... Conmutatividad en r p.. Módulo I: s Válidos Matemáticas Discretas - p. 36/50
110 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 p q.... Equiv. implicación en p r..... Hipótesis r p..... Conmutatividad en r p.. Equiv. implicación en Módulo I: s Válidos Matemáticas Discretas - p. 36/50
111 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 p q.... Equiv. implicación en p r..... Hipótesis r p..... Conmutatividad en r p.. Equiv. implicación en r q.... Módulo I: s Válidos Matemáticas Discretas - p. 36/50
112 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 p q.... Equiv. implicación en p r..... Hipótesis r p..... Conmutatividad en r p.. Equiv. implicación en r q.... Silog. hipotético con 5. y Módulo I: s Válidos Matemáticas Discretas - p. 36/50
113 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 p q.... Equiv. implicación en p r..... Hipótesis r p..... Conmutatividad en r p.. Equiv. implicación en r q.... Silog. hipotético con 5. y ( r) q.. Módulo I: s Válidos Matemáticas Discretas - p. 36/50
114 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 p q.... Equiv. implicación en p r..... Hipótesis r p..... Conmutatividad en r p.. Equiv. implicación en r q.... Silog. hipotético con 5. y ( r) q.. Equiv. implicación en Módulo I: s Válidos Matemáticas Discretas - p. 36/50
115 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 p q.... Equiv. implicación en p r..... Hipótesis r p..... Conmutatividad en r p.. Equiv. implicación en r q.... Silog. hipotético con 5. y ( r) q.. Equiv. implicación en q r Módulo I: s Válidos Matemáticas Discretas - p. 36/50
116 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 p q.... Equiv. implicación en p r..... Hipótesis r p..... Conmutatividad en r p.. Equiv. implicación en r q.... Silog. hipotético con 5. y ( r) q.. Equiv. implicación en q r Doble negación y conmutatividad en 7. Módulo I: s Válidos Matemáticas Discretas - p. 36/50
117 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
118 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
119 Ejemplo (Lema 2) Demuestre que la conclusión se deduce de las hipótesis: Solución 1. p q r 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
120 Ejemplo (Lema 2) Demuestre que la conclusión se deduce de las hipótesis: Solución 1. p q r Hipótesis 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
121 Ejemplo (Lema 2) Demuestre que la conclusión se deduce de las hipótesis: Solución 1. p q r Hipótesis p (q r)..... Equiv. implicación en H 1 : p q r H 2 : p q C : p r Módulo I: s Válidos Matemáticas Discretas - p. 37/50
122 Ejemplo (Lema 2) Demuestre que la conclusión se deduce de las hipótesis: Solución 1. p q r Hipótesis p (q r)..... Equiv. implicación en 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
123 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 p (q r)..... Equiv. implicación en q ( p r)..... Prop. asociativas y conmutativas en Módulo I: s Válidos Matemáticas Discretas - p. 37/50
124 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 p (q r)..... Equiv. implicación en q ( p r)..... Prop. asociativas y conmutativas en p q Módulo I: s Válidos Matemáticas Discretas - p. 37/50
125 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 p (q r)..... Equiv. implicación en q ( p r)..... Prop. asociativas y conmutativas en p q Hipótesis Módulo I: s Válidos Matemáticas Discretas - p. 37/50
126 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 p (q r)..... Equiv. implicación en q ( p r)..... Prop. asociativas y conmutativas en p q Hipótesis p q Módulo I: s Válidos Matemáticas Discretas - p. 37/50
127 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 p (q r)..... Equiv. implicación en q ( p r)..... Prop. asociativas y conmutativas en p q Hipótesis p q Equiv. implicación en Módulo I: s Válidos Matemáticas Discretas - p. 37/50
128 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 p (q r)..... Equiv. implicación en q ( p r)..... Prop. asociativas y conmutativas en p q Hipótesis p q Equiv. implicación en q p Módulo I: s Válidos Matemáticas Discretas - p. 37/50
129 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 p (q r)..... Equiv. implicación en q ( p r)..... Prop. asociativas y conmutativas en p q Hipótesis p q Equiv. implicación en q p Prop. conmutativa en Módulo I: s Válidos Matemáticas Discretas - p. 37/50
130 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 p (q r)..... Equiv. implicación en q ( p r)..... Prop. asociativas y conmutativas en p q Hipótesis p q Equiv. implicación en q p Prop. conmutativa en ( p r) p.... Módulo I: s Válidos Matemáticas Discretas - p. 37/50
131 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 p (q r)..... Equiv. implicación en q ( p r)..... Prop. asociativas y conmutativas en p q Hipótesis p q Equiv. implicación en q p Prop. conmutativa en ( p r) p.... Lema 1 con 5. y Módulo I: s Válidos Matemáticas Discretas - p. 37/50
132 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 p (q r)..... Equiv. implicación en q ( p r)..... Prop. asociativas y conmutativas en p q Hipótesis p q Equiv. implicación en q p Prop. conmutativa en ( p r) p.... Lema 1 con 5. y ( p p) r.... Módulo I: s Válidos Matemáticas Discretas - p. 37/50
133 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 p (q r)..... Equiv. implicación en q ( p r)..... Prop. asociativas y conmutativas en p q Hipótesis p q Equiv. implicación en q p Prop. conmutativa en ( p r) p.... Lema 1 con 5. y ( p p) r.... Prop. asociativas y conmutativas en Módulo I: s Válidos Matemáticas Discretas - p. 37/50
134 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 p (q r)..... Equiv. implicación en q ( p r)..... Prop. asociativas y conmutativas en p q Hipótesis p q Equiv. implicación en q p Prop. conmutativa en ( p r) p.... Lema 1 con 5. y ( p p) r.... Prop. asociativas y conmutativas en p r Módulo I: s Válidos Matemáticas Discretas - p. 37/50
135 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 p (q r)..... Equiv. implicación en q ( p r)..... Prop. asociativas y conmutativas en p q Hipótesis p q Equiv. implicación en q p Prop. conmutativa en ( p r) p.... Lema 1 con 5. y ( p p) r.... Prop. asociativas y conmutativas en p r Ley idempotencia en Módulo I: s Válidos Matemáticas Discretas - p. 37/50
136 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 p (q r)..... Equiv. implicación en q ( p r)..... Prop. asociativas y conmutativas en p q Hipótesis p q Equiv. implicación en q p Prop. conmutativa en ( p r) p.... Lema 1 con 5. y ( p p) r.... Prop. asociativas y conmutativas en p r Ley idempotencia en p r Módulo I: s Válidos Matemáticas Discretas - p. 37/50
137 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 p (q r)..... Equiv. implicación en q ( p r)..... Prop. asociativas y conmutativas en p q Hipótesis p q Equiv. implicación en q p Prop. conmutativa en ( p r) p.... Lema 1 con 5. y ( p p) r.... Prop. asociativas y conmutativas en p r Ley idempotencia en p r Equiv. implicación en 9. Módulo I: s Válidos Matemáticas Discretas - p. 37/50
138 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
139 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
140 Ejemplo (Lema 3) Demuestre que la conclusión se deduce de las hipótesis: Solución 1. p q r 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
141 Ejemplo (Lema 3) Demuestre que la conclusión se deduce de las hipótesis: Solución 1. p q r Hipótesis 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
142 Ejemplo (Lema 3) Demuestre que la conclusión se deduce de las hipótesis: Solución 1. p q r Hipótesis p (q r)..... Equiv. implicación en H 1 : p q r H 2 : q r C: p r Módulo I: s Válidos Matemáticas Discretas - p. 38/50
143 Ejemplo (Lema 3) Demuestre que la conclusión se deduce de las hipótesis: Solución 1. p q r Hipótesis p (q r)..... Equiv. implicación en 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
144 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 p (q r)..... Equiv. implicación en q ( p r)..... Prop. asociativas y conmutativas en Módulo I: s Válidos Matemáticas Discretas - p. 38/50
145 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 p (q r)..... Equiv. implicación en q ( p r)..... Prop. asociativas y conmutativas en q r Módulo I: s Válidos Matemáticas Discretas - p. 38/50
146 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 p (q r)..... Equiv. implicación en q ( p r)..... Prop. asociativas y conmutativas en q r Hipótesis Módulo I: s Válidos Matemáticas Discretas - p. 38/50
147 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 p (q r)..... Equiv. implicación en q ( p r)..... Prop. asociativas y conmutativas en q r Hipótesis q r Módulo I: s Válidos Matemáticas Discretas - p. 38/50
148 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 p (q r)..... Equiv. implicación en q ( p r)..... Prop. asociativas y conmutativas en q r Hipótesis q r Equiv. implicación en Módulo I: s Válidos Matemáticas Discretas - p. 38/50
149 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 p (q r)..... Equiv. implicación en q ( p r)..... Prop. asociativas y conmutativas en q r Hipótesis q r Equiv. implicación en ( p r) r..... Módulo I: s Válidos Matemáticas Discretas - p. 38/50
150 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 p (q r)..... Equiv. implicación en q ( p r)..... Prop. asociativas y conmutativas en q r Hipótesis q r Equiv. implicación en ( p r) r..... Lema 1 con 3. y Módulo I: s Válidos Matemáticas Discretas - p. 38/50
151 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 p (q r)..... Equiv. implicación en q ( p r)..... Prop. asociativas y conmutativas en q r Hipótesis q r Equiv. implicación en ( p r) r..... Lema 1 con 3. y p (r r)..... Módulo I: s Válidos Matemáticas Discretas - p. 38/50
152 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 p (q r)..... Equiv. implicación en q ( p r)..... Prop. asociativas y conmutativas en q r Hipótesis q r Equiv. implicación en ( p r) r..... Lema 1 con 3. y p (r r)..... Prop. asociativa en Módulo I: s Válidos Matemáticas Discretas - p. 38/50
153 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 p (q r)..... Equiv. implicación en q ( p r)..... Prop. asociativas y conmutativas en q r Hipótesis q r Equiv. implicación en ( p r) r..... Lema 1 con 3. y p (r r)..... Prop. asociativa en p r Módulo I: s Válidos Matemáticas Discretas - p. 38/50
154 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 p (q r)..... Equiv. implicación en q ( p r)..... Prop. asociativas y conmutativas en q r Hipótesis q r Equiv. implicación en ( p r) r..... Lema 1 con 3. y p (r r)..... Prop. asociativa en p r Ley idempotencia en Módulo I: s Válidos Matemáticas Discretas - p. 38/50
155 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 p (q r)..... Equiv. implicación en q ( p r)..... Prop. asociativas y conmutativas en q r Hipótesis q r Equiv. implicación en ( p r) r..... Lema 1 con 3. y p (r r)..... Prop. asociativa en p r Ley idempotencia en p r Módulo I: s Válidos Matemáticas Discretas - p. 38/50
156 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 p (q r)..... Equiv. implicación en q ( p r)..... Prop. asociativas y conmutativas en q r Hipótesis q r Equiv. implicación en ( p r) r..... Lema 1 con 3. y p (r r)..... Prop. asociativa en p r Ley idempotencia en p r Equiv. implicación en 8. Módulo I: s Válidos Matemáticas Discretas - p. 38/50
157 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
158 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
159 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
160 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
161 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
162 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
163 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
164 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
165 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
166 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
167 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
168 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
Matemáticas Discretas TC1003
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,
Matemáticas Discretas TC1003
Matemáticas Discretas TC1003 Métodos de Demostración Departamento de Matemáticas / Centro de Sistema Inteligentes ITESM Métodos de Demostración Matemáticas Discretas - p. 1/13 Introducción En esta sección
p q p q p (p q) V V V V V F F F F V V F F F V F
3.2 Reglas de inferencia lógica Otra forma de transformación de las proposiciones lógicas son las reglas de separación, también conocidas como razonamientos válidos elementales, leyes del pensamiento,
LOGICA MATEMATICA. Utilizando esas definiciones y las leyes de lógica matemática, demostrar las siguientes tautologías:
LOGICA MATEMATICA Utilizando esas definiciones y las leyes de lógica matemática, demostrar las siguientes tautologías: 1 ) q p q p ( q ) p ( Definición ) q p ( Doble Negación ) p q ( Conmutatividad ) (
Cálculo Proposicional
Universidad Técnica ederico Santa María Departamento de Informática undamentos de Informática 1 Cálculo Proposicional Dr. Gonzalo Hernández Oliva Dr. Gonzalo Hernández USM I-1 Cálculo Proposicional 1 1)
Clase 5 1. Lógica proposicional. Razonamientos
Clase 5 1 Lógica proposicional Razonamientos Clase 5 2 LOGICA - INTRODUCCION!OBJETIVO Uno de los fundamentales objetivos ha sido el estudio de las DEDUCCIONES, RAZONAMIENTOS O ARGUMENTOS LOGICA DEDUCTIVA
Asignación de verdad a FBF
2.2.3. Semántica Asignación del valor cierto o falso a una proposición (simple o compuesta), con independencia de los significados que para nosotros tengan las proposiciones. Asignación de verdad a fórmulas
Ampliación Matemática Discreta. Justo Peralta López
Justo Peralta López UNIVERSIDAD DE ALMERíA DEPARTAMENTO DE ÁGEBRA Y ANÁLISIS MATEMÁTICO 1 Introducción 2 Axiomas y reglas de inferencia Reglas de la impliación, conjunción y disyunción 3 Reglas derivadas
2.1. Introducción Lógica: Campo del conocimiento relacionado con el estudio y el análisis de los métodos de razonamiento. El razonamiento lógico es es
Tema 2. Introducción a la lógica 1. Introducción 2. Lógica de proposiciones 1. Definiciones 2. Sintaxis 3. Semántica Bibliografía Matemática discreta y lógica. Grassman y Tremblay. 1997. Prentice Hall.
Lógica Proposicional. Sergio Stive Solano Sabié. Marzo de 2012
Lógica Proposicional Sergio Stive Solano Sabié Marzo de 2012 Lógica Proposicional Sergio Stive Solano Sabié Marzo de 2012 Proposiciones Definición 1.1 Una proposición (o declaración) es una oración declarativa
Matemáticas Discretas TC1003
Matemáticas Discretas TC1003 Lógica : Proposiciones, Conectivos, Tablas de Verdad y Departamento de Matemáticas / Centro de Sistema Inteligentes ITESM Lógica Matemáticas Discretas - p. 1/43 En esta lectura
TEMA I INTRODUCCIÓN A LA LÓGICA
TEMA I INTRODUCCIÓN A LA LÓGICA Policarpo Abascal Fuentes TEMA I Introducción a la lógica p. 1/6 TEMA 1 1. INTRODUCCIÓN A LA LÓGICA 1.1 INTRODUCCIÓN 1.2 LÓGICA PROPOSICIONAL 1.2.1 Conexiones lógicas 1.2.2
Camilo Ernesto Restrepo Estrada, Félix Ruiz de Villalba, Lina María Grajales Vanegas y Sergio Iván Restrepo Ochoa 1.
Guía de estudio Métodos de demostración Unidad A: Clase 3 Camilo Ernesto Restrepo Estrada, Félix Ruiz de Villalba, Lina María Grajales Vanegas y Sergio Iván Restrepo Ochoa 1.. Inferencias y métodos de
Lógica Matemática. M.C. Mireya Tovar Vidal
Lógica Matemática M.C. Mireya Tovar Vidal Contenido Proposicional Definición Sintaxis Proposición Conectivos lógicos Semántica Primer orden cuantificadores Finalidad de la unidad Traducir enunciados sencillos
1.4 Inferencia Lógica
Una Introducción a las Matemáticas Discretas y Teoría de Grafos 1.4 Inferencia Lógica En la Sección anterior reconocimos al Álgebra de Proposiciones como un conjunto de herramientas que nos permiten verificar
LÓGICA FORMAL TEORIAS DE PRIMER ORDEN. Axiomática
LÓGICA FORMAL TEORIAS DE PRIMER ORDEN Francisco Bueno Pedro López Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Teoría de Primer Orden 1 Formalmente,
Continuación de lógica básica
Programa Inmersión, Verano 2017 Notas escritas por Dr. M Notas del cursos. Basadas en los prontuarios de MATE 3001 y MATE 3023 Clase #12: martes, 15 de agosto de 2017. Continuación de lógica básica Definición
CENTRO FORMATIVO DE ANTIOQUIA CEFA MUNICIPIO DE MEDELLÍN ÁREA DE MATEMÁTICAS GRADO 11 LA DEMOSTRACIÓN
ALGUNAS REGLAS DE INFERENCIA LÓGICA PERÍODO I FECHA 18 de enero de 2018 NIVEL MEDIA TÉCNICA CENTRO FORMATIVO DE ANTIOQUIA CEFA MUNICIPIO DE MEDELLÍN ÁREA DE MATEMÁTICAS GRADO 11 LA DEMOSTRACIÓN Podemos
LOGICA Y ALGEBRA DISCRETA
LOGICA Y ALGEBRA DISCRETA Franco D. Menendez LABIA FACET - UNT Contenido de la Materia UNIDAD TEMÁTICA 2: DECISION EN EL LENGUAJE FORMAL Sistemas Axiomáticos. Noción General. Decisión Por Formas Normales.
CLAVE DE EXAMEN Matemática para computación 1 código de curso: 960
universidad de san carlos Facultad de Ingeniería Escuela de Ciencias Departamento de Matemática clave-960-1-m-2-00-2012 CLAVE DE EXAMEN Matemática para computación 1 código de curso: 960 Datos de la clave
Introducción a la Lógica
Tema 0 Introducción a la Lógica En cualquier disciplina científica se necesita distinguir entre argumentos válidos y no válidos. Para ello, se utilizan, a menudo sin saberlo, las reglas de la lógica. Aquí
2. Si P; Q; R son verdaderas y S; T son falsas, determine el valor de verdad de la proposición: [P =) (R =) T )] () [(:P ^ S) =) (Q =) :T )]
![2. Si P; Q; R son verdaderas y S; T son falsas, determine el valor de verdad de la proposición: [P =) (R =) T )] () [(:P ^ S) =) (Q =) :T )]](/thumbs/52/30304807.jpg "2. Si P; Q; R son verdaderas y S; T son falsas, determine el valor de verdad de la proposición: [P =) (R =) T )] () [(:P ^ S) =) (Q =) :T )]")
Instituto Tecnológico de Costa Rica Escuela de Matemática I semestre 2012 Cálculo Diferencial e Integral. Prof. Juan José fallas. 1 Leyes de la lógica y reglas de inferencia 2 Ejercicios 1 Leyes de la
Material educativo. Uso no comercial 1.4 MÉTODOS DE DEMOSTRACIÓN Método directo o Método de la hipótesis auxiliar
1.4 MÉTODOS DE DEMOSTRACIÓN Designamos en esta forma las estrategias o esquemas más generales que identificamos en los procesos deductivos. Estos modelos están fundamentados lógicamente en teoremas o reglas
LÓGICA FORMAL TEORIAS DE PRIMER ORDEN. Teoremas. Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid
LÓGICA FORMAL TEORIAS DE PRIMER ORDEN Pedro López Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Fórmulas elementales 1 Teniendo en cuenta las definiciones:
LÓGICA FORMAL TEORIAS DE PRIMER ORDEN. Teoremas
LÓGICA FORMAL TEORIAS DE PRIMER ORDEN Pedro López Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Fórmulas elementales 1 Teniendo en cuenta las definiciones:
LOGICA Y ALGEBRA DISCRETA
LOGICA Y ALGEBRA DISCRETA Franco D. Menendez LABIA FACET - UNT Contenido de la Materia UNIDAD TEMÁTICA 2: DECISION EN EL LENGUAJE FORMAL Sistemas Axiomáticos. Noción General. Decisión Por Formas Normales.
Propuesta sobre la enseñanza de la demostración de implicaciones
Propuesta sobre la enseñanza de la demostración de implicaciones Brenes 1 La enseñanza de la demostración Durante el primer año de estudios en las carreras de matemática y enseñanza de matemática usualmente
Lógica Matemática. Tema: Tautología, contradicción y evaluación de la validez
Lógica Matemática Tema: Tautología, contradicción y evaluación de la validez Tautología, contradicción y evaluación de la validez Una proposición molecular es una tautología si es cierta, cualesquiera
2.5 Los argumentos: premisas y conclusiones
Los argumentos: premisas y conclusiones 29 Continúa 2. Realizar traducción lógica. Como se observa, las proposiciones p y q están negadas, por lo que su traducción lógica es: p q 3. Obtener la cantidad
Lógica de Proposiciones y de Predicado
Lógica de Proposiciones y de Predicado Franco D. Menendez LABIA FACET - UNT Contenido de la Materia UNIDAD TEMÁTICA 2: DECISION EN EL LENGUAJE FORMAL»Sistemas Axiomáticos. Noción General. Decisión Por
Razonamiento Automático. Representación en Lógica de Predicados. Aplicaciones. Lógica de Predicados. Sintáxis y Semántica
Razonamiento Automático II.1 Representación en Lógica de Predicados Razonamiento en IA se refiere a razonamiento deductivo n Nuevos hechos son deducidos lógicamente a partir de otros. Elementos: n Representación
Sistema Axiomático para el Cálculo Proposicional
Sistema Axiomático para el Cálculo Proposicional Lógica Matemática José de Jesús Lavalle Martínez 12 de julio de 2011 Resumen Este documento es una traducción de partes de la sección 1.4 AN AXIOM SYSTEM
Inferencia Lógica. Salomón Ching Briceño. Licenciado en Matemáticas UNPRG. 18 de marzo de 2011
Inferencia Lógica Salomón Ching Briceño Licenciado en Matemáticas http://mathsalomon.260mb.com UNPRG 18 de marzo de 2011 Lic. Mat. Salomón Ching Inferencia Lógica Contenido I Lic. Mat. Salomón Ching Inferencia
MÉTODOS DE DEMOSTRACIÓN
2016-1 1 Presentación 2 Métodos de Demostración Sobre métodos de demostración algunas preguntas de interés 1 Qué es una demostración? Sobre métodos de demostración algunas preguntas de interés 1 Qué es
Estructuras Discretas. Teoremas. Técnicas de demostración. Reglas de Inferencia. Reglas de Inferencia Ley de Combinación.
Estructuras Discretas Teoremas Técnicas de demostración Claudio Lobos, Jocelyn Simmonds clobos,jsimmond@inf.utfsm.cl Universidad Técnica Federico Santa María Estructuras Discretas INF 15 Definición: teorema
Matemáticas Discretas Lógica
Coordinación de Ciencias Computacionales - INAOE Matemáticas Discretas Lógica Cursos Propedéuticos 2010 Ciencias Computacionales INAOE Lógica undamentos de Lógica Cálculo proposicional Cálculo de predicados
PRÁCTICO N o 2. Introducción a la Lógica Proposicional. Ejercicio 1:
Ejercicio 1: PRÁCTICO N o 2 Introducción a la Lógica Proposicional Dadas las siguientes frases identifique e indique cuáles son proposiciones simples: 1. Pedro es alto? 2. La cantante triunfa inesperadamente.
Notas en lógica básica
Notas basadas en el prontuarios de MATE 3325 Notas escritas por Dr. M Notas en lógica básica En estas notas trabajaremos con lógica básica. Empezamos con argumentos. Todos hemos utilizados argumentos en
ALGEBRA 1- GRUPO CIENCIAS- TURNO TARDE- V V V V F F F V F F F V
Resumen teoría Prof. Alcón ALGEBRA 1- GRUPO CIENCIAS- TURNO TARDE- Tablas de Verdad: p q p q p p V V V V F V F F F V F V F F F F p q p q V V V V F V F V V F F F p q p q V V V V F F F V V F F V p q p q
Lógica Proposicional. Sergio Stive Solano Sabié. Abril de 2013
Lógica Proposicional Sergio Stive Solano Sabié Abril de 2013 Lógica Proposicional Sergio Stive Solano Sabié Abril de 2013 Proposiciones Definición 1.1 Una proposición (o declaración) es una oración declarativa
Lógica Matemática. M.C. Mireya Tovar Vidal
Lógica Matemática M.C. Mireya Tovar Vidal Contenido Proposicional Definición Sintaxis Proposición Conectivos lógicos Semántica Primer orden cuantificadores Finalidad de la unidad Traducir enunciados sencillos
Operaciones con Proposiciones
Operaciones con Proposiciones ES UNA AFIRMACIÓN QUE PUEDE SER VERDADERA O FALSA EJEMPLOS DE PROPOSICIONES: La capital de España es Sevilla El Ebro pasa por Zaragoza Alicante tiene 45 millones de habitantes
Capítulo 1: Fundamentos: Lógica y Demostraciones Clase 2: Lógica de Predicados y Métodos de Demostración
Capítulo 1: Fundamentos: Lógica y Demostraciones Clase 2: Lógica de Predicados y Métodos de Demostración Matemática Discreta - CC3101 Profesor: Pablo Barceló P. Barceló Matemática Discreta - Cap. 1: Fundamentos:
Licenciatura en Ingeniería en Sistemas Inteligentes
Universidad Autónoma del Estado de México Unidad Académica Profesional Nezahualcóyotl Licenciatura en Ingeniería en Sistemas Inteligentes Unidad de aprendizaje: Lógica Matemática Inferencia Lógica Dra.
Algebras booleanas. B2) Leyes Distributivas. Cada operación es distributiva con respecto a la otra:
Algebras booleanas AXIOMAS DEL ALGEBRA DE BOOLE Sea B un conjunto en el cual se han definido dos operaciones binarias, + y * (En algunos casos se definen en términos de y respectivamente), y una operación
Clase 02/10/2013 Tomado y editado de los apuntes de Pedro Sánchez Terraf
Clase 02/10/2013 Tomado y editado de los apuntes de Pedro Sánchez Terraf Escenas de episodios anteriores objetivo: estudiar formalmente el concepto de demostración matemática. caso de estudio: lenguaje
2. Los símbolos de la lógica proposicional.
Bloque I: El Saber Filosófico. Tema 4: La Lógica Formal. 1. Las proposiciones y sus tipos. Una proposición es una oración enunciativa, es decir, una oración que afirma o niega algo y que puede ser verdadera
Matemáticas Dicretas LÓGICA MATEMÁTICA
Matemáticas Dicretas LÓGICA MATEMÁTICA Esta pagina fue diseñada como un auxiliar y herramienta para aquellos que esten interesados en reforzar y tener mas conocimientos sobre las matematicas discretas.
Apéndice 1 Reglas y leyes lógicas
1 Apéndice 1 Reglas y leyes lógicas 1. Reglas lógicas Tal como ya se ha visto, una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada en cada caso para
Lógica Proposicional. Cátedra de Matemática
Lógica Proposicional Cátedra de Matemática Abril 2017 Qué es la lógica proposicional? Es la disciplina que estudia métodos de análisis y razonamiento; utilizando el lenguaje de las matemáticas como un
Ejercicios de lógica
1. Sistemas formales. Ejercicios de lógica 1. Considere el siguiente sistema formal: Símbolos: M, I, U. Expresiones: cualquier cadena en los símbolos. Axioma: UMUIUU Regla de inferencia: xmyiz xumyuizuu
Resumen de aritmética de Peano
Resumen de aritmética de Peano UDELAR/FING/IMERL 16 de febrero de 2017 1. Fundamentos de la Aritmética de Peano. Axioma 1.1. Existe un conjunto al que denotamos N, un elemento 0 N y una función s : N N
Tema 2: Teoría de la Demostración
Tema 2: Teoría de la Demostración Conceptos: Estructura deductiva Teoría de la Demostración Sistemas axiomáticos: Kleene Fórmulas válidas Teorema de la Deducción Introducción a la T. de la Demostración
Sobre el teorema de la deducción
Sobre el teorema de la deducción José Alfredo Amor Montaño La teoría formal L para la lógica de proposiciones tiene como conjunto de símbolos primitivos al conjunto S = {, } {(, )} {P i } i N, de conectivos
LÓGICA FORMAL TEORIAS DE PRIMER ORDEN. Sintaxis y semántica
LÓGICA FORMAL TEORIAS DE PRIMER ORDEN Sintaxis y semántica Pedro López Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Lenguajes de primer orden 1 La lógica
SOBRE LOGICA MATEMATICA. Sandra M. Perilla-Monroy. Departamento de Ciencias Básicas, Universidad Santo Tomás, Bogotá, Colombia.
SOBRE LOGICA MATEMATICA Sandra M. Perilla-Monroy Departamento de Ciencias Básicas, Universidad Santo Tomás, Bogotá, Colombia. Resumen. sandraperilla@usantotomas.edu.co Carrera 9 No 51-11 Bogotá Colombia
Resumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón.
Resumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón. 0.1. Elementos de lógica Una proposición es una oración declamativa a la cual se le puede asignar un valor verdad: verdadera (V)
Lógica de Predicados
Lógica de redicados Lógica de predicados Lógica de predicados Cálculo de predicados Reglas de inferencia Deducción proposicional Demostración condicional Demostración indirecta Valores de certeza y Tautología
Demostración Contraejemplo. Métodos Indirectos
DEMOSTRACION Una demostración de un teorema es una verificación escrita que muestra que el teorema es verdadero. Informalmente, desde el punto de vista de la lógica, una demostración de un teorema es un
Lógica Proposicional. Significado de una Fórmula Proposicional
Proposicional Semántica Semántica Proposicional - Significado de una Fórmula Proposicional El significado de una proposición está dado por su valor de verdad (o sea, si es Verdadera o Falsa) que se obtiene
Sintaxis LÓGICA COMPUTACIONAL CÁLCULO DE PROPOSICIONES. Funciones boolenas. Semántica
Proposiciones atómicas y compuestas Sintaxis LÓGICA COMPUTACIONAL CÁLCULO DE PROPOSICIONES Francisco Hernández Quiroz Departamento de Matemáticas Facultad de Ciencias, UNAM E-mail: fhq@cienciasunammx Página
Lógica Proposicional
Proposicional Semántica Semántica Proposicional - Significado de una Fórmula Proposicional El significado de una proposición está dado por su valor de verdad (o sea, si es Verdadera o Falsa) que se obtiene
Matemáticas Discretas TC1003
Matemáticas Discretas TC1003 Módulo I: Departamento de Matemáticas ITESM Módulo I: Matemáticas Discretas - p. 1/24 La forma proposicional más importante es la condicional. La Módulo I: Matemáticas Discretas
UNIDAD I: LÓGICA MATEMÁTICA
UNIDAD I: LÓGICA MATEMÁTICA 1.1. Introducción La Lógica Matemática es la rama de las Matemáticas que nos permite comprender sobre la validez o no de razonamientos y demostraciones que se realizan. La lógica
Ampliación Matemática Discreta. Justo Peralta López
Justo Peralta López UNIVERSIDAD DE ALMERíA DEPARTAMENTO DE ÁGEBRA Y ANÁLISIS MATEMÁTICO 1 Introducción 2 Definición semántica de las proposiciones 3 Diagrama de valores de certeza 4 Evaluación de fórmulas.
Introducción a la Lógica Proposicional
Introducción a la Lógica Proposicional Araceli Guzmán y Guillermo Garro Facultad de Ciencias UNAM Semestre 2018-1 doyouwantmektalwar.wordpress.com Referencias básicas 1. Miguel Delgado y María J. Múñoz.
Análisis lógico Cálculo de proposiciones
Sintaxis Semántica Sistemas de demostración Análisis lógico Cálculo de proposiciones Departamento de Matemáticas Facultad de Ciencias, UNAM E-mail: fhq@ciencias.unam.mx Página Web: www.matematicas.unam.mx/fhq
Rudimentos 2: Lógica Matemática Profesor Ricardo Santander Baeza
Rudimentos 2: Lógica Matemática Profesor Ricardo Santander Baeza El capitulo Rudimentos sobre Lógica Matemática está destinado esencialmente a desarrollar técnicas, que permitan validar o refutar fórmulas
El conectivo XOR y la diferencia simétrica de conjuntos
El conectivo OR y la diferencia simétrica de conjuntos Memo Garro Enero 2018 Resumen Definimos la diferencia simétrica usual de conjuntos mediante el conectivo OR Y. También conocido comunmente como disyunción
UNIVERSIDAD DE SAN CARLOS DE GUATEMALA FACULTAD DE INGENIERÍA DEPARTAMENTO DE MATEMÁTICA. CLAVE M sB
UNIVERSIDAD DE SAN CARLOS DE GUATEMALA FACULTAD DE INGENIERÍA DEPARTAMENTO DE MATEMÁTICA CLAVE-960-1-M-1-00-2018sB CURSO: SEMESTRE: Primer CÓDIGO DEL CURSO: 960 TIPO DE EXAMEN: Primer Parcial FECHA DE
LÓGICA. 1. Qué es un silogismo Irregular? 2. Qué es un entimema? 3. Da un ejemplo de entimema. 4. Qué es un epiquerema?
LÓGICA 1. Qué es un silogismo Irregular? 2. Qué es un entimema? 3. Da un ejemplo de entimema 4. Qué es un epiquerema? 5. Da un ejemplo de un epiquerema 6. Qué es un Poli silogismo? 7. Da un ejemplo de
Asignatura de: Matemática Discreta. ucontinental.edu.pe 1
Asignatura : Matemática Discreta CALENDARIZACIÓN DE CONTENIDOS Modalidad Presencial 017-0 la Asignatura: Al término la asignatura, el estudiante será capaz analizar y resolver problemas estructuras discretas
Consecuencia Lógica. Desde un punto de vista lógico, un argumento no es más que una sucesión (finita) de premisas o hipótesis y una conclusión.
Desde un punto de vista lógico, un argumento no es más que una sucesión (finita) de premisas o hipótesis y una conclusión. 1,, n Un argumento es correcto si la conclusión es consecuencia, si se sigue,
Cuantificadores y Métodos de Demostración
Cuantificadores y Métodos de Demostración 1. Cuantificadores... 1 1.1. Cuantificador Existencial... 2 1.2. Cuantificador Universal... 3 2. Métodos de Demostración... 4 1. Cuantificadores Hasta ahora habíamos
Lógica Matemática. Contenido. Definición. Finalidad de la unidad. Proposicional. Primer orden
Contenido Lógica Matemática M.C. Mireya Tovar Vidal Proposicional Definición Sintaxis Proposición Conectivos lógicos Semántica Primer orden cuantificadores Finalidad de la unidad Definición Traducir enunciados
1.1.1 Conectivos lógicos, formas proposicionales y tablas de verdad.
Tema 1 Lógica. 1.1 Cálculo proposicional. Definición 1.1 Una proposición es una frase o sentencia declarativa que es verdadera o falsa pero no ambas cosas a la vez. Los dos posibles valores de verdad que
UNIVERSIDAD DE GUADALAJARA PROGRAMA DE ASIGNATURA MT106
UNIVERSIDAD DE GUADALAJARA PROGRAMA DE ASIGNATURA NOMBRE DE MATERIA CÓDIGO DE MATERIA DEPARTAMENTO ÁREA DE FORMACIÓN LOGICA Y CONJUNTOS MT106 CIENCIAS BIOLOGICAS BÁSICA COMUN CENTRO UNIVERSITARIO CENTRO
La Representación del Conocimiento CÓMO REPRESENTAR EL CONOCIMIENTO?
La Representación del Conocimiento CÓMO REPRESENTAR EL CONOCIMIENTO? TIPOS DE CONOCIMENTO El epistemología es el estudio del conocimiento, hay dos tipos esenciales llamados a priori y posteriori. Algoritmo
LógicaS Modales. Ricardo Oscar Rodríguez Departamento de Computación, Fac. Ciencias Exactas y Naturales, Universidad de Buenos Aires, Argentina.
Departamento de Computación, Fac. Ciencias Exactas y Naturales, Universidad de Buenos Aires, Argentina. Segunda Clase. 1er. Cuatrimestre, 2016 Outline 1 Repaso clase anterior Sintáxis Lógicas Modales Autocongruentes
Ejemplos de expresiones que no son proposiciones. Teorema 1. Existe una innidad de números primos.
Proposición Es una oración o una expresión matemática que arma o niega algo. s de proposiciones verdaderas 5 es un número impar 2 es un número par s de proposiciones falsas 14 es un número impar 2=5 s
Lógica proposicional 5. Sintaxis
Lógica proposicional 5. Sintaxis Juan Carlos León Universidad de Murcia Esquema del tema 5.1. Sintaxis y semántica 5.2. Fórmulas bien formadas 5.3. Alcance 5.4. Teoremas 5.5. Reglas derivadas 1 Lógica
Los números naturales. Definición y propiedades
Los números naturales. Definición y propiedades Con la idea de abrir boca para empezar los estudios de matemáticas en bachillerato, en un artículo anterior se hablaba sobre la introducción al número real
Sistemas deductivos. Lógica Computacional. Curso 2005/2006. Departamento de Matemática Aplicada Universidad de Málaga
Sistemas deductivos Lógica Computacional Departamento de Matemática plicada Universidad de Málaga Curso 2005/2006 Contenido 1 Sistema axiomático de Lukasiewicz Sistema proposicional Extensión a predicados
REGLAS Y LEYES LOGICAS
LOGICA II REGLAS Y LEYES LOGICAS Una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada para inferir deductivamente ciertos enunciados a partir de otros.
Capítulo 3 Cálculo proposicional 3.5 Razonamientos con proposiciones
3.5 Razonamientos con proposiciones Si nos entregan el valor de verdad de las proposiciones simples es posible deducir el valor de verdad de la proposición compuesta. p: Holmes nació antes que Marx, es
Lógica Clásica Proposicional
Lógica Clásica Proposicional Lógica Computacional Departamento de Matemática Aplicada Universidad de Málaga 10 de enero de 2008 Contenido 1 Sintaxis Alfabeto Fórmulas bien formadas Funciones recursivas
Capítulo II. Pruebas en Matemáticas
Capítulo II Pruebas en Matemáticas Ahora nos concentramos en afirmaciones matemáticas y sus pruebas. Se encuentra que tratar de escribir pruebas justificando cada paso se vuelve rápidamente inmanejable,
CUADERNILLO DE ÍTEMS ÍTEMS DE SELECCIÓN MÚLTIPLE CON ÚNICA RESPUESTA
CUADERNILLO DE ÍTEMS ÍTEMS DE SELECCIÓN MÚLTIPLE CON ÚNICA RESPUESTA A continuación, usted encontrará preguntas que se desarrollan en torno a un enunciado, problema o contexto, frente al cual, usted debe
TEMA 1: LÓGICA. p p Operador conjunción. Se lee y y se representa por. Su tabla de verdad es: p q p q
TEMA 1: LÓGICA. Definición. La lógica es la ciencia que estudia el razonamiento formalmente válido. Para ello tiene un simbolismo que evita las imprecisiones del lenguaje humano y permite comprobar la
FORMATO DE CONTENIDO DE CURSO PLANEACIÓN DEL CONTENIDO DE CURSO
FACULTAD DE: CIENCIAS DE LA EDUCACIÓN PROGRAMA DE: LICENCIATURA EN MATEMÁTICAS 1. IDENTIFICACIÓN DEL CURSO PLANEACIÓN DEL CONTENIDO DE CURSO NOMBRE : LÓGICA MATEMÁTICA CÓDIGO : 22133 SEMESTRE : SEGUNDO
LÓGICA PRIMER SEMESTRE. Definición del Concepto de Lógica.
PRIMER SEMESTRE Definición del Concepto de Lógica. LÓGICA 1. Quién es el Fundador de la Lógica y como la define? 2. Cuál es la definición Nominal de Lógica? 3. Escribe la definición Real de Lógica 4. Qué
MEL* Sistemas formales y sistemas lógicos 1
2.1.1 2 2a (x y) z : z x y 2b x y x y : x y x y 2.1.2 1 1a Hay que expresar cada uno de los operadores de la tabla de 2.1.2.3 en términos de y y las variables x, y. Nótese que se describen como operadores
Material educativo. Uso no comercial CAPÍTULO 1. ELEMENTOS BÁSICOS DEL CÁLCULO PROPOSICIONAL Y CUANTIFICACIONAL. Introducción. Objetivos Específicos.
CAPÍTULO 1. ELEMENTOS BÁSICOS DEL CÁLCULO PROPOSICIONAL Y CUANTIFICACIONAL Introducción. Como ya lo expresé anteriormente, el desarrollo del texto está inscrito dentro de la estructura que corresponde
Algebra Lineal Espacios generados en R n Problemas Resueltos
Algebra Lineal Espacios generados en R n Problemas Resueltos. Si el sistema [A b, es consistente, entonces... A B b C(A) b / C(A) Si [A b es consistente, entonces por el resultado clave : b es combinación
Capítulo 4. Lógica matemática. Continuar
Capítulo 4. Lógica matemática Continuar Introducción La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas determina si un teorema es falso o verdadero, además
Guía de estudio Algunos aspectos de lógica matemática Unidad A: Clases 1 y 2
Guía de estudio Algunos aspectos de lógica matemática Unidad A: Clases 1 y 2 Camilo Ernesto Restrepo Estrada, Félix Ruiz de Villalba, Lina María Grajales Vanegas y Sergio Iván Restrepo Ochoa *. 1. Lógica
Introducción a la Lógica Proposicional Seminario de Matemáticas
Introducción a la Lógica Proposicional Seminario de Matemáticas Julio Ariel Hurtado Alegría ahurtado@unicauca.edu.co 8 de mayo de 2015 Julio A. Hurtado A. Departamento de Sistemas 1 / 34 Agenda Motivación
Fundamentos de Lógica y Teoría de Conjuntos
Índice general 1. Lógica y Teoría de conjuntos 3 1.1. Introducción a la Lógica............................ 3 1.1.1. Repaso histórico (Ref. Grimaldi pág. 187).............. 3 1.1.2. Conceptos básicos (Ref.
3. LA ARGUMENTACIÓN FICHA 1 DE REFUERZO DE CONTENIDOS
FICHA 1 DE REFUERZO DE CONTENIDOS 1. La argumentación está formada por dos tipos de enunciados: a) inducción y deducción; b) analíticos y sintéticos; c) premisas y conclusión; d) axiomas y teoremas. 2.