Matemticas Discretas

TC1003

Mdulo I: Argumentos Vlidos

Departamento de Matemticas

ITESM

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 1/50

 Introduccin

En matemticas y en lgica un argumento no es Introduccion

Argumento
una disputa. Ms bien, es una secuencia Argumento Valido
Ejemplos Validez
estructurada de afirmaciones que terminan en una Deduccion Natural
conclusin. En esta seccin veremos cmo Reglas de
Inferencia
determinar si un argumento es vlido; es decir, Conceptos
Ejemplos deducion
cundo la conclusin se deduce de los hechos Comentarios
que la preceden. Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 2/50

 Argumento

Definicion Introduccion
Argumento
Un argumento es una secuencia de afirmaciones. Argumento Valido
Ejemplos Validez
Deduccion Natural
Reglas de
Inferencia
Conceptos
Ejemplos deducion
Comentarios
Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 3/50

 Argumento

Definicion Introduccion
Argumento
Un argumento es una secuencia de afirmaciones. Argumento Valido
Todas las afirmaciones excepto la ltima se Ejemplos Validez
Deduccion Natural
llamarn premisas, o suposiciones o hiptesis. Reglas de
Inferencia
Conceptos
Ejemplos deducion
Comentarios
Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 3/50

 Argumento

Definicion Introduccion
Argumento
Un argumento es una secuencia de afirmaciones. Argumento Valido
Todas las afirmaciones excepto la ltima se Ejemplos Validez
Deduccion Natural
llamarn premisas, o suposiciones o hiptesis. La Reglas de
Inferencia
declaracin final se llamar conclusin. Conceptos
Ejemplos deducion
Comentarios
Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 3/50

 Ejemplo Introduccion
Argumento
Lo siguiente representa a un argumento: Argumento Valido
1. Si Juan estudia adecuadamente, entonces Juan Ejemplos Validez
Deduccion Natural
pasa el curso de Discretas. Reglas de
Inferencia
2. Juan est estudiando adecuadamente. Conceptos
Ejemplos deducion
3. Juan pasar el curso de Discretas. Comentarios
Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 4/50

 Argumentos Vlidos e Invlidos

Definicion Introduccion
Argumento
Diremos que un argumento es argumento vlido si Argumento Valido
Ejemplos Validez
Deduccion Natural
Reglas de
Inferencia
Conceptos
Ejemplos deducion
Comentarios
Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 5/50

 Argumentos Vlidos e Invlidos

Definicion Introduccion
Argumento
Diremos que un argumento es argumento vlido si Argumento Valido
para cualquier valor de las variables Ejemplos Validez
Deduccion Natural
proposicionales involucradas en las frmulas que Reglas de
Inferencia
hacen verdaderas las premisas, Conceptos
Ejemplos deducion
Comentarios
Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 5/50

 Argumentos Vlidos e Invlidos

Definicion Introduccion
Argumento
Diremos que un argumento es argumento vlido si Argumento Valido
para cualquier valor de las variables Ejemplos Validez
Deduccion Natural
proposicionales involucradas en las frmulas que Reglas de
Inferencia
hacen verdaderas las premisas, tambin la Conceptos
Ejemplos deducion
conclusin es verdadera. Comentarios
Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 5/50

 De la propia definicin de argumento vlido se Introduccion
Argumento
puede deducir una metodologa para verificar la Argumento Valido
Ejemplos Validez
validez de un argumento: Deduccion Natural
Reglas de
Inferencia
Conceptos
Ejemplos deducion
Comentarios
Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 6/50

 De la propia definicin de argumento vlido se Introduccion
Argumento
puede deducir una metodologa para verificar la Argumento Valido
Ejemplos Validez
validez de un argumento: Deduccion Natural
1. Identificar las premisas y la conclusin Reglas de
Inferencia
Conceptos
Ejemplos deducion
Comentarios
Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 6/50

 De la propia definicin de argumento vlido se Introduccion
Argumento
puede deducir una metodologa para verificar la Argumento Valido
Ejemplos Validez
validez de un argumento: Deduccion Natural
1. Identificar las premisas y la conclusin Reglas de
Inferencia
2. Construir una tabla de verdad que incluya las Conceptos
Ejemplos deducion
premisas y la conclusin Comentarios
Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 6/50

 De la propia definicin de argumento vlido se Introduccion
Argumento
puede deducir una metodologa para verificar la Argumento Valido
Ejemplos Validez
validez de un argumento: Deduccion Natural
1. Identificar las premisas y la conclusin Reglas de
Inferencia
2. Construir una tabla de verdad que incluya las Conceptos
Ejemplos deducion
premisas y la conclusin Comentarios
Introduccion
3. Sealar de la tabla slo aquellos renglones que Ejemplo 1
Ejemplo 2
hacen que todas las premisas sean verdaderas. Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 6/50

 De la propia definicin de argumento vlido se Introduccion
Argumento
puede deducir una metodologa para verificar la Argumento Valido
Ejemplos Validez
validez de un argumento: Deduccion Natural
1. Identificar las premisas y la conclusin Reglas de
Inferencia
2. Construir una tabla de verdad que incluya las Conceptos
Ejemplos deducion
premisas y la conclusin Comentarios
Introduccion
3. Sealar de la tabla slo aquellos renglones que Ejemplo 1
Ejemplo 2
hacen que todas las premisas sean verdaderas. Sumario
Estos se llamarn renglones crticos

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 6/50

 De la propia definicin de argumento vlido se Introduccion
Argumento
puede deducir una metodologa para verificar la Argumento Valido
Ejemplos Validez
validez de un argumento: Deduccion Natural
1. Identificar las premisas y la conclusin Reglas de
Inferencia
2. Construir una tabla de verdad que incluya las Conceptos
Ejemplos deducion
premisas y la conclusin Comentarios
Introduccion
3. Sealar de la tabla slo aquellos renglones que Ejemplo 1
Ejemplo 2
hacen que todas las premisas sean verdaderas. Sumario
Estos se llamarn renglones crticos
4. Verificar que para los renglones crticos, la
conclusin es verdadera.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 6/50

 De la propia definicin de argumento vlido se Introduccion
Argumento
puede deducir una metodologa para verificar la Argumento Valido
Ejemplos Validez
validez de un argumento: Deduccion Natural
1. Identificar las premisas y la conclusin Reglas de
Inferencia
2. Construir una tabla de verdad que incluya las Conceptos
Ejemplos deducion
premisas y la conclusin Comentarios
Introduccion
3. Sealar de la tabla slo aquellos renglones que Ejemplo 1
Ejemplo 2
hacen que todas las premisas sean verdaderas. Sumario
Estos se llamarn renglones crticos
4. Verificar que para los renglones crticos, la
conclusin es verdadera. En tal caso se tiene
un Argumento vlido

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 6/50

 De la propia definicin de argumento vlido se Introduccion
Argumento
puede deducir una metodologa para verificar la Argumento Valido
Ejemplos Validez
validez de un argumento: Deduccion Natural
1. Identificar las premisas y la conclusin Reglas de
Inferencia
2. Construir una tabla de verdad que incluya las Conceptos
Ejemplos deducion
premisas y la conclusin Comentarios
Introduccion
3. Sealar de la tabla slo aquellos renglones que Ejemplo 1
Ejemplo 2
hacen que todas las premisas sean verdaderas. Sumario
Estos se llamarn renglones crticos
4. Verificar que para los renglones crticos, la
conclusin es verdadera. En tal caso se tiene
un Argumento vlido

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 6/50

 De la propia definicin de argumento vlido se Introduccion
Argumento
puede deducir una metodologa para verificar la Argumento Valido
Ejemplos Validez
validez de un argumento: Deduccion Natural
1. Identificar las premisas y la conclusin Reglas de
Inferencia
2. Construir una tabla de verdad que incluya las Conceptos
Ejemplos deducion
premisas y la conclusin Comentarios
Introduccion
3. Sealar de la tabla slo aquellos renglones que Ejemplo 1
Ejemplo 2
hacen que todas las premisas sean verdaderas. Sumario
Estos se llamarn renglones crticos
4. Verificar que para los renglones crticos, la
conclusin es verdadera. En tal caso se tiene
un Argumento vlido
5. Detectar si existe un rengln crtico con
conclusin falsa.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 6/50

 De la propia definicin de argumento vlido se Introduccion
Argumento
puede deducir una metodologa para verificar la Argumento Valido
Ejemplos Validez
validez de un argumento: Deduccion Natural
1. Identificar las premisas y la conclusin Reglas de
Inferencia
2. Construir una tabla de verdad que incluya las Conceptos
Ejemplos deducion
premisas y la conclusin Comentarios
Introduccion
3. Sealar de la tabla slo aquellos renglones que Ejemplo 1
Ejemplo 2
hacen que todas las premisas sean verdaderas. Sumario
Estos se llamarn renglones crticos
4. Verificar que para los renglones crticos, la
conclusin es verdadera. En tal caso se tiene
un Argumento vlido
5. Detectar si existe un rengln crtico con
conclusin falsa. En cuyo caso se dir
Argumento invlido
Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 6/50
 Ejemplos de validez

Veamos ahora cmo se aplica el mtodo descrito Introduccion

Argumento
para probar la validez o invalidez de un argumento. Argumento Valido
Ejemplos Validez
Deduccion Natural
Reglas de
Inferencia
Conceptos
Ejemplos deducion
Comentarios
Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 7/50

 Ejemplo Introduccion
Argumento
Determine si el siguiente argumento es vlido: Argumento Valido
Ejemplos Validez
1. p q Deduccion Natural
Reglas de
2. q p Inferencia
Conceptos
3. p q Ejemplos deducion
Comentarios
Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 8/50

 Ejemplo Introduccion
Argumento
Determine si el siguiente argumento es vlido: Argumento Valido
Ejemplos Validez
1. p q Deduccion Natural
Reglas de
2. q p Inferencia
Conceptos
3. p q Ejemplos deducion
Comentarios
Solucion Introduccion
Realizando la tabla de verdad obtenemos: Ejemplo 1
Ejemplo 2
Sumario
p q pq qp pq

F F T T F
F T T F T
T F F T T
T T T T T

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 8/50

 De la cual los renglones crticos son: Introduccion
Argumento
p q pq q p pq Argumento Valido
Ejemplos Validez
Deduccion Natural
F F T T F Reglas de
Inferencia
F T T F T Conceptos
Ejemplos deducion
T F F T T Comentarios
Introduccion
T T T T T Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 9/50

 De la cual los renglones crticos son: Introduccion
Argumento
p q pq q p pq Argumento Valido
Ejemplos Validez
Deduccion Natural
F F T T F Reglas de
Inferencia
F T T F T Conceptos
Ejemplos deducion
T F F T T Comentarios
Introduccion
T T T T T Ejemplo 1
Ejemplo 2
De donde observamos que de los dos renglones Sumario
crticos (rengln que corresponde a una
combinacin de las variables proposicionales que
hacen verdaderas todas las hiptesis) uno de ellos
tiene la conclusin falsa:

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 9/50

 De la cual los renglones crticos son: Introduccion
Argumento
p q pq q p pq Argumento Valido
Ejemplos Validez
Deduccion Natural
F F T T F Reglas de
Inferencia
F T T F T Conceptos
Ejemplos deducion
T F F T T Comentarios
Introduccion
T T T T T Ejemplo 1
Ejemplo 2
De donde observamos que de los dos renglones Sumario
crticos (rengln que corresponde a una
combinacin de las variables proposicionales que
hacen verdaderas todas las hiptesis) uno de ellos
tiene la conclusin falsa: concluimos que el
argumento es invlido.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 9/50

 Ejemplo Introduccion
Argumento
Determine si el siguiente argumento es vlido. Argumento Valido
1. p q, 2. p r, 3. p q r Ejemplos Validez
Deduccion Natural
Reglas de
Inferencia
Conceptos
Ejemplos deducion
Comentarios
Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 10/50

 Ejemplo Introduccion
Argumento
Determine si el siguiente argumento es vlido. Argumento Valido
1. p q, 2. p r, 3. p q r Ejemplos Validez
Deduccion Natural
Solucion Reglas de
Inferencia
Realizando la tabla de verdad obtenemos: Conceptos
p q r pq pr qr pqr Ejemplos deducion
Comentarios
Introduccion
F F F T T F T
Ejemplo 1
F F T T T F T Ejemplo 2
Sumario
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

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 10/50

 De la cual los renglones crticos son: Introduccion
Argumento
p q r pq pr qr pqr Argumento Valido
Ejemplos Validez
Deduccion Natural
F F F T T F T Reglas de
Inferencia
F F T T T F T Conceptos
Ejemplos deducion
F T F T T F T Comentarios
Introduccion
T F F F F F F Ejemplo 1
Ejemplo 2
F T T T T T T Sumario

T F T F T F F
T T F T F F F
T T T T T T T

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 11/50

 De la cual los renglones crticos son: Introduccion
Argumento
p q r pq pr qr pqr Argumento Valido
Ejemplos Validez
Deduccion Natural
F F F T T F T Reglas de
Inferencia
F F T T T F T Conceptos
Ejemplos deducion
F T F T T F T Comentarios
Introduccion
T F F F F F F Ejemplo 1
Ejemplo 2
F T T T T T T Sumario

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

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 11/50

 Ejemplo Introduccion
Argumento
Determine si el siguiente argumento es vlido. Argumento Valido
1. p q r, 2. p q, 3. q p, 4. r Ejemplos Validez
Deduccion Natural
Reglas de
Inferencia
Conceptos
Ejemplos deducion
Comentarios
Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 12/50

 Ejemplo Introduccion
Argumento
Determine si el siguiente argumento es vlido. Argumento Valido
1. p q r, 2. p q, 3. q p, 4. r Ejemplos Validez
Deduccion Natural
Solucion Reglas de
Inferencia
Realizando la tabla de verdad obtenemos: Conceptos
p q r q p q p q r pq qp Ejemplos deducion
Comentarios
Introduccion
F F F T F T F T
Ejemplo 1
F F T T F T F T Ejemplo 2
Sumario
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

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 12/50

 De la cual los renglones crticos son: Introduccion
Argumento
Argumento Valido
Ejemplos Validez
p q r q p q p q r pq qp Deduccion Natural
Reglas de
F F F T F T F T Inferencia
Conceptos
F F T T F T F T Ejemplos deducion
Comentarios
F T F F F T T F Introduccion
Ejemplo 1
T F F T T F T T Ejemplo 2
Sumario
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

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 13/50

 De la cual los renglones crticos son: Introduccion
Argumento
Argumento Valido
Ejemplos Validez
p q r q p q p q r pq qp Deduccion Natural
Reglas de
F F F T F T F T Inferencia
Conceptos
F F T T F T F T Ejemplos deducion
Comentarios
F T F F F T T F Introduccion
Ejemplo 1
T F F T T F T T Ejemplo 2
Sumario
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
invlido.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 13/50

 Deduccin Natural

El mtodo de verificacin de la validez de un Introduccion

Argumento
argumento recien visto aunque correcto es uno Argumento Valido
Ejemplos Validez
poco humano y que no se puede llevar a cabo Deduccion Natural
cuando el total de hiptesis a usar no est Reglas de
Inferencia
delimitado. El mtodo de deduccin natural Conceptos
Ejemplos deducion
consiste en construir un argumento para un Comentarios
conjunto de premisas y una conclusin. Este Introduccion
Ejemplo 1
mtodo se basa en el uso de reglas de inferencia Ejemplo 2
Sumario
que permiten ir obteniendo frmulas verdaderas a
partir de la suposicin de que sean verdaderas un
nmero reducido de frmulas. Una regla de
inferencia es a su vez un argumento y su validez
ser probada utilizando el mtodo recien visto.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 14/50

 Reglas Inferencia

Verifiquemos la validez de las reglas de inferencia Introduccion

Argumento
que utilizaremos en el mtodo de deduccin Argumento Valido
Ejemplos Validez
natural. Deduccion Natural
Modus Pones Reglas de
Inferencia
Modus Tollens Conceptos
Ejemplos deducion
Silogismo Disjuntivo Comentarios
Introduccion
Adicin Disjuntiva Ejemplo 1
Ejemplo 2
Simplificacin Conjuntiva Sumario

Silogismo Hipottico

Adicin Conjuntiva

Regla de Contradiccin

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 15/50

 Ejemplo Introduccion
Argumento
Verifique la validez de la regla de inferencia modus Argumento Valido
ponens: Ejemplos Validez
Deduccion Natural
1. p q Reglas de
Inferencia
2. p Conceptos
Ejemplos deducion
3. q Comentarios
Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 16/50

 Ejemplo Introduccion
Argumento
Verifique la validez de la regla de inferencia modus Argumento Valido
ponens: Ejemplos Validez
Deduccion Natural
1. p q Reglas de
Inferencia
2. p Conceptos
Ejemplos deducion
3. q Comentarios
Introduccion
Solucion Ejemplo 1
Ejemplo 2
Realizando la tabla de verdad obtenemos: Sumario

p q pq p q
F F T F F
F T T F T
T F F T F
T T T T T

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 16/50

 De la cual los renglones crticos son: Introduccion
Argumento
p q pq p q Argumento Valido
Ejemplos Validez
Deduccion Natural
F F T F F Reglas de
Inferencia
F T T F T Conceptos
Ejemplos deducion
T F F T F Comentarios
Introduccion
T T T T T Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 17/50

 De la cual los renglones crticos son: Introduccion
Argumento
p q pq p q Argumento Valido
Ejemplos Validez
Deduccion Natural
F F T F F Reglas de
Inferencia
F T T F T Conceptos
Ejemplos deducion
T F F T F Comentarios
Introduccion
T T T T T Ejemplo 1
Ejemplo 2
De donde concluimos que el argumento es vlido. Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 17/50

 Ejemplo Introduccion
Argumento
Verifique la validez de la regla de inferencia modus Argumento Valido
tollens: Ejemplos Validez
Deduccion Natural
1. p q Reglas de
Inferencia
2. q Conceptos
Ejemplos deducion
3. p Comentarios
Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 18/50

 Ejemplo Introduccion
Argumento
Verifique la validez de la regla de inferencia modus Argumento Valido
tollens: Ejemplos Validez
Deduccion Natural
1. p q Reglas de
Inferencia
2. q Conceptos
Ejemplos deducion
3. p Comentarios
Introduccion
Solucion Ejemplo 1
Ejemplo 2
Realizando la tabla de verdad obtenemos: Sumario

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

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 18/50

 De la cual los renglones crticos son: Introduccion
Argumento
p q p q q p Argumento Valido
Ejemplos Validez
Deduccion Natural
F F T T T Reglas de
Inferencia
F T T F F Conceptos
Ejemplos deducion
T F F T T Comentarios
Introduccion
T T T F F Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 19/50

 De la cual los renglones crticos son: Introduccion
Argumento
p q p q q p Argumento Valido
Ejemplos Validez
Deduccion Natural
F F T T T Reglas de
Inferencia
F T T F F Conceptos
Ejemplos deducion
T F F T T Comentarios
Introduccion
T T T F F Ejemplo 1
Ejemplo 2
De donde concluimos que el argumento es vlido. Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 19/50

 Ejemplo Introduccion
Argumento
Verifique la validez de la regla de inferencia Argumento Valido
silogismo disjuntivo: Ejemplos Validez
Deduccion Natural
1. p q Reglas de
Inferencia
2. p Conceptos
Ejemplos deducion
3. q Comentarios
Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 20/50

 Ejemplo Introduccion
Argumento
Verifique la validez de la regla de inferencia Argumento Valido
silogismo disjuntivo: Ejemplos Validez
Deduccion Natural
1. p q Reglas de
Inferencia
2. p Conceptos
Ejemplos deducion
3. q Comentarios
Introduccion
Solucion Ejemplo 1
Ejemplo 2
Realizando la tabla de verdad obtenemos: Sumario

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

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 20/50

 De la cual los renglones crticos son: Introduccion
Argumento
p q p q p q Argumento Valido
Ejemplos Validez
Deduccion Natural
F F F T F Reglas de
Inferencia
F T T T T Conceptos
Ejemplos deducion
T F T F F Comentarios
Introduccion
T T T F T Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 21/50

 De la cual los renglones crticos son: Introduccion
Argumento
p q p q p q Argumento Valido
Ejemplos Validez
Deduccion Natural
F F F T F Reglas de
Inferencia
F T T T T Conceptos
Ejemplos deducion
T F T F F Comentarios
Introduccion
T T T F T Ejemplo 1
Ejemplo 2
De donde concluimos que el argumento es vlido. Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 21/50

 Ejemplo Introduccion
Argumento
Verifique la validez de la regla de inferencia Argumento Valido
adicin disjuntiva: Ejemplos Validez
Deduccion Natural
1. p Reglas de
Inferencia
2. p q Conceptos
Ejemplos deducion
Comentarios
Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 22/50

 Ejemplo Introduccion
Argumento
Verifique la validez de la regla de inferencia Argumento Valido
adicin disjuntiva: Ejemplos Validez
Deduccion Natural
1. p Reglas de
Inferencia
2. p q Conceptos
Ejemplos deducion
Solucion Comentarios
Introduccion
Realizando la tabla de verdad obtenemos: Ejemplo 1
Ejemplo 2
Sumario
p q pq
F F F
F T T
T F T
T T T

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 22/50

 De la cual los renglones crticos son: Introduccion
Argumento
p q pq Argumento Valido
Ejemplos Validez
Deduccion Natural
F F F Reglas de
Inferencia
F T T Conceptos
Ejemplos deducion
T F T Comentarios
Introduccion
T T T Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 23/50

 De la cual los renglones crticos son: Introduccion
Argumento
p q pq Argumento Valido
Ejemplos Validez
Deduccion Natural
F F F Reglas de
Inferencia
F T T Conceptos
Ejemplos deducion
T F T Comentarios
Introduccion
T T T Ejemplo 1
Ejemplo 2
De donde concluimos que el argumento es vlido. Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 23/50

 Ejemplo Introduccion
Argumento
Verifique la validez de la regla de inferencia Argumento Valido
simplificacin conjuntiva: Ejemplos Validez
Deduccion Natural
1. p q Reglas de
Inferencia
2. p Conceptos
Ejemplos deducion
Comentarios
Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 24/50

 Ejemplo Introduccion
Argumento
Verifique la validez de la regla de inferencia Argumento Valido
simplificacin conjuntiva: Ejemplos Validez
Deduccion Natural
1. p q Reglas de
Inferencia
2. p Conceptos
Ejemplos deducion
Solucion Comentarios
Introduccion
Realizando la tabla de verdad obtenemos: Ejemplo 1
Ejemplo 2
Sumario
p q pq
F F F
F T F
T F F
T T T

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 24/50

 De la cual los renglones crticos son: Introduccion
Argumento
p q pq Argumento Valido
Ejemplos Validez
Deduccion Natural
F F F Reglas de
Inferencia
F T F Conceptos
Ejemplos deducion
T F F Comentarios
Introduccion
T T T Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 25/50

 De la cual los renglones crticos son: Introduccion
Argumento
p q pq Argumento Valido
Ejemplos Validez
Deduccion Natural
F F F Reglas de
Inferencia
F T F Conceptos
Ejemplos deducion
T F F Comentarios
Introduccion
T T T Ejemplo 1
Ejemplo 2
De donde concluimos que el argumento es vlido. Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 25/50

 Ejemplo Introduccion
Argumento
Verifique la validez de la regla de inferencia Argumento Valido
silogismo hipottico: Ejemplos Validez
Deduccion Natural
1. p q, 2. q r, 3. p r Reglas de
Inferencia
Conceptos
Ejemplos deducion
Comentarios
Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 26/50

 Ejemplo Introduccion
Argumento
Verifique la validez de la regla de inferencia Argumento Valido
silogismo hipottico: Ejemplos Validez
Deduccion Natural
1. p q, 2. q r, 3. p r Reglas de
Inferencia
Solucion Conceptos
Ejemplos deducion
Realizando la tabla de verdad obtenemos: Comentarios
p q r pq qr pr Introduccion
Ejemplo 1
F F F T T T Ejemplo 2
Sumario
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
Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 26/50
 De la cual los renglones crticos son: Introduccion
Argumento
p q r rq qr pr Argumento Valido
Ejemplos Validez
Deduccion Natural
F F F T T T Reglas de
Inferencia
F F T T T T Conceptos
Ejemplos deducion
F T F T F T Comentarios
Introduccion
F T T T T T Ejemplo 1
Ejemplo 2
T F F F T F Sumario

T F T F T T
T T F T F F
T T T T T T

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 27/50

 De la cual los renglones crticos son: Introduccion
Argumento
p q r rq qr pr Argumento Valido
Ejemplos Validez
Deduccion Natural
F F F T T T Reglas de
Inferencia
F F T T T T Conceptos
Ejemplos deducion
F T F T F T Comentarios
Introduccion
F T T T T T Ejemplo 1
Ejemplo 2
T F F F T F Sumario

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

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 27/50

 Ejemplo Introduccion
Argumento
Verifique la validez de la regla de inferencia Argumento Valido
adicin conjuntiva: Ejemplos Validez
Deduccion Natural
1. p Reglas de
Inferencia
2. q Conceptos
Ejemplos deducion
3. p q Comentarios
Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 28/50

 Ejemplo Introduccion
Argumento
Verifique la validez de la regla de inferencia Argumento Valido
adicin conjuntiva: Ejemplos Validez
Deduccion Natural
1. p Reglas de
Inferencia
2. q Conceptos
Ejemplos deducion
3. p q Comentarios
Introduccion
Solucion Ejemplo 1
Ejemplo 2
Realizando la tabla de verdad obtenemos: Sumario

p q pq
F F F
F T F
T F F
T T T

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 28/50

 De la cual los renglones crticos son: Introduccion
Argumento
p q pq Argumento Valido
Ejemplos Validez
Deduccion Natural
F F F Reglas de
Inferencia
F T F Conceptos
Ejemplos deducion
T F F Comentarios
Introduccion
T T T Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 29/50

 De la cual los renglones crticos son: Introduccion
Argumento
p q pq Argumento Valido
Ejemplos Validez
Deduccion Natural
F F F Reglas de
Inferencia
F T F Conceptos
Ejemplos deducion
T F F Comentarios
Introduccion
T T T Ejemplo 1
Ejemplo 2
De donde concluimos que el argumento es vlido. Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 29/50

 Ejemplo Introduccion
Argumento
Verifique la validez de la regla de inferencia de la Argumento Valido
regla de contradiccin: Ejemplos Validez
Deduccion Natural
1. p F Reglas de
Inferencia
2. p Conceptos
Ejemplos deducion
Comentarios
Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 30/50

 Ejemplo Introduccion
Argumento
Verifique la validez de la regla de inferencia de la Argumento Valido
regla de contradiccin: Ejemplos Validez
Deduccion Natural
1. p F Reglas de
Inferencia
2. p Conceptos
Ejemplos deducion
Solucion Comentarios
Introduccion
Realizando la tabla de verdad obtenemos: Ejemplo 1
Ejemplo 2
Sumario
p F p p F
F F T F
T F F T

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 30/50

 De la cual los renglones crticos son: Introduccion
Argumento
p F p p F Argumento Valido
Ejemplos Validez
Deduccion Natural
F F T F Reglas de
Inferencia
T F F T Conceptos
Ejemplos deducion
Comentarios
Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 31/50

 De la cual los renglones crticos son: Introduccion
Argumento
p F p p F Argumento Valido
Ejemplos Validez
Deduccion Natural
F F T F Reglas de
Inferencia
T F F T Conceptos
Ejemplos deducion
De donde concluimos que el argumento es vlido. Comentarios
Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 31/50

 Conceptos

Una demostracin para una proposicin es un Introduccion

Argumento
argumento vlido construido para ella. La palabra Argumento Valido
Ejemplos Validez
demostrar una proposicin consiste en construir Deduccion Natural
un argumento vlido para ella. Una proposicin se Reglas de
Inferencia
dice teorema, si es posible demostrarla. Una Conceptos
Ejemplos deducion
proposicin se dice lema, si es un teorema y Comentarios
posteriormente se planea usarla como una regla Introduccion
Ejemplo 1
de inferencia. Una proposicin se dice corolario a Ejemplo 2
Sumario
un teorema si es posible construir una
demostracin corta donde el teorema se use como
una regla de inferencia. Una proposicin se dice
conjetura cuando no ha sido posible construir una
demostracin para ella pero en sustituciones se ha
evaluado en verdadero.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 32/50

 Ejemplos de deduccin natural

Veamos ahora unos ejemplos del uso de Introduccion

Argumento
deduccin natural. En lo siguiente demostrar Argumento Valido
Ejemplos Validez
consiste en construir un argumento vlido. Es Deduccion Natural
decir, ir colocando hiptesis o creando FBFs en Reglas de
Inferencia
una lista que ser el argumento. Asimismo, se Conceptos
Ejemplos deducion
deber justificar porqu cada FBB en el Comentarios
argumento es verdadera. El argumento partir del Introduccion
Ejemplo 1
supuesto que las hiptesis son verdaderas y Ejemplo 2
Sumario
deber llegar a la conclusin deseada.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 33/50

 Ejemplo: Introduccion
Argumento
Demuestre que la conclusin se deduce de las Argumento Valido
hiptesis: Ejemplos Validez
Deduccion Natural
H1 : p Reglas de
Inferencia
H2 : p q Conceptos
Ejemplos deducion
H3 : q r Comentarios
Introduccion
C: r Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 34/50

 Ejemplo: Introduccion
Argumento
Demuestre que la conclusin se deduce de las Argumento Valido
hiptesis: Ejemplos Validez
Deduccion Natural
H1 : p Reglas de
Inferencia
H2 : p q Conceptos
Ejemplos deducion
H3 : q r Comentarios
Introduccion
C: r Ejemplo 1
Ejemplo 2
Solucion Sumario

FBF Justificacin
1. p ...........

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 34/50

 Ejemplo: Introduccion
Argumento
Demuestre que la conclusin se deduce de las Argumento Valido
hiptesis: Ejemplos Validez
Deduccion Natural
H1 : p Reglas de
Inferencia
H2 : p q Conceptos
Ejemplos deducion
H3 : q r Comentarios
Introduccion
C: r Ejemplo 1
Ejemplo 2
Solucion Sumario

FBF Justificacin
1. p . . . . . . . . . . . Hiptesis 1
2.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 34/50

 Ejemplo: Introduccion
Argumento
Demuestre que la conclusin se deduce de las Argumento Valido
hiptesis: Ejemplos Validez
Deduccion Natural
H1 : p Reglas de
Inferencia
H2 : p q Conceptos
Ejemplos deducion
H3 : q r Comentarios
Introduccion
C: r Ejemplo 1
Ejemplo 2
Solucion Sumario

FBF Justificacin
1. p . . . . . . . . . . . Hiptesis 1
2. p q . . . . .

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 34/50

 Ejemplo: Introduccion
Argumento
Demuestre que la conclusin se deduce de las Argumento Valido
hiptesis: Ejemplos Validez
Deduccion Natural
H1 : p Reglas de
Inferencia
H2 : p q Conceptos
Ejemplos deducion
H3 : q r Comentarios
Introduccion
C: r Ejemplo 1
Ejemplo 2
Solucion Sumario

FBF Justificacin
1. p . . . . . . . . . . . Hiptesis 1
2. p q . . . . . Hiptesis 2
3.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 34/50

 Ejemplo: Introduccion
Argumento
Demuestre que la conclusin se deduce de las Argumento Valido
hiptesis: Ejemplos Validez
Deduccion Natural
H1 : p Reglas de
Inferencia
H2 : p q Conceptos
Ejemplos deducion
H3 : q r Comentarios
Introduccion
C: r Ejemplo 1
Ejemplo 2
Solucion Sumario

FBF Justificacin
1. p . . . . . . . . . . . Hiptesis 1
2. p q . . . . . Hiptesis 2
3. q . . . . . . . . . .

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 34/50

 Ejemplo: Introduccion
Argumento
Demuestre que la conclusin se deduce de las Argumento Valido
hiptesis: Ejemplos Validez
Deduccion Natural
H1 : p Reglas de
Inferencia
H2 : p q Conceptos
Ejemplos deducion
H3 : q r Comentarios
Introduccion
C: r Ejemplo 1
Ejemplo 2
Solucion Sumario

FBF Justificacin
1. p ........... Hiptesis 1
2. p q . . . . . Hiptesis 2
3. q . . . . . . . . . . Modus ponens con 2. y 1.
4.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 34/50

 Ejemplo: Introduccion
Argumento
Demuestre que la conclusin se deduce de las Argumento Valido
hiptesis: Ejemplos Validez
Deduccion Natural
H1 : p Reglas de
Inferencia
H2 : p q Conceptos
Ejemplos deducion
H3 : q r Comentarios
Introduccion
C: r Ejemplo 1
Ejemplo 2
Solucion Sumario

FBF Justificacin
1. p ........... Hiptesis 1
2. p q . . . . . Hiptesis 2
3. q . . . . . . . . . . Modus ponens con 2. y 1.
4. q r . . . .

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 34/50

 Ejemplo: Introduccion
Argumento
Demuestre que la conclusin se deduce de las Argumento Valido
hiptesis: Ejemplos Validez
Deduccion Natural
H1 : p Reglas de
Inferencia
H2 : p q Conceptos
Ejemplos deducion
H3 : q r Comentarios
Introduccion
C: r Ejemplo 1
Ejemplo 2
Solucion Sumario

FBF Justificacin
1. p ........... Hiptesis 1
2. p q . . . . . Hiptesis 2
3. q . . . . . . . . . . Modus ponens con 2. y 1.
4. q r . . . . Hiptesis 3.
5.
Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 34/50
 Ejemplo: Introduccion
Argumento
Demuestre que la conclusin se deduce de las Argumento Valido
hiptesis: Ejemplos Validez
Deduccion Natural
H1 : p Reglas de
Inferencia
H2 : p q Conceptos
Ejemplos deducion
H3 : q r Comentarios
Introduccion
C: r Ejemplo 1
Ejemplo 2
Solucion Sumario

FBF Justificacin
1. p ........... Hiptesis 1
2. p q . . . . . Hiptesis 2
3. q . . . . . . . . . . Modus ponens con 2. y 1.
4. q r . . . . Hiptesis 3.
5. r . . . . . . . . . .
Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 34/50
 Ejemplo: Introduccion
Argumento
Demuestre que la conclusin se deduce de las Argumento Valido
hiptesis: Ejemplos Validez
Deduccion Natural
H1 : p Reglas de
Inferencia
H2 : p q Conceptos
Ejemplos deducion
H3 : q r Comentarios
Introduccion
C: r Ejemplo 1
Ejemplo 2
Solucion Sumario

FBF Justificacin
1. p ........... Hiptesis 1
2. p q . . . . . Hiptesis 2
3. q . . . . . . . . . . Modus ponens con 2. y 1.
4. q r . . . . Hiptesis 3.
5. r . . . . . . . . . . Modus ponens con 4. y 5.
Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 34/50
 Ejemplo: Demuestre que la conclusin se deduce Introduccion
Argumento
de las hiptesis: Argumento Valido
Ejemplos Validez
H1 : p r H2 : r s H3 : t s Deduccion Natural
Reglas de
H4 : t u H5 : u C: p Inferencia
Conceptos
Ejemplos deducion
Comentarios
Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 35/50

 Ejemplo: Demuestre que la conclusin se deduce Introduccion
Argumento
de las hiptesis: Argumento Valido
Ejemplos Validez
H1 : p r H2 : r s H3 : t s Deduccion Natural
Reglas de
H4 : t u H5 : u C: p Inferencia
Conceptos
Solucion
Ejemplos deducion
1. u . . . . . . . . . . . . . . Comentarios
Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 35/50

 Ejemplo: Demuestre que la conclusin se deduce Introduccion
Argumento
de las hiptesis: Argumento Valido
Ejemplos Validez
H1 : p r H2 : r s H3 : t s Deduccion Natural
Reglas de
H4 : t u H5 : u C: p Inferencia
Conceptos
Solucion
Ejemplos deducion
1. u . . . . . . . . . . . . . . Hiptesis 5 Comentarios
Introduccion
2. Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 35/50

 Ejemplo: Demuestre que la conclusin se deduce Introduccion
Argumento
de las hiptesis: Argumento Valido
Ejemplos Validez
H1 : p r H2 : r s H3 : t s Deduccion Natural
Reglas de
H4 : t u H5 : u C: p Inferencia
Conceptos
Solucion
Ejemplos deducion
1. u . . . . . . . . . . . . . . Hiptesis 5 Comentarios
Introduccion
2. t u . . . . . . . . . . . Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 35/50

 Ejemplo: Demuestre que la conclusin se deduce Introduccion
Argumento
de las hiptesis: Argumento Valido
Ejemplos Validez
H1 : p r H2 : r s H3 : t s Deduccion Natural
Reglas de
H4 : t u H5 : u C: p Inferencia
Conceptos
Solucion
Ejemplos deducion
1. u . . . . . . . . . . . . . . Hiptesis 5 Comentarios
Introduccion
2. t u . . . . . . . . . . . Hiptesis 4 Ejemplo 1
Ejemplo 2
3. Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 35/50

 Ejemplo: Demuestre que la conclusin se deduce Introduccion
Argumento
de las hiptesis: Argumento Valido
Ejemplos Validez
H1 : p r H2 : r s H3 : t s Deduccion Natural
Reglas de
H4 : t u H5 : u C: p Inferencia
Conceptos
Solucion
Ejemplos deducion
1. u . . . . . . . . . . . . . . Hiptesis 5 Comentarios
Introduccion
2. t u . . . . . . . . . . . Hiptesis 4 Ejemplo 1
Ejemplo 2
3. t . . . . . . . . . . . . . . . Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 35/50

 Ejemplo: Demuestre que la conclusin se deduce Introduccion
Argumento
de las hiptesis: Argumento Valido
Ejemplos Validez
H1 : p r H2 : r s H3 : t s Deduccion Natural
Reglas de
H4 : t u H5 : u C: p Inferencia
Conceptos
Solucion
Ejemplos deducion
1. u . . . . . . . . . . . . . . Hiptesis 5 Comentarios
Introduccion
2. t u . . . . . . . . . . . Hiptesis 4 Ejemplo 1
Ejemplo 2
3. t . . . . . . . . . . . . . . . Silogismo disjuntivo con 2. y 1. Sumario

4.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 35/50

 Ejemplo: Demuestre que la conclusin se deduce Introduccion
Argumento
de las hiptesis: Argumento Valido
Ejemplos Validez
H1 : p r H2 : r s H3 : t s Deduccion Natural
Reglas de
H4 : t u H5 : u C: p Inferencia
Conceptos
Solucion
Ejemplos deducion
1. u . . . . . . . . . . . . . . Hiptesis 5 Comentarios
Introduccion
2. t u . . . . . . . . . . . Hiptesis 4 Ejemplo 1
Ejemplo 2
3. t . . . . . . . . . . . . . . . Silogismo disjuntivo con 2. y 1. Sumario

4. t s . . . . . . . . . . .

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 35/50

 Ejemplo: Demuestre que la conclusin se deduce Introduccion
Argumento
de las hiptesis: Argumento Valido
Ejemplos Validez
H1 : p r H2 : r s H3 : t s Deduccion Natural
Reglas de
H4 : t u H5 : u C: p Inferencia
Conceptos
Solucion
Ejemplos deducion
1. u . . . . . . . . . . . . . . Hiptesis 5 Comentarios
Introduccion
2. t u . . . . . . . . . . . Hiptesis 4 Ejemplo 1
Ejemplo 2
3. t . . . . . . . . . . . . . . . Silogismo disjuntivo con 2. y 1. Sumario

4. t s . . . . . . . . . . . Hiptesis 3.
5.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 35/50

 Ejemplo: Demuestre que la conclusin se deduce Introduccion
Argumento
de las hiptesis: Argumento Valido
Ejemplos Validez
H1 : p r H2 : r s H3 : t s Deduccion Natural
Reglas de
H4 : t u H5 : u C: p Inferencia
Conceptos
Solucion
Ejemplos deducion
1. u . . . . . . . . . . . . . . Hiptesis 5 Comentarios
Introduccion
2. t u . . . . . . . . . . . Hiptesis 4 Ejemplo 1
Ejemplo 2
3. t . . . . . . . . . . . . . . . Silogismo disjuntivo con 2. y 1. Sumario

4. t s . . . . . . . . . . . Hiptesis 3.
5. s . . . . . . . . . . . . . .

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 35/50

 Ejemplo: Demuestre que la conclusin se deduce Introduccion
Argumento
de las hiptesis: Argumento Valido
Ejemplos Validez
H1 : p r H2 : r s H3 : t s Deduccion Natural
Reglas de
H4 : t u H5 : u C: p Inferencia
Conceptos
Solucion
Ejemplos deducion
1. u . . . . . . . . . . . . . . Hiptesis 5 Comentarios
Introduccion
2. t u . . . . . . . . . . . Hiptesis 4 Ejemplo 1
Ejemplo 2
3. t . . . . . . . . . . . . . . . Silogismo disjuntivo con 2. y 1. Sumario

4. t s . . . . . . . . . . . Hiptesis 3.
5. s . . . . . . . . . . . . . . Silogismo disjuntivo con 4. y 3.
6.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 35/50

 Ejemplo: Demuestre que la conclusin se deduce Introduccion
Argumento
de las hiptesis: Argumento Valido
Ejemplos Validez
H1 : p r H2 : r s H3 : t s Deduccion Natural
Reglas de
H4 : t u H5 : u C: p Inferencia
Conceptos
Solucion
Ejemplos deducion
1. u . . . . . . . . . . . . . . Hiptesis 5 Comentarios
Introduccion
2. t u . . . . . . . . . . . Hiptesis 4 Ejemplo 1
Ejemplo 2
3. t . . . . . . . . . . . . . . . Silogismo disjuntivo con 2. y 1. Sumario

4. t s . . . . . . . . . . . Hiptesis 3.
5. s . . . . . . . . . . . . . . Silogismo disjuntivo con 4. y 3.
6. r s ...........

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 35/50

 Ejemplo: Demuestre que la conclusin se deduce Introduccion
Argumento
de las hiptesis: Argumento Valido
Ejemplos Validez
H1 : p r H2 : r s H3 : t s Deduccion Natural
Reglas de
H4 : t u H5 : u C: p Inferencia
Conceptos
Solucion
Ejemplos deducion
1. u . . . . . . . . . . . . . . Hiptesis 5 Comentarios
Introduccion
2. t u . . . . . . . . . . . Hiptesis 4 Ejemplo 1
Ejemplo 2
3. t . . . . . . . . . . . . . . . Silogismo disjuntivo con 2. y 1. Sumario

4. t s . . . . . . . . . . . Hiptesis 3.
5. s . . . . . . . . . . . . . . Silogismo disjuntivo con 4. y 3.
6. r s . . . . . . . . . . . Hiptesis 2.
7.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 35/50

 Ejemplo: Demuestre que la conclusin se deduce Introduccion
Argumento
de las hiptesis: Argumento Valido
Ejemplos Validez
H1 : p r H2 : r s H3 : t s Deduccion Natural
Reglas de
H4 : t u H5 : u C: p Inferencia
Conceptos
Solucion
Ejemplos deducion
1. u . . . . . . . . . . . . . . Hiptesis 5 Comentarios
Introduccion
2. t u . . . . . . . . . . . Hiptesis 4 Ejemplo 1
Ejemplo 2
3. t . . . . . . . . . . . . . . . Silogismo disjuntivo con 2. y 1. Sumario

4. t s . . . . . . . . . . . Hiptesis 3.
5. s . . . . . . . . . . . . . . Silogismo disjuntivo con 4. y 3.
6. r s . . . . . . . . . . . Hiptesis 2.
7. r . . . . . . . . . . . . . .

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 35/50

 Ejemplo: Demuestre que la conclusin se deduce Introduccion
Argumento
de las hiptesis: Argumento Valido
Ejemplos Validez
H1 : p r H2 : r s H3 : t s Deduccion Natural
Reglas de
H4 : t u H5 : u C: p Inferencia
Conceptos
Solucion
Ejemplos deducion
1. u . . . . . . . . . . . . . . Hiptesis 5 Comentarios
Introduccion
2. t u . . . . . . . . . . . Hiptesis 4 Ejemplo 1
Ejemplo 2
3. t . . . . . . . . . . . . . . . Silogismo disjuntivo con 2. y 1. Sumario

4. t s . . . . . . . . . . . Hiptesis 3.
5. s . . . . . . . . . . . . . . Silogismo disjuntivo con 4. y 3.
6. r s . . . . . . . . . . . Hiptesis 2.
7. r . . . . . . . . . . . . . . Modus tollens con 6. y 5.
8.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 35/50

 Ejemplo: Demuestre que la conclusin se deduce Introduccion
Argumento
de las hiptesis: Argumento Valido
Ejemplos Validez
H1 : p r H2 : r s H3 : t s Deduccion Natural
Reglas de
H4 : t u H5 : u C: p Inferencia
Conceptos
Solucion
Ejemplos deducion
1. u . . . . . . . . . . . . . . Hiptesis 5 Comentarios
Introduccion
2. t u . . . . . . . . . . . Hiptesis 4 Ejemplo 1
Ejemplo 2
3. t . . . . . . . . . . . . . . . Silogismo disjuntivo con 2. y 1. Sumario

4. t s . . . . . . . . . . . Hiptesis 3.
5. s . . . . . . . . . . . . . . Silogismo disjuntivo con 4. y 3.
6. r s . . . . . . . . . . . Hiptesis 2.
7. r . . . . . . . . . . . . . . Modus tollens con 6. y 5.
8. p r ...........

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 35/50

 Ejemplo: Demuestre que la conclusin se deduce Introduccion
Argumento
de las hiptesis: Argumento Valido
Ejemplos Validez
H1 : p r H2 : r s H3 : t s Deduccion Natural
Reglas de
H4 : t u H5 : u C: p Inferencia
Conceptos
Solucion
Ejemplos deducion
1. u . . . . . . . . . . . . . . Hiptesis 5 Comentarios
Introduccion
2. t u . . . . . . . . . . . Hiptesis 4 Ejemplo 1
Ejemplo 2
3. t . . . . . . . . . . . . . . . Silogismo disjuntivo con 2. y 1. Sumario

4. t s . . . . . . . . . . . Hiptesis 3.
5. s . . . . . . . . . . . . . . Silogismo disjuntivo con 4. y 3.
6. r s . . . . . . . . . . . Hiptesis 2.
7. r . . . . . . . . . . . . . . Modus tollens con 6. y 5.
8. p r . . . . . . . . . . . Hiptesis 1.
9.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 35/50

 Ejemplo: Demuestre que la conclusin se deduce Introduccion
Argumento
de las hiptesis: Argumento Valido
Ejemplos Validez
H1 : p r H2 : r s H3 : t s Deduccion Natural
Reglas de
H4 : t u H5 : u C: p Inferencia
Conceptos
Solucion
Ejemplos deducion
1. u . . . . . . . . . . . . . . Hiptesis 5 Comentarios
Introduccion
2. t u . . . . . . . . . . . Hiptesis 4 Ejemplo 1
Ejemplo 2
3. t . . . . . . . . . . . . . . . Silogismo disjuntivo con 2. y 1. Sumario

4. t s . . . . . . . . . . . Hiptesis 3.
5. s . . . . . . . . . . . . . . Silogismo disjuntivo con 4. y 3.
6. r s . . . . . . . . . . . Hiptesis 2.
7. r . . . . . . . . . . . . . . Modus tollens con 6. y 5.
8. p r . . . . . . . . . . . Hiptesis 1.
9. p . . . . . . . . . . . . . .

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 35/50

 Ejemplo: Demuestre que la conclusin se deduce Introduccion
Argumento
de las hiptesis: Argumento Valido
Ejemplos Validez
H1 : p r H2 : r s H3 : t s Deduccion Natural
Reglas de
H4 : t u H5 : u C: p Inferencia
Conceptos
Solucion
Ejemplos deducion
1. u . . . . . . . . . . . . . . Hiptesis 5 Comentarios
Introduccion
2. t u . . . . . . . . . . . Hiptesis 4 Ejemplo 1
Ejemplo 2
3. t . . . . . . . . . . . . . . . Silogismo disjuntivo con 2. y 1. Sumario

4. t s . . . . . . . . . . . Hiptesis 3.
5. s . . . . . . . . . . . . . . Silogismo disjuntivo con 4. y 3.
6. r s . . . . . . . . . . . Hiptesis 2.
7. r . . . . . . . . . . . . . . Modus tollens con 6. y 5.
8. p r . . . . . . . . . . . Hiptesis 1.
9. p . . . . . . . . . . . . . . Modus tollens con 8. y 7.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 35/50

 Ejemplo (Lema 1):Demuestre que la conclusin se Introduccion
Argumento
deduce de las hiptesis: Argumento Valido
Ejemplos Validez
H1 : p q Deduccion Natural
Reglas de
H2 : p r Inferencia
Conceptos
C: q r Ejemplos deducion
Comentarios
Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 36/50

 Ejemplo (Lema 1):Demuestre que la conclusin se Introduccion
Argumento
deduce de las hiptesis: Argumento Valido
Ejemplos Validez
H1 : p q Deduccion Natural
Reglas de
H2 : p r Inferencia
Conceptos
C: q r Ejemplos deducion
Comentarios
Solucion Introduccion
1. p q ...... Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 36/50

 Ejemplo (Lema 1):Demuestre que la conclusin se Introduccion
Argumento
deduce de las hiptesis: Argumento Valido
Ejemplos Validez
H1 : p q Deduccion Natural
Reglas de
H2 : p r Inferencia
Conceptos
C: q r Ejemplos deducion
Comentarios
Solucion Introduccion
1. p q . . . . . . Hiptesis 1. Ejemplo 1
Ejemplo 2
2. Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 36/50

 Ejemplo (Lema 1):Demuestre que la conclusin se Introduccion
Argumento
deduce de las hiptesis: Argumento Valido
Ejemplos Validez
H1 : p q Deduccion Natural
Reglas de
H2 : p r Inferencia
Conceptos
C: q r Ejemplos deducion
Comentarios
Solucion Introduccion
1. p q . . . . . . Hiptesis 1. Ejemplo 1
Ejemplo 2
2. p q . . . . Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 36/50

 Ejemplo (Lema 1):Demuestre que la conclusin se Introduccion
Argumento
deduce de las hiptesis: Argumento Valido
Ejemplos Validez
H1 : p q Deduccion Natural
Reglas de
H2 : p r Inferencia
Conceptos
C: q r Ejemplos deducion
Comentarios
Solucion Introduccion
1. p q . . . . . . Hiptesis 1. Ejemplo 1
Ejemplo 2
2. p q . . . . Equiv. implicacin en 1. Sumario

3.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 36/50

 Ejemplo (Lema 1):Demuestre que la conclusin se Introduccion
Argumento
deduce de las hiptesis: Argumento Valido
Ejemplos Validez
H1 : p q Deduccion Natural
Reglas de
H2 : p r Inferencia
Conceptos
C: q r Ejemplos deducion
Comentarios
Solucion Introduccion
1. p q . . . . . . Hiptesis 1. Ejemplo 1
Ejemplo 2
2. p q . . . . Equiv. implicacin en 1. Sumario

3. p r . . . . .

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 36/50

 Ejemplo (Lema 1):Demuestre que la conclusin se Introduccion
Argumento
deduce de las hiptesis: Argumento Valido
Ejemplos Validez
H1 : p q Deduccion Natural
Reglas de
H2 : p r Inferencia
Conceptos
C: q r Ejemplos deducion
Comentarios
Solucion Introduccion
1. p q . . . . . . Hiptesis 1. Ejemplo 1
Ejemplo 2
2. p q . . . . Equiv. implicacin en 1. Sumario

3. p r . . . . . Hiptesis 2.
4.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 36/50

 Ejemplo (Lema 1):Demuestre que la conclusin se Introduccion
Argumento
deduce de las hiptesis: Argumento Valido
Ejemplos Validez
H1 : p q Deduccion Natural
Reglas de
H2 : p r Inferencia
Conceptos
C: q r Ejemplos deducion
Comentarios
Solucion Introduccion
1. p q . . . . . . Hiptesis 1. Ejemplo 1
Ejemplo 2
2. p q . . . . Equiv. implicacin en 1. Sumario

3. p r . . . . . Hiptesis 2.
4. r p . . . . .

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 36/50

 Ejemplo (Lema 1):Demuestre que la conclusin se Introduccion
Argumento
deduce de las hiptesis: Argumento Valido
Ejemplos Validez
H1 : p q Deduccion Natural
Reglas de
H2 : p r Inferencia
Conceptos
C: q r Ejemplos deducion
Comentarios
Solucion Introduccion
1. p q ...... Hiptesis 1. Ejemplo 1
Ejemplo 2
2. p q . . . . Equiv. implicacin en 1. Sumario

3. p r . . . . . Hiptesis 2.
4. r p . . . . . Conmutatividad en 3.
5.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 36/50

 Ejemplo (Lema 1):Demuestre que la conclusin se Introduccion
Argumento
deduce de las hiptesis: Argumento Valido
Ejemplos Validez
H1 : p q Deduccion Natural
Reglas de
H2 : p r Inferencia
Conceptos
C: q r Ejemplos deducion
Comentarios
Solucion Introduccion
1. p q ...... Hiptesis 1. Ejemplo 1
Ejemplo 2
2. p q . . . . Equiv. implicacin en 1. Sumario

3. p r . . . . . Hiptesis 2.
4. r p . . . . . Conmutatividad en 3.
5. r p . .

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 36/50

 Ejemplo (Lema 1):Demuestre que la conclusin se Introduccion
Argumento
deduce de las hiptesis: Argumento Valido
Ejemplos Validez
H1 : p q Deduccion Natural
Reglas de
H2 : p r Inferencia
Conceptos
C: q r Ejemplos deducion
Comentarios
Solucion Introduccion
1. p q ...... Hiptesis 1. Ejemplo 1
Ejemplo 2
2. p q . . . . Equiv. implicacin en 1. Sumario

3. p r . . . . . Hiptesis 2.
4. r p . . . . . Conmutatividad en 3.
5. r p . . Equiv. implicacin en 4.
6.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 36/50

 Ejemplo (Lema 1):Demuestre que la conclusin se Introduccion
Argumento
deduce de las hiptesis: Argumento Valido
Ejemplos Validez
H1 : p q Deduccion Natural
Reglas de
H2 : p r Inferencia
Conceptos
C: q r Ejemplos deducion
Comentarios
Solucion Introduccion
1. p q ...... Hiptesis 1. Ejemplo 1
Ejemplo 2
2. p q . . . . Equiv. implicacin en 1. Sumario

3. p r . . . . . Hiptesis 2.
4. r p . . . . . Conmutatividad en 3.
5. r p . . Equiv. implicacin en 4.
6. r q . . . .

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 36/50

 Ejemplo (Lema 1):Demuestre que la conclusin se Introduccion
Argumento
deduce de las hiptesis: Argumento Valido
Ejemplos Validez
H1 : p q Deduccion Natural
Reglas de
H2 : p r Inferencia
Conceptos
C: q r Ejemplos deducion
Comentarios
Solucion Introduccion
1. p q ...... Hiptesis 1. Ejemplo 1
Ejemplo 2
2. p q . . . . Equiv. implicacin en 1. Sumario

3. p r . . . . . Hiptesis 2.
4. r p . . . . . Conmutatividad en 3.
5. r p . . Equiv. implicacin en 4.
6. r q . . . . Silog. hipottico con 5. y 2..
7.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 36/50

 Ejemplo (Lema 1):Demuestre que la conclusin se Introduccion
Argumento
deduce de las hiptesis: Argumento Valido
Ejemplos Validez
H1 : p q Deduccion Natural
Reglas de
H2 : p r Inferencia
Conceptos
C: q r Ejemplos deducion
Comentarios
Solucion Introduccion
1. p q ...... Hiptesis 1. Ejemplo 1
Ejemplo 2
2. p q . . . . Equiv. implicacin en 1. Sumario

3. p r . . . . . Hiptesis 2.
4. r p . . . . . Conmutatividad en 3.
5. r p . . Equiv. implicacin en 4.
6. r q . . . . Silog. hipottico con 5. y 2..
7. (r) q . .

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 36/50

 Ejemplo (Lema 1):Demuestre que la conclusin se Introduccion
Argumento
deduce de las hiptesis: Argumento Valido
Ejemplos Validez
H1 : p q Deduccion Natural
Reglas de
H2 : p r Inferencia
Conceptos
C: q r Ejemplos deducion
Comentarios
Solucion Introduccion
1. p q ...... Hiptesis 1. Ejemplo 1
Ejemplo 2
2. p q . . . . Equiv. implicacin en 1. Sumario

3. p r . . . . . Hiptesis 2.
4. r p . . . . . Conmutatividad en 3.
5. r p . . Equiv. implicacin en 4.
6. r q . . . . Silog. hipottico con 5. y 2..
7. (r) q . . Equiv. implicacin en 6.
8.
Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 36/50
 Ejemplo (Lema 1):Demuestre que la conclusin se Introduccion
Argumento
deduce de las hiptesis: Argumento Valido
Ejemplos Validez
H1 : p q Deduccion Natural
Reglas de
H2 : p r Inferencia
Conceptos
C: q r Ejemplos deducion
Comentarios
Solucion Introduccion
1. p q ...... Hiptesis 1. Ejemplo 1
Ejemplo 2
2. p q . . . . Equiv. implicacin en 1. Sumario

3. p r . . . . . Hiptesis 2.
4. r p . . . . . Conmutatividad en 3.
5. r p . . Equiv. implicacin en 4.
6. r q . . . . Silog. hipottico con 5. y 2..
7. (r) q . . Equiv. implicacin en 6.
8. q r .......
Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 36/50
 Ejemplo (Lema 1):Demuestre que la conclusin se Introduccion
Argumento
deduce de las hiptesis: Argumento Valido
Ejemplos Validez
H1 : p q Deduccion Natural
Reglas de
H2 : p r Inferencia
Conceptos
C: q r Ejemplos deducion
Comentarios
Solucion Introduccion
1. p q ...... Hiptesis 1. Ejemplo 1
Ejemplo 2
2. p q . . . . Equiv. implicacin en 1. Sumario

3. p r . . . . . Hiptesis 2.
4. r p . . . . . Conmutatividad en 3.
5. r p . . Equiv. implicacin en 4.
6. r q . . . . Silog. hipottico con 5. y 2..
7. (r) q . . Equiv. implicacin en 6.
8. q r ....... Doble negacin y conmutatividad en 7.
Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 36/50
 Ejemplo (Lema 2)
Demuestre que la
conclusin se deduce
de las hiptesis:

H1 : p q r
H2 : p q
C:pr

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 37/50

 Ejemplo (Lema 2) Solucion
Demuestre que la 1. p q r .......
conclusin se deduce
de las hiptesis:

H1 : p q r
H2 : p q
C:pr

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 37/50

 Ejemplo (Lema 2) Solucion
Demuestre que la 1. p q r . . . . . . . Hiptesis 1.
conclusin se deduce 2.
de las hiptesis:

H1 : p q r
H2 : p q
C:pr

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 37/50

 Ejemplo (Lema 2) Solucion
Demuestre que la 1. p q r . . . . . . . Hiptesis 1.
conclusin se deduce 2. p (q r) . . . . .
de las hiptesis:

H1 : p q r
H2 : p q
C:pr

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 37/50

 Ejemplo (Lema 2) Solucion
Demuestre que la 1. p q r . . . . . . . Hiptesis 1.
conclusin se deduce 2. p (q r) . . . . . Equiv. implicacin en 1.
de las hiptesis: 3.

H1 : p q r
H2 : p q
C:pr

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 37/50

 Ejemplo (Lema 2) Solucion
Demuestre que la 1. p q r . . . . . . . Hiptesis 1.
conclusin se deduce 2. p (q r) . . . . . Equiv. implicacin en 1.
de las hiptesis: 3. q (p r) . . . . .

H1 : p q r
H2 : p q
C:pr

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 37/50

 Ejemplo (Lema 2) Solucion
Demuestre que la 1. p q r . . . . . . . Hiptesis 1.
conclusin se deduce 2. p (q r) . . . . . Equiv. implicacin en 1.
de las hiptesis: 3. q (p r) . . . . . Prop. asociativas y conmutativas en 2.
4.
H1 : p q r
H2 : p q
C:pr

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 37/50

 Ejemplo (Lema 2) Solucion
Demuestre que la 1. p q r . . . . . . . Hiptesis 1.
conclusin se deduce 2. p (q r) . . . . . Equiv. implicacin en 1.
de las hiptesis: 3. q (p r) . . . . . Prop. asociativas y conmutativas en 2.
4. p q . . . . . . . . . .
H1 : p q r
H2 : p q
C:pr

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 37/50

 Ejemplo (Lema 2) Solucion
Demuestre que la 1. p q r . . . . . . . Hiptesis 1.
conclusin se deduce 2. p (q r) . . . . . Equiv. implicacin en 1.
de las hiptesis: 3. q (p r) . . . . . Prop. asociativas y conmutativas en 2.
4. p q . . . . . . . . . . Hiptesis 2.
H1 : p q r 5.
H2 : p q
C:pr

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 37/50

 Ejemplo (Lema 2) Solucion
Demuestre que la 1. p q r . . . . . . . Hiptesis 1.
conclusin se deduce 2. p (q r) . . . . . Equiv. implicacin en 1.
de las hiptesis: 3. q (p r) . . . . . Prop. asociativas y conmutativas en 2.
4. p q . . . . . . . . . . Hiptesis 2.
H1 : p q r 5. p q . . . . . . . . .
H2 : p q
C:pr

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 37/50

 Ejemplo (Lema 2) Solucion
Demuestre que la 1. p q r . . . . . . . Hiptesis 1.
conclusin se deduce 2. p (q r) . . . . . Equiv. implicacin en 1.
de las hiptesis: 3. q (p r) . . . . . Prop. asociativas y conmutativas en 2.
4. p q . . . . . . . . . . Hiptesis 2.
H1 : p q r 5. p q . . . . . . . . . Equiv. implicacin en 4.
H2 : p q 6.
C:pr

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 37/50

 Ejemplo (Lema 2) Solucion
Demuestre que la 1. p q r . . . . . . . Hiptesis 1.
conclusin se deduce 2. p (q r) . . . . . Equiv. implicacin en 1.
de las hiptesis: 3. q (p r) . . . . . Prop. asociativas y conmutativas en 2.
4. p q . . . . . . . . . . Hiptesis 2.
H1 : p q r 5. p q . . . . . . . . . Equiv. implicacin en 4.
H2 : p q 6. q p . . . . . . . . .
C:pr

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 37/50

 Ejemplo (Lema 2) Solucion
Demuestre que la 1. p q r . . . . . . . Hiptesis 1.
conclusin se deduce 2. p (q r) . . . . . Equiv. implicacin en 1.
de las hiptesis: 3. q (p r) . . . . . Prop. asociativas y conmutativas en 2.
4. p q . . . . . . . . . . Hiptesis 2.
H1 : p q r 5. p q . . . . . . . . . Equiv. implicacin en 4.
H2 : p q 6. q p . . . . . . . . . Prop. conmutativa en 5.
C:pr 7.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 37/50

 Ejemplo (Lema 2) Solucion
Demuestre que la 1. p q r . . . . . . . Hiptesis 1.
conclusin se deduce 2. p (q r) . . . . . Equiv. implicacin en 1.
de las hiptesis: 3. q (p r) . . . . . Prop. asociativas y conmutativas en 2.
4. p q . . . . . . . . . . Hiptesis 2.
H1 : p q r 5. p q . . . . . . . . . Equiv. implicacin en 4.
H2 : p q 6. q p . . . . . . . . . Prop. conmutativa en 5.
C:pr 7. (p r) p . . . .

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 37/50

 Ejemplo (Lema 2) Solucion
Demuestre que la 1. p q r . . . . . . . Hiptesis 1.
conclusin se deduce 2. p (q r) . . . . . Equiv. implicacin en 1.
de las hiptesis: 3. q (p r) . . . . . Prop. asociativas y conmutativas en 2.
4. p q . . . . . . . . . . Hiptesis 2.
H1 : p q r 5. p q . . . . . . . . . Equiv. implicacin en 4.
H2 : p q 6. q p . . . . . . . . . Prop. conmutativa en 5.
C:pr 7. (p r) p . . . . Lema 1 con 5. y 6.
8.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 37/50

 Ejemplo (Lema 2) Solucion
Demuestre que la 1. p q r . . . . . . . Hiptesis 1.
conclusin se deduce 2. p (q r) . . . . . Equiv. implicacin en 1.
de las hiptesis: 3. q (p r) . . . . . Prop. asociativas y conmutativas en 2.
4. p q . . . . . . . . . . Hiptesis 2.
H1 : p q r 5. p q . . . . . . . . . Equiv. implicacin en 4.
H2 : p q 6. q p . . . . . . . . . Prop. conmutativa en 5.
C:pr 7. (p r) p . . . . Lema 1 con 5. y 6.
8. (p p) r . . . .

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 37/50

 Ejemplo (Lema 2) Solucion
Demuestre que la 1. p q r . . . . . . . Hiptesis 1.
conclusin se deduce 2. p (q r) . . . . . Equiv. implicacin en 1.
de las hiptesis: 3. q (p r) . . . . . Prop. asociativas y conmutativas en 2.
4. p q . . . . . . . . . . Hiptesis 2.
H1 : p q r 5. p q . . . . . . . . . Equiv. implicacin en 4.
H2 : p q 6. q p . . . . . . . . . Prop. conmutativa en 5.
C:pr 7. (p r) p . . . . Lema 1 con 5. y 6.
8. (p p) r . . . . Prop. asociativas y conmutativas en 7.
9.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 37/50

 Ejemplo (Lema 2) Solucion
Demuestre que la 1. p q r . . . . . . . Hiptesis 1.
conclusin se deduce 2. p (q r) . . . . . Equiv. implicacin en 1.
de las hiptesis: 3. q (p r) . . . . . Prop. asociativas y conmutativas en 2.
4. p q . . . . . . . . . . Hiptesis 2.
H1 : p q r 5. p q . . . . . . . . . Equiv. implicacin en 4.
H2 : p q 6. q p . . . . . . . . . Prop. conmutativa en 5.
C:pr 7. (p r) p . . . . Lema 1 con 5. y 6.
8. (p p) r . . . . Prop. asociativas y conmutativas en 7.
9. p r . . . . . . . . . . .

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 37/50

 Ejemplo (Lema 2) Solucion
Demuestre que la 1. p q r . . . . . . . Hiptesis 1.
conclusin se deduce 2. p (q r) . . . . . Equiv. implicacin en 1.
de las hiptesis: 3. q (p r) . . . . . Prop. asociativas y conmutativas en 2.
4. p q . . . . . . . . . . Hiptesis 2.
H1 : p q r 5. p q . . . . . . . . . Equiv. implicacin en 4.
H2 : p q 6. q p . . . . . . . . . Prop. conmutativa en 5.
C:pr 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.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 37/50

 Ejemplo (Lema 2) Solucion
Demuestre que la 1. p q r . . . . . . . Hiptesis 1.
conclusin se deduce 2. p (q r) . . . . . Equiv. implicacin en 1.
de las hiptesis: 3. q (p r) . . . . . Prop. asociativas y conmutativas en 2.
4. p q . . . . . . . . . . Hiptesis 2.
H1 : p q r 5. p q . . . . . . . . . Equiv. implicacin en 4.
H2 : p q 6. q p . . . . . . . . . Prop. conmutativa en 5.
C:pr 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 ...........

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 37/50

 Ejemplo (Lema 2) Solucion
Demuestre que la 1. p q r . . . . . . . Hiptesis 1.
conclusin se deduce 2. p (q r) . . . . . Equiv. implicacin en 1.
de las hiptesis: 3. q (p r) . . . . . Prop. asociativas y conmutativas en 2.
4. p q . . . . . . . . . . Hiptesis 2.
H1 : p q r 5. p q . . . . . . . . . Equiv. implicacin en 4.
H2 : p q 6. q p . . . . . . . . . Prop. conmutativa en 5.
C:pr 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. implicacin en 9.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 37/50

 Ejemplo (Lema 3)
Demuestre que la
conclusin se deduce
de las hiptesis:

H1 : p q r
H2 : q r
C: p r

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 38/50

 Ejemplo (Lema 3) Solucion
Demuestre que la 1. p q r .......
conclusin se deduce
de las hiptesis:

H1 : p q r
H2 : q r
C: p r

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 38/50

 Ejemplo (Lema 3) Solucion
Demuestre que la 1. p q r . . . . . . . Hiptesis 1.
conclusin se deduce 2.
de las hiptesis:

H1 : p q r
H2 : q r
C: p r

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 38/50

 Ejemplo (Lema 3) Solucion
Demuestre que la 1. p q r . . . . . . . Hiptesis 1.
conclusin se deduce 2. p (q r) . . . . .
de las hiptesis:

H1 : p q r
H2 : q r
C: p r

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 38/50

 Ejemplo (Lema 3) Solucion
Demuestre que la 1. p q r . . . . . . . Hiptesis 1.
conclusin se deduce 2. p (q r) . . . . . Equiv. implicacin en 1.
de las hiptesis: 3.

H1 : p q r
H2 : q r
C: p r

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 38/50

 Ejemplo (Lema 3) Solucion
Demuestre que la 1. p q r . . . . . . . Hiptesis 1.
conclusin se deduce 2. p (q r) . . . . . Equiv. implicacin en 1.
de las hiptesis: 3. q (p r) . . . . .

H1 : p q r
H2 : q r
C: p r

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 38/50

 Ejemplo (Lema 3) Solucion
Demuestre que la 1. p q r . . . . . . . Hiptesis 1.
conclusin se deduce 2. p (q r) . . . . . Equiv. implicacin en 1.
de las hiptesis: 3. q (p r) . . . . . Prop. asociativas y conmutativas en 2.
4.
H1 : p q r
H2 : q r
C: p r

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 38/50

 Ejemplo (Lema 3) Solucion
Demuestre que la 1. p q r . . . . . . . Hiptesis 1.
conclusin se deduce 2. p (q r) . . . . . Equiv. implicacin en 1.
de las hiptesis: 3. q (p r) . . . . . Prop. asociativas y conmutativas en 2.
4. q r ...........
H1 : p q r
H2 : q r
C: p r

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 38/50

 Ejemplo (Lema 3) Solucion
Demuestre que la 1. p q r . . . . . . . Hiptesis 1.
conclusin se deduce 2. p (q r) . . . . . Equiv. implicacin en 1.
de las hiptesis: 3. q (p r) . . . . . Prop. asociativas y conmutativas en 2.
4. q r . . . . . . . . . . . Hiptesis 2.
H1 : p q r 5.
H2 : q r
C: p r

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 38/50

 Ejemplo (Lema 3) Solucion
Demuestre que la 1. p q r . . . . . . . Hiptesis 1.
conclusin se deduce 2. p (q r) . . . . . Equiv. implicacin en 1.
de las hiptesis: 3. q (p r) . . . . . Prop. asociativas y conmutativas en 2.
4. q r . . . . . . . . . . . Hiptesis 2.
H1 : p q r 5. q r . . . . . . . . . . .
H2 : q r
C: p r

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 38/50

 Ejemplo (Lema 3) Solucion
Demuestre que la 1. p q r . . . . . . . Hiptesis 1.
conclusin se deduce 2. p (q r) . . . . . Equiv. implicacin en 1.
de las hiptesis: 3. q (p r) . . . . . Prop. asociativas y conmutativas en 2.
4. q r . . . . . . . . . . . Hiptesis 2.
H1 : p q r 5. q r . . . . . . . . . . . Equiv. implicacin en 4.
H2 : q r 6.
C: p r

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 38/50

 Ejemplo (Lema 3) Solucion
Demuestre que la 1. p q r . . . . . . . Hiptesis 1.
conclusin se deduce 2. p (q r) . . . . . Equiv. implicacin en 1.
de las hiptesis: 3. q (p r) . . . . . Prop. asociativas y conmutativas en 2.
4. q r . . . . . . . . . . . Hiptesis 2.
H1 : p q r 5. q r . . . . . . . . . . . Equiv. implicacin en 4.
H2 : q r 6. (p r) r . . . . .
C: p r

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 38/50

 Ejemplo (Lema 3) Solucion
Demuestre que la 1. p q r . . . . . . . Hiptesis 1.
conclusin se deduce 2. p (q r) . . . . . Equiv. implicacin en 1.
de las hiptesis: 3. q (p r) . . . . . Prop. asociativas y conmutativas en 2.
4. q r . . . . . . . . . . . Hiptesis 2.
H1 : p q r 5. q r . . . . . . . . . . . Equiv. implicacin en 4.
H2 : q r 6. (p r) r . . . . . Lema 1 con 3. y 5.
C: p r 7.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 38/50

 Ejemplo (Lema 3) Solucion
Demuestre que la 1. p q r . . . . . . . Hiptesis 1.
conclusin se deduce 2. p (q r) . . . . . Equiv. implicacin en 1.
de las hiptesis: 3. q (p r) . . . . . Prop. asociativas y conmutativas en 2.
4. q r . . . . . . . . . . . Hiptesis 2.
H1 : p q r 5. q r . . . . . . . . . . . Equiv. implicacin en 4.
H2 : q r 6. (p r) r . . . . . Lema 1 con 3. y 5.
C: p r 7. p (r r) . . . . .

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 38/50

 Ejemplo (Lema 3) Solucion
Demuestre que la 1. p q r . . . . . . . Hiptesis 1.
conclusin se deduce 2. p (q r) . . . . . Equiv. implicacin en 1.
de las hiptesis: 3. q (p r) . . . . . Prop. asociativas y conmutativas en 2.
4. q r . . . . . . . . . . . Hiptesis 2.
H1 : p q r 5. q r . . . . . . . . . . . Equiv. implicacin en 4.
H2 : q r 6. (p r) r . . . . . Lema 1 con 3. y 5.
C: p r 7. p (r r) . . . . . Prop. asociativa en 6.
8.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 38/50

 Ejemplo (Lema 3) Solucion
Demuestre que la 1. p q r . . . . . . . Hiptesis 1.
conclusin se deduce 2. p (q r) . . . . . Equiv. implicacin en 1.
de las hiptesis: 3. q (p r) . . . . . Prop. asociativas y conmutativas en 2.
4. q r . . . . . . . . . . . Hiptesis 2.
H1 : p q r 5. q r . . . . . . . . . . . Equiv. implicacin en 4.
H2 : q r 6. (p r) r . . . . . Lema 1 con 3. y 5.
C: p r 7. p (r r) . . . . . Prop. asociativa en 6.
8. p r . . . . . . . . . . .

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 38/50

 Ejemplo (Lema 3) Solucion
Demuestre que la 1. p q r . . . . . . . Hiptesis 1.
conclusin se deduce 2. p (q r) . . . . . Equiv. implicacin en 1.
de las hiptesis: 3. q (p r) . . . . . Prop. asociativas y conmutativas en 2.
4. q r . . . . . . . . . . . Hiptesis 2.
H1 : p q r 5. q r . . . . . . . . . . . Equiv. implicacin en 4.
H2 : q r 6. (p r) r . . . . . Lema 1 con 3. y 5.
C: p r 7. p (r r) . . . . . Prop. asociativa en 6.
8. p r . . . . . . . . . . . Ley idempotencia en 7.
9.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 38/50

 Ejemplo (Lema 3) Solucion
Demuestre que la 1. p q r . . . . . . . Hiptesis 1.
conclusin se deduce 2. p (q r) . . . . . Equiv. implicacin en 1.
de las hiptesis: 3. q (p r) . . . . . Prop. asociativas y conmutativas en 2.
4. q r . . . . . . . . . . . Hiptesis 2.
H1 : p q r 5. q r . . . . . . . . . . . Equiv. implicacin en 4.
H2 : q r 6. (p r) r . . . . . Lema 1 con 3. y 5.
C: p r 7. p (r r) . . . . . Prop. asociativa en 6.
8. p r . . . . . . . . . . . Ley idempotencia en 7.
9. p r ...........

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 38/50

 Ejemplo (Lema 3) Solucion
Demuestre que la 1. p q r . . . . . . . Hiptesis 1.
conclusin se deduce 2. p (q r) . . . . . Equiv. implicacin en 1.
de las hiptesis: 3. q (p r) . . . . . Prop. asociativas y conmutativas en 2.
4. q r . . . . . . . . . . . Hiptesis 2.
H1 : p q r 5. q r . . . . . . . . . . . Equiv. implicacin en 4.
H2 : q r 6. (p r) r . . . . . Lema 1 con 3. y 5.
C: p r 7. p (r r) . . . . . Prop. asociativa en 6.
8. p r . . . . . . . . . . . Ley idempotencia en 7.
9. p r . . . . . . . . . . . Equiv. implicacin en 8.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 38/50

 Comentarios

Qu ocurre cuando despus de un argumento no Introduccion

Argumento
obtenemos algo correcto? Hay dos alternativas Argumento Valido
Ejemplos Validez
importantes: Deduccion Natural
Cuando el argumento es valido: en ste a su vez Reglas de
Inferencia
tenemos dos alternativas importantes: Conceptos
Ejemplos deducion
Cuando se parti de alguna hiptesis falsa.
Comentarios
Cuando durante la demostracin se aadieron Introduccion
Ejemplo 1
involuntariamente hiptesis adicionales. Ejemplo 2
Sumario
Cuando el argumento es invalido: este caso ocurre

cuando alguna regla de inferencia ha sido mal

interpretada o se ha usado una proposicional
como regla de inferencia cuando es una
contingencia. En este caso se dice que el
argumento es una falacia.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 39/50

 Introduccin

En esta lectura veremos algunos ejemplos Introduccion

Argumento
interesantes que se presentaron en la realizacin Argumento Valido
Ejemplos Validez
de la tarea. Deduccion Natural
Reglas de
Inferencia
Conceptos
Ejemplos deducion
Comentarios
Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 40/50

El problema de los mentirosos y los honestos

Supongamos que ests en el pueblo donde las Introduccion

Argumento
personas son siempre mentirosas o siempre Argumento Valido
Ejemplos Validez
honestas. Digamos que te encuentras a dos Deduccion Natural
personas; llammosles A y B. Slo A habla y dice: Reglas de
Inferencia
ambos somos mentirosos. Indique la opcin que Conceptos
Ejemplos deducion
declara cmo son A y B. Comentarios
Introduccion
A A es honesto es pero B mentiroso Ejemplo 1
Ejemplo 2
B A es mentiroso pero B es honesto Sumario

C A y B son honestos

D A y B son mentirosos

E No es posible concluir

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 41/50

 La metodologa que seguiremos para resolver el Introduccion
Argumento
problema ser la revisin exhaustiva de los casos Argumento Valido
Ejemplos Validez
posibles. Para cada uno de ellos elaboraremos un Deduccion Natural
argumento lgico y veremos si nos lleva a una Reglas de
Inferencia
contradiccin lgica. Aquellos casos que Conceptos
Ejemplos deducion
conduzcan a una contradiccin se descartarn. Comentarios
Los casos posibles son Introduccion
Ejemplo 1
Caso I: A es honesto y B son honesto Ejemplo 2
Sumario
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.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 42/50

 Caso I Introduccion
Argumento
Tomemos p: A es honesto y q: B es honesto. As lo Argumento Valido
que dice A es p q. Siendo A honesto lo que Ejemplos Validez
Deduccion Natural
dice se toma como cierto. As el razonamiento Reglas de
Inferencia
queda: Conceptos
Ejemplos deducion
Comentarios
Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 43/50

 Caso I Introduccion
Argumento
Tomemos p: A es honesto y q: B es honesto. As lo Argumento Valido
que dice A es p q. Siendo A honesto lo que Ejemplos Validez
Deduccion Natural
dice se toma como cierto. As el razonamiento Reglas de
Inferencia
queda: Conceptos
Ejemplos deducion
1. p ................ Comentarios
Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 43/50

 Caso I Introduccion
Argumento
Tomemos p: A es honesto y q: B es honesto. As lo Argumento Valido
que dice A es p q. Siendo A honesto lo que Ejemplos Validez
Deduccion Natural
dice se toma como cierto. As el razonamiento Reglas de
Inferencia
queda: Conceptos
Ejemplos deducion
1. p . . . . . . . . . . . . . . . . Condicin del caso I Comentarios
Introduccion
2.
Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 43/50

 Caso I Introduccion
Argumento
Tomemos p: A es honesto y q: B es honesto. As lo Argumento Valido
que dice A es p q. Siendo A honesto lo que Ejemplos Validez
Deduccion Natural
dice se toma como cierto. As el razonamiento Reglas de
Inferencia
queda: Conceptos
Ejemplos deducion
1. p . . . . . . . . . . . . . . . . Condicin del caso I Comentarios
Introduccion
2. q ................
Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 43/50

 Caso I Introduccion
Argumento
Tomemos p: A es honesto y q: B es honesto. As lo Argumento Valido
que dice A es p q. Siendo A honesto lo que Ejemplos Validez
Deduccion Natural
dice se toma como cierto. As el razonamiento Reglas de
Inferencia
queda: Conceptos
Ejemplos deducion
1. p . . . . . . . . . . . . . . . . Condicin del caso I Comentarios
Introduccion
2. q . . . . . . . . . . . . . . . . Condicin del caso I
Ejemplo 1
3. Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 43/50

 Caso I Introduccion
Argumento
Tomemos p: A es honesto y q: B es honesto. As lo Argumento Valido
que dice A es p q. Siendo A honesto lo que Ejemplos Validez
Deduccion Natural
dice se toma como cierto. As el razonamiento Reglas de
Inferencia
queda: Conceptos
Ejemplos deducion
1. p . . . . . . . . . . . . . . . . Condicin del caso I Comentarios
Introduccion
2. q . . . . . . . . . . . . . . . . Condicin del caso I
Ejemplo 1
3. p q . . . . . . . . . Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 43/50

 Caso I Introduccion
Argumento
Tomemos p: A es honesto y q: B es honesto. As lo Argumento Valido
que dice A es p q. Siendo A honesto lo que Ejemplos Validez
Deduccion Natural
dice se toma como cierto. As el razonamiento Reglas de
Inferencia
queda: Conceptos
Ejemplos deducion
1. p . . . . . . . . . . . . . . . . Condicin del caso I Comentarios
Introduccion
2. q . . . . . . . . . . . . . . . . Condicin del caso I
Ejemplo 1
3. p q . . . . . . . . . Lo que dice A Ejemplo 2
Sumario
4.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 43/50

 Caso I Introduccion
Argumento
Tomemos p: A es honesto y q: B es honesto. As lo Argumento Valido
que dice A es p q. Siendo A honesto lo que Ejemplos Validez
Deduccion Natural
dice se toma como cierto. As el razonamiento Reglas de
Inferencia
queda: Conceptos
Ejemplos deducion
1. p . . . . . . . . . . . . . . . . Condicin del caso I Comentarios
Introduccion
2. q . . . . . . . . . . . . . . . . Condicin del caso I
Ejemplo 1
3. p q . . . . . . . . . Lo que dice A Ejemplo 2
Sumario
4. p . . . . . . . . . . . . . .

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 43/50

 Caso I Introduccion
Argumento
Tomemos p: A es honesto y q: B es honesto. As lo Argumento Valido
que dice A es p q. Siendo A honesto lo que Ejemplos Validez
Deduccion Natural
dice se toma como cierto. As el razonamiento Reglas de
Inferencia
queda: Conceptos
Ejemplos deducion
1. p . . . . . . . . . . . . . . . . Condicin del caso I Comentarios
Introduccion
2. q . . . . . . . . . . . . . . . . Condicin del caso I
Ejemplo 1
3. p q . . . . . . . . . Lo que dice A Ejemplo 2
Sumario
4. p . . . . . . . . . . . . . . Simplificacin conjuntiva en 3.
5.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 43/50

 Caso I Introduccion
Argumento
Tomemos p: A es honesto y q: B es honesto. As lo Argumento Valido
que dice A es p q. Siendo A honesto lo que Ejemplos Validez
Deduccion Natural
dice se toma como cierto. As el razonamiento Reglas de
Inferencia
queda: Conceptos
Ejemplos deducion
1. p . . . . . . . . . . . . . . . . Condicin del caso I Comentarios
Introduccion
2. q . . . . . . . . . . . . . . . . Condicin del caso I
Ejemplo 1
3. p q . . . . . . . . . Lo que dice A Ejemplo 2
Sumario
4. p . . . . . . . . . . . . . . Simplificacin conjuntiva en 3.
5. p p . . . . . . . . . . .

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 43/50

 Caso I Introduccion
Argumento
Tomemos p: A es honesto y q: B es honesto. As lo Argumento Valido
que dice A es p q. Siendo A honesto lo que Ejemplos Validez
Deduccion Natural
dice se toma como cierto. As el razonamiento Reglas de
Inferencia
queda: Conceptos
Ejemplos deducion
1. p . . . . . . . . . . . . . . . . Condicin del caso I Comentarios
Introduccion
2. q . . . . . . . . . . . . . . . . Condicin del caso I
Ejemplo 1
3. p q . . . . . . . . . Lo que dice A Ejemplo 2
Sumario
4. p . . . . . . . . . . . . . . Simplificacin conjuntiva en 3.
5. p p . . . . . . . . . . . Adicin conjuntiva con 1. y 4.
6.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 43/50

 Caso I Introduccion
Argumento
Tomemos p: A es honesto y q: B es honesto. As lo Argumento Valido
que dice A es p q. Siendo A honesto lo que Ejemplos Validez
Deduccion Natural
dice se toma como cierto. As el razonamiento Reglas de
Inferencia
queda: Conceptos
Ejemplos deducion
1. p . . . . . . . . . . . . . . . . Condicin del caso I Comentarios
Introduccion
2. q . . . . . . . . . . . . . . . . Condicin del caso I
Ejemplo 1
3. p q . . . . . . . . . Lo que dice A Ejemplo 2
Sumario
4. p . . . . . . . . . . . . . . Simplificacin conjuntiva en 3.
5. p p . . . . . . . . . . . Adicin conjuntiva con 1. y 4.
6. F ................

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 43/50

 Caso I Introduccion
Argumento
Tomemos p: A es honesto y q: B es honesto. As lo Argumento Valido
que dice A es p q. Siendo A honesto lo que Ejemplos Validez
Deduccion Natural
dice se toma como cierto. As el razonamiento Reglas de
Inferencia
queda: Conceptos
Ejemplos deducion
1. p . . . . . . . . . . . . . . . . Condicin del caso I Comentarios
Introduccion
2. q . . . . . . . . . . . . . . . . Condicin del caso I
Ejemplo 1
3. p q . . . . . . . . . Lo que dice A Ejemplo 2
Sumario
4. p . . . . . . . . . . . . . . Simplificacin conjuntiva en 3.
5. p p . . . . . . . . . . . Adicin conjuntiva con 1. y 4.
6. F . . . . . . . . . . . . . . . . Ley de inversas en 5.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 43/50

 Caso I Introduccion
Argumento
Tomemos p: A es honesto y q: B es honesto. As lo Argumento Valido
que dice A es p q. Siendo A honesto lo que Ejemplos Validez
Deduccion Natural
dice se toma como cierto. As el razonamiento Reglas de
Inferencia
queda: Conceptos
Ejemplos deducion
1. p . . . . . . . . . . . . . . . . Condicin del caso I Comentarios
Introduccion
2. q . . . . . . . . . . . . . . . . Condicin del caso I
Ejemplo 1
3. p q . . . . . . . . . Lo que dice A Ejemplo 2
Sumario
4. p . . . . . . . . . . . . . . Simplificacin conjuntiva en 3.
5. p p . . . . . . . . . . . Adicin conjuntiva con 1. y 4.
6. F . . . . . . . . . . . . . . . . Ley de inversas en 5.
Por tanto, el caso I no puede ocurrir.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 43/50

 Caso II Introduccion
Argumento
Tomemos p: A es honesto y q: B es mentiroso. As Argumento Valido
lo que dice A es p q. Siendo A honesto lo que Ejemplos Validez
Deduccion Natural
dice se toma como cierto. As el razonamiento Reglas de
Inferencia
queda: Conceptos
Ejemplos deducion
Comentarios
Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 44/50

 Caso II Introduccion
Argumento
Tomemos p: A es honesto y q: B es mentiroso. As Argumento Valido
lo que dice A es p q. Siendo A honesto lo que Ejemplos Validez
Deduccion Natural
dice se toma como cierto. As el razonamiento Reglas de
Inferencia
queda: Conceptos
Ejemplos deducion
1. p ................ Comentarios
Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 44/50

 Caso II Introduccion
Argumento
Tomemos p: A es honesto y q: B es mentiroso. As Argumento Valido
lo que dice A es p q. Siendo A honesto lo que Ejemplos Validez
Deduccion Natural
dice se toma como cierto. As el razonamiento Reglas de
Inferencia
queda: Conceptos
Ejemplos deducion
1. p . . . . . . . . . . . . . . . . Condicin del caso I Comentarios
Introduccion
2.
Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 44/50

 Caso II Introduccion
Argumento
Tomemos p: A es honesto y q: B es mentiroso. As Argumento Valido
lo que dice A es p q. Siendo A honesto lo que Ejemplos Validez
Deduccion Natural
dice se toma como cierto. As el razonamiento Reglas de
Inferencia
queda: Conceptos
Ejemplos deducion
1. p . . . . . . . . . . . . . . . . Condicin del caso I Comentarios
Introduccion
2. q ................
Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 44/50

 Caso II Introduccion
Argumento
Tomemos p: A es honesto y q: B es mentiroso. As Argumento Valido
lo que dice A es p q. Siendo A honesto lo que Ejemplos Validez
Deduccion Natural
dice se toma como cierto. As el razonamiento Reglas de
Inferencia
queda: Conceptos
Ejemplos deducion
1. p . . . . . . . . . . . . . . . . Condicin del caso I Comentarios
Introduccion
2. q . . . . . . . . . . . . . . . . Condicin del caso I
Ejemplo 1
3. Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 44/50

 Caso II Introduccion
Argumento
Tomemos p: A es honesto y q: B es mentiroso. As Argumento Valido
lo que dice A es p q. Siendo A honesto lo que Ejemplos Validez
Deduccion Natural
dice se toma como cierto. As el razonamiento Reglas de
Inferencia
queda: Conceptos
Ejemplos deducion
1. p . . . . . . . . . . . . . . . . Condicin del caso I Comentarios
Introduccion
2. q . . . . . . . . . . . . . . . . Condicin del caso I
Ejemplo 1
3. p q . . . . . . . . . . . Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 44/50

 Caso II Introduccion
Argumento
Tomemos p: A es honesto y q: B es mentiroso. As Argumento Valido
lo que dice A es p q. Siendo A honesto lo que Ejemplos Validez
Deduccion Natural
dice se toma como cierto. As el razonamiento Reglas de
Inferencia
queda: Conceptos
Ejemplos deducion
1. p . . . . . . . . . . . . . . . . Condicin del caso I Comentarios
Introduccion
2. q . . . . . . . . . . . . . . . . Condicin del caso I
Ejemplo 1
3. p q . . . . . . . . . . . Lo que dice A Ejemplo 2
Sumario
4.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 44/50

 Caso II Introduccion
Argumento
Tomemos p: A es honesto y q: B es mentiroso. As Argumento Valido
lo que dice A es p q. Siendo A honesto lo que Ejemplos Validez
Deduccion Natural
dice se toma como cierto. As el razonamiento Reglas de
Inferencia
queda: Conceptos
Ejemplos deducion
1. p . . . . . . . . . . . . . . . . Condicin del caso I Comentarios
Introduccion
2. q . . . . . . . . . . . . . . . . Condicin del caso I
Ejemplo 1
3. p q . . . . . . . . . . . Lo que dice A Ejemplo 2
Sumario
4. p . . . . . . . . . . . . . .

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 44/50

 Caso II Introduccion
Argumento
Tomemos p: A es honesto y q: B es mentiroso. As Argumento Valido
lo que dice A es p q. Siendo A honesto lo que Ejemplos Validez
Deduccion Natural
dice se toma como cierto. As el razonamiento Reglas de
Inferencia
queda: Conceptos
Ejemplos deducion
1. p . . . . . . . . . . . . . . . . Condicin del caso I Comentarios
Introduccion
2. q . . . . . . . . . . . . . . . . Condicin del caso I
Ejemplo 1
3. p q . . . . . . . . . . . Lo que dice A Ejemplo 2
Sumario
4. p . . . . . . . . . . . . . . Simplificacin conjuntiva en 3.
5.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 44/50

 Caso II Introduccion
Argumento
Tomemos p: A es honesto y q: B es mentiroso. As Argumento Valido
lo que dice A es p q. Siendo A honesto lo que Ejemplos Validez
Deduccion Natural
dice se toma como cierto. As el razonamiento Reglas de
Inferencia
queda: Conceptos
Ejemplos deducion
1. p . . . . . . . . . . . . . . . . Condicin del caso I Comentarios
Introduccion
2. q . . . . . . . . . . . . . . . . Condicin del caso I
Ejemplo 1
3. p q . . . . . . . . . . . Lo que dice A Ejemplo 2
Sumario
4. p . . . . . . . . . . . . . . Simplificacin conjuntiva en 3.
5. p p . . . . . . . . . . .

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 44/50

 Caso II Introduccion
Argumento
Tomemos p: A es honesto y q: B es mentiroso. As Argumento Valido
lo que dice A es p q. Siendo A honesto lo que Ejemplos Validez
Deduccion Natural
dice se toma como cierto. As el razonamiento Reglas de
Inferencia
queda: Conceptos
Ejemplos deducion
1. p . . . . . . . . . . . . . . . . Condicin del caso I Comentarios
Introduccion
2. q . . . . . . . . . . . . . . . . Condicin del caso I
Ejemplo 1
3. p q . . . . . . . . . . . Lo que dice A Ejemplo 2
Sumario
4. p . . . . . . . . . . . . . . Simplificacin conjuntiva en 3.
5. p p . . . . . . . . . . . Adicin conjuntiva con 1. y 4.
6.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 44/50

 Caso II Introduccion
Argumento
Tomemos p: A es honesto y q: B es mentiroso. As Argumento Valido
lo que dice A es p q. Siendo A honesto lo que Ejemplos Validez
Deduccion Natural
dice se toma como cierto. As el razonamiento Reglas de
Inferencia
queda: Conceptos
Ejemplos deducion
1. p . . . . . . . . . . . . . . . . Condicin del caso I Comentarios
Introduccion
2. q . . . . . . . . . . . . . . . . Condicin del caso I
Ejemplo 1
3. p q . . . . . . . . . . . Lo que dice A Ejemplo 2
Sumario
4. p . . . . . . . . . . . . . . Simplificacin conjuntiva en 3.
5. p p . . . . . . . . . . . Adicin conjuntiva con 1. y 4.
6. F ................

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 44/50

 Caso II Introduccion
Argumento
Tomemos p: A es honesto y q: B es mentiroso. As Argumento Valido
lo que dice A es p q. Siendo A honesto lo que Ejemplos Validez
Deduccion Natural
dice se toma como cierto. As el razonamiento Reglas de
Inferencia
queda: Conceptos
Ejemplos deducion
1. p . . . . . . . . . . . . . . . . Condicin del caso I Comentarios
Introduccion
2. q . . . . . . . . . . . . . . . . Condicin del caso I
Ejemplo 1
3. p q . . . . . . . . . . . Lo que dice A Ejemplo 2
Sumario
4. p . . . . . . . . . . . . . . Simplificacin conjuntiva en 3.
5. p p . . . . . . . . . . . Adicin conjuntiva con 1. y 4.
6. F . . . . . . . . . . . . . . . . Ley de inversas en 5.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 44/50

 Caso II Introduccion
Argumento
Tomemos p: A es honesto y q: B es mentiroso. As Argumento Valido
lo que dice A es p q. Siendo A honesto lo que Ejemplos Validez
Deduccion Natural
dice se toma como cierto. As el razonamiento Reglas de
Inferencia
queda: Conceptos
Ejemplos deducion
1. p . . . . . . . . . . . . . . . . Condicin del caso I Comentarios
Introduccion
2. q . . . . . . . . . . . . . . . . Condicin del caso I
Ejemplo 1
3. p q . . . . . . . . . . . Lo que dice A Ejemplo 2
Sumario
4. p . . . . . . . . . . . . . . Simplificacin conjuntiva en 3.
5. p p . . . . . . . . . . . Adicin conjuntiva con 1. y 4.
6. F . . . . . . . . . . . . . . . . Ley de inversas en 5.
Por tanto, el caso II no puede ocurrir.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 44/50

 Caso III Introduccion
Argumento
Tomemos p: A es mentiroso y q: B es honesto. As Argumento Valido
lo que dice A es p q. Siendo A mentiroso lo que Ejemplos Validez
Deduccion Natural
dice se toma como falso. Por tanto, lo contrario a lo Reglas de
Inferencia
que dice A se toma como verdadero. As el Conceptos
Ejemplos deducion
razonamiento queda: Comentarios
Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 45/50

 Caso III Introduccion
Argumento
Tomemos p: A es mentiroso y q: B es honesto. As Argumento Valido
lo que dice A es p q. Siendo A mentiroso lo que Ejemplos Validez
Deduccion Natural
dice se toma como falso. Por tanto, lo contrario a lo Reglas de
Inferencia
que dice A se toma como verdadero. As el Conceptos
Ejemplos deducion
razonamiento queda: Comentarios
1. p ................ Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 45/50

 Caso III Introduccion
Argumento
Tomemos p: A es mentiroso y q: B es honesto. As Argumento Valido
lo que dice A es p q. Siendo A mentiroso lo que Ejemplos Validez
Deduccion Natural
dice se toma como falso. Por tanto, lo contrario a lo Reglas de
Inferencia
que dice A se toma como verdadero. As el Conceptos
Ejemplos deducion
razonamiento queda: Comentarios
1. p . . . . . . . . . . . . . . . . Condicin del caso I Introduccion
Ejemplo 1
2. Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 45/50

 Caso III Introduccion
Argumento
Tomemos p: A es mentiroso y q: B es honesto. As Argumento Valido
lo que dice A es p q. Siendo A mentiroso lo que Ejemplos Validez
Deduccion Natural
dice se toma como falso. Por tanto, lo contrario a lo Reglas de
Inferencia
que dice A se toma como verdadero. As el Conceptos
Ejemplos deducion
razonamiento queda: Comentarios
1. p . . . . . . . . . . . . . . . . Condicin del caso I Introduccion
Ejemplo 1
2. q ................ Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 45/50

 Caso III Introduccion
Argumento
Tomemos p: A es mentiroso y q: B es honesto. As Argumento Valido
lo que dice A es p q. Siendo A mentiroso lo que Ejemplos Validez
Deduccion Natural
dice se toma como falso. Por tanto, lo contrario a lo Reglas de
Inferencia
que dice A se toma como verdadero. As el Conceptos
Ejemplos deducion
razonamiento queda: Comentarios
1. p . . . . . . . . . . . . . . . . Condicin del caso I Introduccion
Ejemplo 1
2. q . . . . . . . . . . . . . . . . Condicin del caso I Ejemplo 2
Sumario
3.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 45/50

 Caso III Introduccion
Argumento
Tomemos p: A es mentiroso y q: B es honesto. As Argumento Valido
lo que dice A es p q. Siendo A mentiroso lo que Ejemplos Validez
Deduccion Natural
dice se toma como falso. Por tanto, lo contrario a lo Reglas de
Inferencia
que dice A se toma como verdadero. As el Conceptos
Ejemplos deducion
razonamiento queda: Comentarios
1. p . . . . . . . . . . . . . . . . Condicin del caso I Introduccion
Ejemplo 1
2. q . . . . . . . . . . . . . . . . Condicin del caso I Ejemplo 2
Sumario
3. (p q) . . . . . . .

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 45/50

 Caso III Introduccion
Argumento
Tomemos p: A es mentiroso y q: B es honesto. As Argumento Valido
lo que dice A es p q. Siendo A mentiroso lo que Ejemplos Validez
Deduccion Natural
dice se toma como falso. Por tanto, lo contrario a lo Reglas de
Inferencia
que dice A se toma como verdadero. As el Conceptos
Ejemplos deducion
razonamiento queda: Comentarios
1. p . . . . . . . . . . . . . . . . Condicin del caso I Introduccion
Ejemplo 1
2. q . . . . . . . . . . . . . . . . Condicin del caso I Ejemplo 2
Sumario
3. (p q) . . . . . . . Lo contrario de lo que dice A
4.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 45/50

 Caso III Introduccion
Argumento
Tomemos p: A es mentiroso y q: B es honesto. As Argumento Valido
lo que dice A es p q. Siendo A mentiroso lo que Ejemplos Validez
Deduccion Natural
dice se toma como falso. Por tanto, lo contrario a lo Reglas de
Inferencia
que dice A se toma como verdadero. As el Conceptos
Ejemplos deducion
razonamiento queda: Comentarios
1. p . . . . . . . . . . . . . . . . Condicin del caso I Introduccion
Ejemplo 1
2. q . . . . . . . . . . . . . . . . Condicin del caso I Ejemplo 2
Sumario
3. (p q) . . . . . . . Lo contrario de lo que dice A
4. p q . . . . . . . . . . .

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 45/50

 Caso III Introduccion
Argumento
Tomemos p: A es mentiroso y q: B es honesto. As Argumento Valido
lo que dice A es p q. Siendo A mentiroso lo que Ejemplos Validez
Deduccion Natural
dice se toma como falso. Por tanto, lo contrario a lo Reglas de
Inferencia
que dice A se toma como verdadero. As el Conceptos
Ejemplos deducion
razonamiento queda: Comentarios
1. p . . . . . . . . . . . . . . . . Condicin del caso I Introduccion
Ejemplo 1
2. q . . . . . . . . . . . . . . . . Condicin del caso I Ejemplo 2
Sumario
3. (p q) . . . . . . . Lo contrario de lo que dice A
4. p q . . . . . . . . . . . De Morgan y doble negacin en 3.
5.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 45/50

 Caso III Introduccion
Argumento
Tomemos p: A es mentiroso y q: B es honesto. As Argumento Valido
lo que dice A es p q. Siendo A mentiroso lo que Ejemplos Validez
Deduccion Natural
dice se toma como falso. Por tanto, lo contrario a lo Reglas de
Inferencia
que dice A se toma como verdadero. As el Conceptos
Ejemplos deducion
razonamiento queda: Comentarios
1. p . . . . . . . . . . . . . . . . Condicin del caso I Introduccion
Ejemplo 1
2. q . . . . . . . . . . . . . . . . Condicin del caso I Ejemplo 2
Sumario
3. (p q) . . . . . . . Lo contrario de lo que dice A
4. p q . . . . . . . . . . . De Morgan y doble negacin en 3.
5. q ................

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 45/50

 Caso III Introduccion
Argumento
Tomemos p: A es mentiroso y q: B es honesto. As Argumento Valido
lo que dice A es p q. Siendo A mentiroso lo que Ejemplos Validez
Deduccion Natural
dice se toma como falso. Por tanto, lo contrario a lo Reglas de
Inferencia
que dice A se toma como verdadero. As el Conceptos
Ejemplos deducion
razonamiento queda: Comentarios
1. p . . . . . . . . . . . . . . . . Condicin del caso I Introduccion
Ejemplo 1
2. q . . . . . . . . . . . . . . . . Condicin del caso I Ejemplo 2
Sumario
3. (p q) . . . . . . . Lo contrario de lo que dice A
4. p q . . . . . . . . . . . De Morgan y doble negacin en 3.
5. q . . . . . . . . . . . . . . . . Silogismo disjuntivo con 4. y 1.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 45/50

 Caso III Introduccion
Argumento
Tomemos p: A es mentiroso y q: B es honesto. As Argumento Valido
lo que dice A es p q. Siendo A mentiroso lo que Ejemplos Validez
Deduccion Natural
dice se toma como falso. Por tanto, lo contrario a lo Reglas de
Inferencia
que dice A se toma como verdadero. As el Conceptos
Ejemplos deducion
razonamiento queda: Comentarios
1. p . . . . . . . . . . . . . . . . Condicin del caso I Introduccion
Ejemplo 1
2. q . . . . . . . . . . . . . . . . Condicin del caso I Ejemplo 2
Sumario
3. (p q) . . . . . . . Lo contrario de lo que dice A
4. p q . . . . . . . . . . . De Morgan y doble negacin en 3.
5. q . . . . . . . . . . . . . . . . Silogismo disjuntivo con 4. y 1.
As, no hay forma de avanzar y llegar a una
contradiccin. Por tanto, el caso III puede ocurrir.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 45/50

 Caso IV Introduccion
Argumento
Tomemos p: A es mentiroso y q: B es mentiroso. Argumento Valido
As lo que dice A es p q. Siendo A mentiroso lo Ejemplos Validez
Deduccion Natural
que dice se toma como falso. As el razonamiento Reglas de
Inferencia
queda: Conceptos
Ejemplos deducion
Comentarios
Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 46/50

 Caso IV Introduccion
Argumento
Tomemos p: A es mentiroso y q: B es mentiroso. Argumento Valido
As lo que dice A es p q. Siendo A mentiroso lo Ejemplos Validez
Deduccion Natural
que dice se toma como falso. As el razonamiento Reglas de
Inferencia
queda: Conceptos
Ejemplos deducion
1. p ................ Comentarios
Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 46/50

 Caso IV Introduccion
Argumento
Tomemos p: A es mentiroso y q: B es mentiroso. Argumento Valido
As lo que dice A es p q. Siendo A mentiroso lo Ejemplos Validez
Deduccion Natural
que dice se toma como falso. As el razonamiento Reglas de
Inferencia
queda: Conceptos
Ejemplos deducion
1. p . . . . . . . . . . . . . . . . Condicin del caso I Comentarios
Introduccion
2.
Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 46/50

 Caso IV Introduccion
Argumento
Tomemos p: A es mentiroso y q: B es mentiroso. Argumento Valido
As lo que dice A es p q. Siendo A mentiroso lo Ejemplos Validez
Deduccion Natural
que dice se toma como falso. As el razonamiento Reglas de
Inferencia
queda: Conceptos
Ejemplos deducion
1. p . . . . . . . . . . . . . . . . Condicin del caso I Comentarios
Introduccion
2. q ................
Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 46/50

 Caso IV Introduccion
Argumento
Tomemos p: A es mentiroso y q: B es mentiroso. Argumento Valido
As lo que dice A es p q. Siendo A mentiroso lo Ejemplos Validez
Deduccion Natural
que dice se toma como falso. As el razonamiento Reglas de
Inferencia
queda: Conceptos
Ejemplos deducion
1. p . . . . . . . . . . . . . . . . Condicin del caso I Comentarios
Introduccion
2. q . . . . . . . . . . . . . . . . Condicin del caso I
Ejemplo 1
3. Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 46/50

 Caso IV Introduccion
Argumento
Tomemos p: A es mentiroso y q: B es mentiroso. Argumento Valido
As lo que dice A es p q. Siendo A mentiroso lo Ejemplos Validez
Deduccion Natural
que dice se toma como falso. As el razonamiento Reglas de
Inferencia
queda: Conceptos
Ejemplos deducion
1. p . . . . . . . . . . . . . . . . Condicin del caso I Comentarios
Introduccion
2. q . . . . . . . . . . . . . . . . Condicin del caso I
Ejemplo 1
3. (p q) . . . . . . . . . Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 46/50

 Caso IV Introduccion
Argumento
Tomemos p: A es mentiroso y q: B es mentiroso. Argumento Valido
As lo que dice A es p q. Siendo A mentiroso lo Ejemplos Validez
Deduccion Natural
que dice se toma como falso. As el razonamiento Reglas de
Inferencia
queda: Conceptos
Ejemplos deducion
1. p . . . . . . . . . . . . . . . . Condicin del caso I Comentarios
Introduccion
2. q . . . . . . . . . . . . . . . . Condicin del caso I
Ejemplo 1
3. (p q) . . . . . . . . . Lo contrario de lo que dice A Ejemplo 2
Sumario
4.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 46/50

 Caso IV Introduccion
Argumento
Tomemos p: A es mentiroso y q: B es mentiroso. Argumento Valido
As lo que dice A es p q. Siendo A mentiroso lo Ejemplos Validez
Deduccion Natural
que dice se toma como falso. As el razonamiento Reglas de
Inferencia
queda: Conceptos
Ejemplos deducion
1. p . . . . . . . . . . . . . . . . Condicin del caso I Comentarios
Introduccion
2. q . . . . . . . . . . . . . . . . Condicin del caso I
Ejemplo 1
3. (p q) . . . . . . . . . Lo contrario de lo que dice A Ejemplo 2
Sumario
4. p q . . . . . . . . .

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 46/50

 Caso IV Introduccion
Argumento
Tomemos p: A es mentiroso y q: B es mentiroso. Argumento Valido
As lo que dice A es p q. Siendo A mentiroso lo Ejemplos Validez
Deduccion Natural
que dice se toma como falso. As el razonamiento Reglas de
Inferencia
queda: Conceptos
Ejemplos deducion
1. p . . . . . . . . . . . . . . . . Condicin del caso I Comentarios
Introduccion
2. q . . . . . . . . . . . . . . . . Condicin del caso I
Ejemplo 1
3. (p q) . . . . . . . . . Lo contrario de lo que dice A Ejemplo 2
Sumario
4. p q . . . . . . . . . De Morgan en 3.
5.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 46/50

 Caso IV Introduccion
Argumento
Tomemos p: A es mentiroso y q: B es mentiroso. Argumento Valido
As lo que dice A es p q. Siendo A mentiroso lo Ejemplos Validez
Deduccion Natural
que dice se toma como falso. As el razonamiento Reglas de
Inferencia
queda: Conceptos
Ejemplos deducion
1. p . . . . . . . . . . . . . . . . Condicin del caso I Comentarios
Introduccion
2. q . . . . . . . . . . . . . . . . Condicin del caso I
Ejemplo 1
3. (p q) . . . . . . . . . Lo contrario de lo que dice A Ejemplo 2
Sumario
4. p q . . . . . . . . . De Morgan en 3.
5. q . . . . . . . . . . . . . .

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 46/50

 Caso IV Introduccion
Argumento
Tomemos p: A es mentiroso y q: B es mentiroso. Argumento Valido
As lo que dice A es p q. Siendo A mentiroso lo Ejemplos Validez
Deduccion Natural
que dice se toma como falso. As el razonamiento Reglas de
Inferencia
queda: Conceptos
Ejemplos deducion
1. p . . . . . . . . . . . . . . . . Condicin del caso I Comentarios
Introduccion
2. q . . . . . . . . . . . . . . . . Condicin del caso I
Ejemplo 1
3. (p q) . . . . . . . . . Lo contrario de lo que dice A Ejemplo 2
Sumario
4. p q . . . . . . . . . De Morgan en 3.
5. q . . . . . . . . . . . . . . Silogismo disjuntivo con 1. y 4.
6.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 46/50

 Caso IV Introduccion
Argumento
Tomemos p: A es mentiroso y q: B es mentiroso. Argumento Valido
As lo que dice A es p q. Siendo A mentiroso lo Ejemplos Validez
Deduccion Natural
que dice se toma como falso. As el razonamiento Reglas de
Inferencia
queda: Conceptos
Ejemplos deducion
1. p . . . . . . . . . . . . . . . . Condicin del caso I Comentarios
Introduccion
2. q . . . . . . . . . . . . . . . . Condicin del caso I
Ejemplo 1
3. (p q) . . . . . . . . . Lo contrario de lo que dice A Ejemplo 2
Sumario
4. p q . . . . . . . . . De Morgan en 3.
5. q . . . . . . . . . . . . . . Silogismo disjuntivo con 1. y 4.
6. q q . . . . . . . . . . .

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 46/50

 Caso IV Introduccion
Argumento
Tomemos p: A es mentiroso y q: B es mentiroso. Argumento Valido
As lo que dice A es p q. Siendo A mentiroso lo Ejemplos Validez
Deduccion Natural
que dice se toma como falso. As el razonamiento Reglas de
Inferencia
queda: Conceptos
Ejemplos deducion
1. p . . . . . . . . . . . . . . . . Condicin del caso I Comentarios
Introduccion
2. q . . . . . . . . . . . . . . . . Condicin del caso I
Ejemplo 1
3. (p q) . . . . . . . . . Lo contrario de lo que dice A Ejemplo 2
Sumario
4. p q . . . . . . . . . De Morgan en 3.
5. q . . . . . . . . . . . . . . Silogismo disjuntivo con 1. y 4.
6. q q . . . . . . . . . . . Adicin conjuntiva con 2. y 5.
7.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 46/50

 Caso IV Introduccion
Argumento
Tomemos p: A es mentiroso y q: B es mentiroso. Argumento Valido
As lo que dice A es p q. Siendo A mentiroso lo Ejemplos Validez
Deduccion Natural
que dice se toma como falso. As el razonamiento Reglas de
Inferencia
queda: Conceptos
Ejemplos deducion
1. p . . . . . . . . . . . . . . . . Condicin del caso I Comentarios
Introduccion
2. q . . . . . . . . . . . . . . . . Condicin del caso I
Ejemplo 1
3. (p q) . . . . . . . . . Lo contrario de lo que dice A Ejemplo 2
Sumario
4. p q . . . . . . . . . De Morgan en 3.
5. q . . . . . . . . . . . . . . Silogismo disjuntivo con 1. y 4.
6. q q . . . . . . . . . . . Adicin conjuntiva con 2. y 5.
7. F ................

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 46/50

 Caso IV Introduccion
Argumento
Tomemos p: A es mentiroso y q: B es mentiroso. Argumento Valido
As lo que dice A es p q. Siendo A mentiroso lo Ejemplos Validez
Deduccion Natural
que dice se toma como falso. As el razonamiento Reglas de
Inferencia
queda: Conceptos
Ejemplos deducion
1. p . . . . . . . . . . . . . . . . Condicin del caso I Comentarios
Introduccion
2. q . . . . . . . . . . . . . . . . Condicin del caso I
Ejemplo 1
3. (p q) . . . . . . . . . Lo contrario de lo que dice A Ejemplo 2
Sumario
4. p q . . . . . . . . . De Morgan en 3.
5. q . . . . . . . . . . . . . . Silogismo disjuntivo con 1. y 4.
6. q q . . . . . . . . . . . Adicin conjuntiva con 2. y 5.
7. F . . . . . . . . . . . . . . . . Ley de inversas en 6.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 46/50

 Caso IV Introduccion
Argumento
Tomemos p: A es mentiroso y q: B es mentiroso. Argumento Valido
As lo que dice A es p q. Siendo A mentiroso lo Ejemplos Validez
Deduccion Natural
que dice se toma como falso. As el razonamiento Reglas de
Inferencia
queda: Conceptos
Ejemplos deducion
1. p . . . . . . . . . . . . . . . . Condicin del caso I Comentarios
Introduccion
2. q . . . . . . . . . . . . . . . . Condicin del caso I
Ejemplo 1
3. (p q) . . . . . . . . . Lo contrario de lo que dice A Ejemplo 2
Sumario
4. p q . . . . . . . . . De Morgan en 3.
5. q . . . . . . . . . . . . . . Silogismo disjuntivo con 1. y 4.
6. q q . . . . . . . . . . . Adicin conjuntiva con 2. y 5.
7. F . . . . . . . . . . . . . . . . Ley de inversas en 6.
Por tanto, el caso IV no puede ocurrir.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 46/50

 Por consiguiente el nico caso posible es el caso Introduccion
Argumento
III: A es mentiroso y B es honesto: Argumento Valido
Ejemplos Validez
Deduccion Natural
Reglas de
A A es honesto es pero B mentiroso Inferencia
Conceptos
B A es mentiroso pero B es honesto Ejemplos deducion
Comentarios
Introduccion
C A y B son honestos Ejemplo 1
Ejemplo 2
Sumario
D A y B son mentirosos

E No es posible concluir

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 47/50

 El problema del grupo

Supn el mismo pueblo y supn que te encuentras Introduccion

Argumento
un grupo de 6 nativos: U, V, W, X, Y y Z. Y hablan Argumento Valido
Ejemplos Validez
de la siguiente forma: Deduccion Natural
U dice: ninguno de nosotros es honesto. Reglas de
Inferencia
V dice: Al menos 3 de nosotros son honestos. Conceptos
Ejemplos deducion
W dice: A lo ms 3 de nosotros son honestos. Comentarios
Introduccion
X dice: Exactamente 5 de nosotros son honestos. Ejemplo 1
Ejemplo 2
Y dice: Exactamente 2 de nosotros son honestos. Sumario

Z dice: Exactamente 1 de nosotros es honesto.

Quines son honestos y qunes son mentirosos?

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 48/50

 La clave de este problema est en el nmero de Introduccion
Argumento
honestos: Argumento Valido
Ejemplos Validez
Deduccion Natural
Reglas de
Inferencia
Conceptos
Ejemplos deducion
Comentarios
Introduccion
Ejemplo 1
Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 49/50

 La clave de este problema est en el nmero de Introduccion
Argumento
honestos: Argumento Valido
Ejemplos Validez
0 y estara diciendo la verdad U. Imposible.
Deduccion Natural
Reglas de
1 y estaran diciendo la verdad W y Z. Imposible. Inferencia
Conceptos
2 y estaran diciendo la verdad W y Y. No hay Ejemplos deducion
contradiccin. Comentarios
Introduccion
3 y slo U y V estaran diciendo la verdad. Ejemplo 1
Ejemplo 2
Imposible. Sumario

4 y slo estara diciendo la verdad V. Imposible.

5 y slo estaran diciendo la verdad V y X.

Imposible.
6 y slo estara diciendo la verdad V. Imposible.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 49/50

 La clave de este problema est en el nmero de Introduccion
Argumento
honestos: Argumento Valido
Ejemplos Validez
0 y estara diciendo la verdad U. Imposible.
Deduccion Natural
Reglas de
1 y estaran diciendo la verdad W y Z. Imposible. Inferencia
Conceptos
2 y estaran diciendo la verdad W y Y. No hay Ejemplos deducion
contradiccin. Comentarios
Introduccion
3 y slo U y V estaran diciendo la verdad. Ejemplo 1
Ejemplo 2
Imposible. Sumario

4 y slo estara diciendo la verdad V. Imposible.

5 y slo estaran diciendo la verdad V y X.

Imposible.
6 y slo estara diciendo la verdad V. Imposible.

Por tanto, slo hay dos honestos y son W y Y.

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 49/50

 Temas Vistos

Concepto de argumento Introduccion

Argumento
Argumento vlido y argumento invlido Argumento Valido
Ejemplos Validez
Rengln crtico Deduccion Natural
Reglas de
Inferencia
Mtodo de verificacin de vlidez de argumento Conceptos
por tablas de verdad Ejemplos deducion
Comentarios
Regla de Inferencia Introduccion
Ejemplo 1
Mtodo de Deduccin Natural Ejemplo 2
Sumario

Mdulo I: Argumentos Vlidos Matemticas Discretas - p. 50/50