Lógica 55555

Matemticas Discretas TC1003
Mdulo I: Argumentos Vlidos

Departamento de Matemticas
ITESM
Matemticas Discretas - p. 1/50
Introduccin
En matemticas y en lgica un argumento no es una disputa. Ms bien, es una secuencia estructurada de armaciones que terminan en una conclusin. En esta seccin veremos cmo determinar si un argumento es vlido; es decir, cundo la conclusin se deduce de los hechos que la preceden.
Introduccion Argumento Argumento Valido Ejemplos Validez Natural Deduccion Reglas de Inferencia Conceptos Ejemplos deducion Comentarios Introduccion Ejemplo 1 Ejemplo 2 Sumario
Argumento
Denicion
Un argumento es una secuencia de armaciones.
Argumento
Denicion
Un argumento es una secuencia de armaciones. Todas las armaciones excepto la ltima se llamarn premisas, o suposiciones o hiptesis.
Argumento
Denicion
Un argumento es una secuencia de armaciones. Todas las armaciones excepto la ltima se llamarn premisas, o suposiciones o hiptesis. La declaracin nal se llamar conclusin.
Ejemplo
Lo siguiente representa a un argumento: 1. Si Juan estudia adecuadamente, entonces Juan pasa el curso de Discretas. 2. Juan est estudiando adecuadamente. 3. Juan pasar el curso de Discretas.
Argumentos Vlidos e Invlidos

Denicion
Diremos que un argumento es argumento vlido si

Denicion
Diremos que un argumento es argumento vlido si para cualquier valor de las variables proposicionales involucradas en las frmulas que hacen verdaderas las premisas,

Denicion
Diremos que un argumento es argumento vlido si para cualquier valor de las variables proposicionales involucradas en las frmulas que hacen verdaderas las premisas, tambin la conclusin es verdadera.
De la propia denicin de argumento vlido se puede deducir una metodologa para vericar la validez de un argumento:
De la propia denicin de argumento vlido se puede deducir una metodologa para vericar la validez de un argumento: 1. Identicar las premisas y la conclusin
De la propia denicin de argumento vlido se puede deducir una metodologa para vericar la validez de un argumento: 1. Identicar las premisas y la conclusin 2. Construir una tabla de verdad que incluya las premisas y la conclusin
De la propia denicin de argumento vlido se puede deducir una metodologa para vericar la validez de un argumento: 1. Identicar las premisas y la conclusin 2. Construir una tabla de verdad que incluya las premisas y la conclusin 3. Sealar de la tabla slo aquellos renglones que hacen que todas las premisas sean verdaderas.
De la propia denicin de argumento vlido se puede deducir una metodologa para vericar la validez de un argumento: 1. Identicar las premisas y la conclusin 2. Construir una tabla de verdad que incluya las premisas y la conclusin 3. Sealar de la tabla slo aquellos renglones que hacen que todas las premisas sean verdaderas. Estos se llamarn renglones crticos
De la propia denicin de argumento vlido se puede deducir una metodologa para vericar la validez de un argumento: 1. Identicar las premisas y la conclusin 2. Construir una tabla de verdad que incluya las premisas y la conclusin 3. Sealar de la tabla slo aquellos renglones que hacen que todas las premisas sean verdaderas. Estos se llamarn renglones crticos 4. Vericar que para los renglones crticos, la conclusin es verdadera.
De la propia denicin de argumento vlido se puede deducir una metodologa para vericar la validez de un argumento: 1. Identicar las premisas y la conclusin 2. Construir una tabla de verdad que incluya las premisas y la conclusin 3. Sealar de la tabla slo aquellos renglones que hacen que todas las premisas sean verdaderas. Estos se llamarn renglones crticos 4. Vericar que para los renglones crticos, la conclusin es verdadera. En tal caso se tiene un Argumento vlido
De la propia denicin de argumento vlido se puede deducir una metodologa para vericar la validez de un argumento: 1. Identicar las premisas y la conclusin 2. Construir una tabla de verdad que incluya las premisas y la conclusin 3. Sealar de la tabla slo aquellos renglones que hacen que todas las premisas sean verdaderas. Estos se llamarn renglones crticos 4. Vericar que para los renglones crticos, la conclusin es verdadera. En tal caso se tiene un Argumento vlido
De la propia denicin de argumento vlido se puede deducir una metodologa para vericar la validez de un argumento: 1. Identicar las premisas y la conclusin 2. Construir una tabla de verdad que incluya las premisas y la conclusin 3. Sealar de la tabla slo aquellos renglones que hacen que todas las premisas sean verdaderas. Estos se llamarn renglones crticos 4. Vericar 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.
De la propia denicin de argumento vlido se puede deducir una metodologa para vericar la validez de un argumento: 1. Identicar las premisas y la conclusin 2. Construir una tabla de verdad que incluya las premisas y la conclusin 3. Sealar de la tabla slo aquellos renglones que hacen que todas las premisas sean verdaderas. Estos se llamarn renglones crticos 4. Vericar 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
Ejemplos de validez
Veamos ahora cmo se aplica el mtodo descrito para probar la validez o invalidez de un argumento.
Ejemplo
Determine si el siguiente argumento es vlido: 1. p q 2. q p 3. p q
Ejemplo
Determine si el siguiente argumento es vlido: 1. p q 2. q p 3. p q

Solucion
Realizando la tabla de verdad obtenemos:

p F F T T q F T F T pq T T F T qp T F T T pq F T T T
De la cual los renglones crticos son: p q pq q p pq F F T T F T F T T T F T T F T T F T T T
De la cual los renglones crticos son: p q pq q p pq F F T T F F T T F T T F F T T T T T T T De donde observamos que de los dos renglones crticos (rengln que corresponde a una combinacin de las variables proposicionales que hacen verdaderas todas las hiptesis) uno de ellos tiene la conclusin falsa:
De la cual los renglones crticos son: p q pq q p pq F F T T F F T T F T T F F T T T T T T T De donde observamos que de los dos renglones 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.
Ejemplo
Determine si el siguiente argumento es vlido. 1. p q , 2. p r, 3. p q r
Ejemplo
Determine si el siguiente argumento es vlido. 1. p q , 2. p r, 3. p q r

Solucion

p F F F T F T T T q F F T F T F T T r F T F F T T F T pq T T T F T F T T pr T T T F T T F T qr F F F F T F F T pqr T T T F T F F T
De la cual los renglones crticos son: p q r pq pr qr pqr F F F T F T T T F F T F T F T T F T F F T T F T T T T F T F T T T T T F T T F T F F F F T F F T T T T F T F F T
De la cual los renglones crticos son: p q r pq pr qr pqr F F F T T F T F F T T T F T F T F T T F T T F F F F F F F T T T T T T T F T F T F F T T F T F F F T T T T T T T De donde observamos que el argumento es vlido.
Ejemplo
Determine si el siguiente argumento es vlido. 1. p q r, 2. p q , 3. q p, 4. r
Ejemplo
Determine si el siguiente argumento es vlido. 1. p q r, 2. p q , 3. q p, 4. r

Solucion

p F F F T F T T T q F F T F T F T T r F T F F T T F T q T T F T F T F F p q F F F T F T F F p q r T T T F T F T T pq F F T T T T T T qp T T F T F T T T
De la cual los renglones crticos son: p F F F T F T T T q F F T F T F T T r F T F F T T F T q T T F T F T F F p q F F F T F T F F p q r T T T F T F T T pq F F T T T T T T qp T T F T F T T T
De la cual los renglones crticos son: p q r q p q p q r pq qp T T F T F T T T
F F F T F T F F F T T F T F F T F F F T T T F F T T F T F T T F F T T T F T T T F T T T F F F T T T T T F F T T De donde observamos que el argumento es invlido.

Deduccin Natural
El mtodo de vericacin de la validez de un argumento recien visto aunque correcto es uno poco humano y que no se puede llevar a cabo cuando el total de hiptesis a usar no est delimitado. El mtodo de deduccin natural consiste en construir un argumento para un conjunto de premisas y una conclusin. Este mtodo se basa en el uso de reglas de inferencia 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.
Reglas Inferencia
Veriquemos la validez de las reglas de inferencia que utilizaremos en el mtodo de deduccin natural. s Modus Pones s Modus Tollens s Silogismo Disjuntivo s Adicin Disjuntiva s Simplicacin Conjuntiva s Silogismo Hipottico s Adicin Conjuntiva s Regla de Contradiccin
Ejemplo
Verique la validez de la regla de inferencia modus ponens: 1. p q 2. p 3. q
Ejemplo
Verique la validez de la regla de inferencia modus ponens: 1. p q 2. p 3. q

Solucion
Realizando la tabla de verdad obtenemos: p q pq p q F F T T F T F T T T F T F F T T F T F T
De la cual los renglones crticos son: p q pq p q F F T T F T F T T T F T F F T T F T F T
De la cual los renglones crticos son: 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 De donde concluimos que el argumento es vlido.
Ejemplo
Verique la validez de la regla de inferencia modus tollens: 1. p q 2. q 3. p
Ejemplo
Verique la validez de la regla de inferencia modus tollens: 1. p q 2. q 3. p

Solucion
Realizando la tabla de verdad obtenemos: p q p q q p F F T T F T F T T T F T T F T F T T F F
De la cual los renglones crticos son: p q p q q p F F T T F T F T T T F T T F T F T F T F
De la cual los renglones crticos son: p q p q q p F F T T T F T T F F T F F T T T T T F F De donde concluimos que el argumento es vlido.
Ejemplo
Verique la validez de la regla de inferencia silogismo disjuntivo: 1. p q 2. p 3. q
Ejemplo
Verique la validez de la regla de inferencia silogismo disjuntivo: 1. p q 2. p 3. q

Solucion
Realizando la tabla de verdad obtenemos: p q p q p q F F T T F T F T F T T T T T F F F T F T
De la cual los renglones crticos son: p q p q p q F F T T F T F T F T T T T T F F F T F T
De la cual los renglones crticos son: p q p q p q F F F T F F T T T T T F T F F T T T F T De donde concluimos que el argumento es vlido.
Ejemplo
Verique la validez de la regla de inferencia adicin disjuntiva: 1. p 2. p q
Ejemplo
Verique la validez de la regla de inferencia adicin disjuntiva: 1. p 2. p q

Solucion
Realizando la tabla de verdad obtenemos: p F F T T q F T F T pq F T T T
De la cual los renglones crticos son: p q pq F F T T F T F T F T T T
De la cual los renglones crticos son: p q pq F F F F T T T F T T T T De donde concluimos que el argumento es vlido.
Ejemplo
Verique la validez de la regla de inferencia simplicacin conjuntiva: 1. p q 2. p
Ejemplo
Verique la validez de la regla de inferencia simplicacin conjuntiva: 1. p q 2. p

Solucion
Realizando la tabla de verdad obtenemos: p F F T T q F T F T pq F F F T
De la cual los renglones crticos son: p q pq F F T T F T F T F F F T
De la cual los renglones crticos son: p q pq F F F F T F T F F T T T De donde concluimos que el argumento es vlido.
Ejemplo
Verique la validez de la regla de inferencia silogismo hipottico: 1. p q , 2. q r, 3. p r
Ejemplo
Verique la validez de la regla de inferencia silogismo hipottico: 1. p q , 2. q r, 3. p r

Solucion

p F F F F T T T T q F F T T F F T T r F T F T F T F T pq T T T T F F T T qr T T F T T T F T pr T T T T F T F T
De la cual los renglones crticos son: p q r rq qr pr F F F F T T T T F F T T F F T T F T F T F T F T T T T T F F T T T T F T T T F T T T T T F T F T
De la cual los renglones crticos son: p q r rq qr pr F F F T T T F F T T T T F T F T F T F T T T T T T F F F T F T F T F T T T T F T F F T T T T T T De donde observamos que el argumento es vlido.
Ejemplo
Verique la validez de la regla de inferencia adicin conjuntiva: 1. p 2. q 3. p q
Ejemplo
Verique la validez de la regla de inferencia adicin conjuntiva: 1. p 2. q 3. p q

Solucion
Realizando la tabla de verdad obtenemos: p q pq F F T T

F T F T
F F F T
De la cual los renglones crticos son: p q pq F F T T F T F T F F F T
De la cual los renglones crticos son: p q pq F F F F T F T F F T T T De donde concluimos que el argumento es vlido.
Ejemplo
Verique la validez de la regla de inferencia de la regla de contradiccin: 1. p F 2. p
Ejemplo
Verique la validez de la regla de inferencia de la regla de contradiccin: 1. p F 2. p

Solucion
Realizando la tabla de verdad obtenemos: p F T F F F p T F p F F T
De la cual los renglones crticos son: p F p p F F T F F T F F T
De la cual los renglones crticos son: p F p p F F F T F T F F T De donde concluimos que el argumento es vlido.
Conceptos
Una demostracin para una proposicin es un argumento vlido construido para ella. La palabra demostrar una proposicin consiste en construir un argumento vlido para ella. Una proposicin se dice teorema, si es posible demostrarla. Una proposicin se dice lema, si es un teorema y posteriormente se planea usarla como una regla de inferencia. Una proposicin se dice corolario a 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.
Ejemplos de deduccin natural

Veamos ahora unos ejemplos del uso de deduccin natural. En lo siguiente demostrar consiste en construir un argumento vlido. Es decir, ir colocando hiptesis o creando FBFs en una lista que ser el argumento. Asimismo, se deber justicar porqu cada FBB en el argumento es verdadera. El argumento partir del supuesto que las hiptesis son verdaderas y deber llegar a la conclusin deseada.
Ejemplo:
Demuestre que la conclusin se deduce de las hiptesis: H1 : p H2 : p q H3 : q r C: r
Ejemplo:

Solucion
1.
FBF Justicacin p ...........
Ejemplo:

Solucion
1. 2.
FBF Justicacin p . . . . . . . . . . . Hiptesis 1
Ejemplo:

Solucion
1. 2.
FBF Justicacin p . . . . . . . . . . . Hiptesis 1 p q . . . . .
Ejemplo:

Solucion
1. 2. 3.
FBF Justicacin p . . . . . . . . . . . Hiptesis 1 p q . . . . . Hiptesis 2
Ejemplo:

Solucion
1. 2. 3.
FBF Justicacin p . . . . . . . . . . . Hiptesis 1 p q . . . . . Hiptesis 2 q . . . . . . . . . .
Ejemplo:

Solucion
1. 2. 3. 4.
FBF p ........... p q . . . . . q . . . . . . . . . .
Justicacin Hiptesis 1 Hiptesis 2 Modus ponens con 2. y 1.
Ejemplo:

Solucion
1. 2. 3. 4.
FBF p ........... p q . . . . . q . . . . . . . . . . q r . . . .
Justicacin Hiptesis 1 Hiptesis 2 Modus ponens con 2. y 1.
Ejemplo:

Solucion
1. 2. 3. 4. 5.
FBF p ........... p q . . . . . q . . . . . . . . . . q r . . . .
Justicacin Hiptesis 1 Hiptesis 2 Modus ponens con 2. y 1. Hiptesis 3.
Ejemplo:

Solucion
1. 2. 3. 4. 5.
FBF p ........... p q . . . . . q . . . . . . . . . . q r . . . . r . . . . . . . . . .
Justicacin Hiptesis 1 Hiptesis 2 Modus ponens con 2. y 1. Hiptesis 3.
Ejemplo:

Solucion
1. 2. 3. 4. 5.
FBF p ........... p q . . . . . q . . . . . . . . . . q r . . . . r . . . . . . . . . .
Justicacin Hiptesis 1 Hiptesis 2 Modus ponens con 2. y 1. Hiptesis 3. Modus ponens con 4. y 5.
Demuestre que la conclusin se deduce de las hiptesis: H1 : p r H2 : r s H3 : t s H4 : t u H5 : u C: p
Ejemplo:

Solucion
Ejemplo:
1.
u . . . . . . . . . . . . . .

Solucion
Ejemplo:
1. 2.
u . . . . . . . . . . . . . . Hiptesis 5

Solucion
Ejemplo:
1. 2.
u . . . . . . . . . . . . . . Hiptesis 5 t u . . . . . . . . . . .

Solucion
Ejemplo:
1. 2. 3.
u . . . . . . . . . . . . . . Hiptesis 5 t u . . . . . . . . . . . Hiptesis 4

Solucion
Ejemplo:
1. 2. 3.
u . . . . . . . . . . . . . . Hiptesis 5 t u . . . . . . . . . . . Hiptesis 4 t . . . . . . . . . . . . . . .

Solucion
Ejemplo:
1. 2. 3. 4.
u . . . . . . . . . . . . . . Hiptesis 5 t u . . . . . . . . . . . Hiptesis 4 t . . . . . . . . . . . . . . . Silogismo disjuntivo con 2. y 1.

Solucion
Ejemplo:
1. 2. 3. 4.
u . . . . . . . . . . . . . . Hiptesis 5 t u . . . . . . . . . . . Hiptesis 4 t . . . . . . . . . . . . . . . Silogismo disjuntivo con 2. y 1. t s . . . . . . . . . . .

Solucion
Ejemplo:
1. 2. 3. 4. 5.
u . . . . . . . . . . . . . . Hiptesis 5 t u . . . . . . . . . . . Hiptesis 4 t . . . . . . . . . . . . . . . Silogismo disjuntivo con 2. y 1. t s . . . . . . . . . . . Hiptesis 3.

Solucion
Ejemplo:
1. 2. 3. 4. 5.
u . . . . . . . . . . . . . . Hiptesis 5 t u . . . . . . . . . . . Hiptesis 4 t . . . . . . . . . . . . . . . Silogismo disjuntivo con 2. y 1. t s . . . . . . . . . . . Hiptesis 3. s . . . . . . . . . . . . . .

Solucion
Ejemplo:
1. 2. 3. 4. 5. 6.
u . . . . . . . . . . . . . . Hiptesis 5 t u . . . . . . . . . . . Hiptesis 4 t . . . . . . . . . . . . . . . Silogismo disjuntivo con 2. y 1. t s . . . . . . . . . . . Hiptesis 3. s . . . . . . . . . . . . . . Silogismo disjuntivo con 4. y 3.

Solucion
Ejemplo:
1. 2. 3. 4. 5. 6.
u . . . . . . . . . . . . . . Hiptesis 5 t u . . . . . . . . . . . Hiptesis 4 t . . . . . . . . . . . . . . . Silogismo disjuntivo con 2. y 1. t s . . . . . . . . . . . Hiptesis 3. s . . . . . . . . . . . . . . Silogismo disjuntivo con 4. y 3. r s ...........

Solucion
Ejemplo:
1. 2. 3. 4. 5. 6. 7.
u . . . . . . . . . . . . . . Hiptesis 5 t u . . . . . . . . . . . Hiptesis 4 t . . . . . . . . . . . . . . . Silogismo disjuntivo con 2. y 1. t s . . . . . . . . . . . Hiptesis 3. s . . . . . . . . . . . . . . Silogismo disjuntivo con 4. y 3. r s . . . . . . . . . . . Hiptesis 2.

Solucion
Ejemplo:
1. 2. 3. 4. 5. 6. 7.
u . . . . . . . . . . . . . . Hiptesis 5 t u . . . . . . . . . . . Hiptesis 4 t . . . . . . . . . . . . . . . Silogismo disjuntivo con 2. y 1. t s . . . . . . . . . . . Hiptesis 3. s . . . . . . . . . . . . . . Silogismo disjuntivo con 4. y 3. r s . . . . . . . . . . . Hiptesis 2. r . . . . . . . . . . . . . .

Solucion
Ejemplo:
1. 2. 3. 4. 5. 6. 7. 8.
u . . . . . . . . . . . . . . Hiptesis 5 t u . . . . . . . . . . . Hiptesis 4 t . . . . . . . . . . . . . . . Silogismo disjuntivo con 2. y 1. t s . . . . . . . . . . . Hiptesis 3. s . . . . . . . . . . . . . . Silogismo disjuntivo con 4. y 3. r s . . . . . . . . . . . Hiptesis 2. r . . . . . . . . . . . . . . Modus tollens con 6. y 5.

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

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

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

Solucion
Ejemplo:
1. 2. 3. 4. 5. 6. 7. 8. 9.
u . . . . . . . . . . . . . . Hiptesis 5 t u . . . . . . . . . . . Hiptesis 4 t . . . . . . . . . . . . . . . Silogismo disjuntivo con 2. y 1. t s . . . . . . . . . . . Hiptesis 3. s . . . . . . . . . . . . . . Silogismo disjuntivo con 4. y 3. r s . . . . . . . . . . . Hiptesis 2. r . . . . . . . . . . . . . . Modus tollens con 6. y 5. p r . . . . . . . . . . . Hiptesis 1. p . . . . . . . . . . . . . . Modus tollens con 8. y 7.
(Lema 1):Demuestre que la conclusin se deduce de las hiptesis: H1 : p q H2 : p r C: q r

Ejemplo

Ejemplo Solucion
1.
p q ......

Ejemplo Solucion
1. 2.
p q . . . . . . Hiptesis 1.

Ejemplo Solucion
1. 2.
p q . . . . . . Hiptesis 1. p q . . . .

Ejemplo Solucion
1. 2. 3.
p q . . . . . . Hiptesis 1. p q . . . . Equiv. implicacin en 1.

Ejemplo Solucion
1. 2. 3.
p q . . . . . . Hiptesis 1. p q . . . . Equiv. implicacin en 1. p r . . . . .

Ejemplo Solucion
1. 2. 3. 4.
p q . . . . . . Hiptesis 1. p q . . . . Equiv. implicacin en 1. p r . . . . . Hiptesis 2.

Ejemplo Solucion
1. 2. 3. 4.
p q . . . . . . Hiptesis 1. p q . . . . Equiv. implicacin en 1. p r . . . . . Hiptesis 2. r p . . . . .

Ejemplo Solucion
1. 2. 3. 4. 5.
p q ...... p q . . . . p r . . . . . r p . . . . .
Hiptesis 1. Equiv. implicacin en 1. Hiptesis 2. Conmutatividad en 3.

Ejemplo Solucion
1. 2. 3. 4. 5.
p q ...... p q . . . . p r . . . . . r p . . . . . r p . .
Hiptesis 1. Equiv. implicacin en 1. Hiptesis 2. Conmutatividad en 3.

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

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

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

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

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

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

Ejemplo Solucion
1. 2. 3. 4. 5. 6. 7. 8.
p q ...... p q . . . . p r . . . . . r p . . . . . r p . . r q . . . . (r) q . . q r .......
Hiptesis 1. Equiv. implicacin en 1. Hiptesis 2. Conmutatividad en 3. Equiv. implicacin en 4. Silog. hipottico con 5. y 2.. Equiv. implicacin en 6. Doble negacin y conmutatividad en 7.
Ejemplo
(Lema 2) que la
Demuestre
conclusin se deduce de las hiptesis:
H1 : p q r H2 : p q C:pr
Ejemplo
(Lema 2) que la
Solucion
Demuestre
1.
p q r .......
Ejemplo
(Lema 2) que la
Solucion
Demuestre
1. 2.
p q r . . . . . . . Hiptesis 1.
Ejemplo
(Lema 2) que la
Solucion
Demuestre
1. 2.
p q r . . . . . . . Hiptesis 1. p (q r) . . . . .
Ejemplo
(Lema 2) que la
Solucion
Demuestre
1. 2. 3.
p q r . . . . . . . Hiptesis 1. p (q r) . . . . . Equiv. implicacin en 1.
Ejemplo
(Lema 2) que la
Solucion
Demuestre
1. 2. 3.
p q r . . . . . . . Hiptesis 1. p (q r) . . . . . Equiv. implicacin en 1. q (p r) . . . . .
Ejemplo
(Lema 2) que la
Solucion
Demuestre
1. 2. 3. 4.
p q r . . . . . . . Hiptesis 1. p (q r) . . . . . Equiv. implicacin en 1. q (p r) . . . . . Prop. asociativas y conmutativas en 2.
Ejemplo
(Lema 2) que la
Solucion
Demuestre
1. 2. 3. 4.
p q r . . . . . . . Hiptesis 1. p (q r) . . . . . Equiv. implicacin en 1. q (p r) . . . . . Prop. asociativas y conmutativas en 2. p q . . . . . . . . . .
Ejemplo
(Lema 2) que la
Solucion
Demuestre
1. 2. 3. 4.
p q r . . . . . . . Hiptesis 1. p (q r) . . . . . Equiv. implicacin en 1. q (p r) . . . . . Prop. asociativas y conmutativas en 2. p q . . . . . . . . . . Hiptesis 2.
5.
Ejemplo
(Lema 2) que la
Solucion
Demuestre
1. 2. 3. 4.
p q r . . . . . . . Hiptesis 1. p (q r) . . . . . Equiv. implicacin en 1. q (p r) . . . . . Prop. asociativas y conmutativas en 2. p q . . . . . . . . . . Hiptesis 2. p q . . . . . . . . .
5.
Ejemplo
(Lema 2) que la
Solucion
Demuestre
1. 2. 3. 4.
p q r . . . . . . . Hiptesis 1. p (q r) . . . . . Equiv. implicacin en 1. q (p r) . . . . . Prop. asociativas y conmutativas en 2. p q . . . . . . . . . . Hiptesis 2. p q . . . . . . . . . Equiv. implicacin en 4.
5. 6.
Ejemplo
(Lema 2) que la
Solucion
Demuestre
1. 2. 3. 4.
p q r . . . . . . . Hiptesis 1. p (q r) . . . . . Equiv. implicacin en 1. q (p r) . . . . . Prop. asociativas y conmutativas en 2. p q . . . . . . . . . . Hiptesis 2. p q . . . . . . . . . Equiv. implicacin en 4. q p . . . . . . . . .
5. 6.
Ejemplo
(Lema 2) que la
Solucion
Demuestre
1. 2. 3. 4.
p q r . . . . . . . Hiptesis 1. p (q r) . . . . . Equiv. implicacin en 1. q (p r) . . . . . Prop. asociativas y conmutativas en 2. p q . . . . . . . . . . Hiptesis 2. p q . . . . . . . . . Equiv. implicacin en 4. q p . . . . . . . . . Prop. conmutativa en 5.
5. 6. 7.
Ejemplo
(Lema 2) que la
Solucion
Demuestre
1. 2. 3. 4.
p q r . . . . . . . Hiptesis 1. p (q r) . . . . . Equiv. implicacin en 1. q (p r) . . . . . Prop. asociativas y conmutativas en 2. p q . . . . . . . . . . Hiptesis 2. p q . . . . . . . . . Equiv. implicacin en 4. q p . . . . . . . . . Prop. conmutativa en 5. (p r) p . . . .
5. 6. 7.
Ejemplo
(Lema 2) que la
Solucion
Demuestre
1. 2. 3. 4.
p q r . . . . . . . Hiptesis 1. p (q r) . . . . . Equiv. implicacin en 1. q (p r) . . . . . Prop. asociativas y conmutativas en 2. p q . . . . . . . . . . Hiptesis 2. p q . . . . . . . . . Equiv. implicacin en 4. q p . . . . . . . . . Prop. conmutativa en 5. (p r) p . . . . Lema 1 con 5. y 6.
5. 6. 7. 8.
Ejemplo
(Lema 2) que la
Solucion
Demuestre
1. 2. 3. 4.
p q r . . . . . . . Hiptesis 1. p (q r) . . . . . Equiv. implicacin en 1. q (p r) . . . . . Prop. asociativas y conmutativas en 2. p q . . . . . . . . . . Hiptesis 2. p q . . . . . . . . . Equiv. implicacin en 4. q p . . . . . . . . . Prop. conmutativa en 5. (p r) p . . . . Lema 1 con 5. y 6. (p p) r . . . .
5. 6. 7. 8.
Ejemplo
(Lema 2) que la
Solucion
Demuestre
1. 2. 3. 4.
p q r . . . . . . . Hiptesis 1. p (q r) . . . . . Equiv. implicacin en 1. q (p r) . . . . . Prop. asociativas y conmutativas en 2. p q . . . . . . . . . . Hiptesis 2. p q . . . . . . . . . Equiv. implicacin en 4. q p . . . . . . . . . Prop. conmutativa en 5. (p r) p . . . . Lema 1 con 5. y 6. (p p) r . . . . Prop. asociativas y conmutativas en 7.
5. 6. 7. 8. 9.
Ejemplo
(Lema 2) que la
Solucion
Demuestre
1. 2. 3. 4.
p q r . . . . . . . Hiptesis 1. p (q r) . . . . . Equiv. implicacin en 1. q (p r) . . . . . Prop. asociativas y conmutativas en 2. p q . . . . . . . . . . Hiptesis 2. p q . . . . . . . . . Equiv. implicacin en 4. q p . . . . . . . . . Prop. conmutativa en 5. (p r) p . . . . Lema 1 con 5. y 6. (p p) r . . . . Prop. asociativas y conmutativas en 7. p r . . . . . . . . . . .
5. 6. 7. 8. 9.
Ejemplo
(Lema 2) que la
Solucion
Demuestre
1. 2. 3. 4.
p q r . . . . . . . Hiptesis 1. p (q r) . . . . . Equiv. implicacin en 1. q (p r) . . . . . Prop. asociativas y conmutativas en 2. p q . . . . . . . . . . Hiptesis 2. p q . . . . . . . . . Equiv. implicacin en 4. q p . . . . . . . . . Prop. conmutativa en 5. (p r) p . . . . Lema 1 con 5. y 6. (p p) r . . . . Prop. asociativas y conmutativas en 7. p r . . . . . . . . . . . Ley idempotencia en 8.
5. 6. 7. 8. 9. 10.
Ejemplo
(Lema 2) que la
Solucion
Demuestre
1. 2. 3. 4.
p q r . . . . . . . Hiptesis 1. p (q r) . . . . . Equiv. implicacin en 1. q (p r) . . . . . Prop. asociativas y conmutativas en 2. p q . . . . . . . . . . Hiptesis 2. p q . . . . . . . . . Equiv. implicacin en 4. q p . . . . . . . . . Prop. conmutativa en 5. (p r) p . . . . Lema 1 con 5. y 6. (p p) r . . . . Prop. asociativas y conmutativas en 7. p r . . . . . . . . . . . Ley idempotencia en 8. p r ...........
5. 6. 7. 8. 9. 10.
Ejemplo
(Lema 2) que la
Solucion
Demuestre
1. 2. 3. 4.
p q r . . . . . . . Hiptesis 1. p (q r) . . . . . Equiv. implicacin en 1. q (p r) . . . . . Prop. asociativas y conmutativas en 2. p q . . . . . . . . . . Hiptesis 2. p q . . . . . . . . . Equiv. implicacin en 4. q p . . . . . . . . . Prop. conmutativa en 5. (p r) p . . . . Lema 1 con 5. y 6. (p p) r . . . . Prop. asociativas y conmutativas en 7. p r . . . . . . . . . . . Ley idempotencia en 8. p r . . . . . . . . . . . Equiv. implicacin en 9.
5. 6. 7. 8. 9. 10.
Ejemplo
(Lema 3)
Demuestre que la conclusin se deduce de las hiptesis:
H1 : p q r H2 : q r C: p r
Ejemplo
(Lema 3)
Solucion
1.
p q r .......
H1 : p q r H2 : q r C: p r
Ejemplo
(Lema 3)
Solucion
1. 2.
p q r . . . . . . . Hiptesis 1.
H1 : p q r H2 : q r C: p r
Ejemplo
(Lema 3)
Solucion
1. 2.
p q r . . . . . . . Hiptesis 1. p (q r) . . . . .
H1 : p q r H2 : q r C: p r
Ejemplo
(Lema 3)
Solucion
1. 2. 3.
p q r . . . . . . . Hiptesis 1. p (q r) . . . . . Equiv. implicacin en 1.
H1 : p q r H2 : q r C: p r
Ejemplo
(Lema 3)
Solucion
1. 2. 3.
p q r . . . . . . . Hiptesis 1. p (q r) . . . . . Equiv. implicacin en 1. q (p r) . . . . .
H1 : p q r H2 : q r C: p r
Ejemplo
(Lema 3)
Solucion
1. 2. 3. 4.
p q r . . . . . . . Hiptesis 1. p (q r) . . . . . Equiv. implicacin en 1. q (p r) . . . . . Prop. asociativas y conmutativas en 2.
H1 : p q r H2 : q r C: p r
Ejemplo
(Lema 3)
Solucion
1. 2. 3. 4.
p q r . . . . . . . Hiptesis 1. p (q r) . . . . . Equiv. implicacin en 1. q (p r) . . . . . Prop. asociativas y conmutativas en 2. q r ...........
H1 : p q r H2 : q r C: p r
Ejemplo
(Lema 3)
Solucion
1. 2. 3. 4.
p q r . . . . . . . Hiptesis 1. p (q r) . . . . . Equiv. implicacin en 1. q (p r) . . . . . Prop. asociativas y conmutativas en 2. q r . . . . . . . . . . . Hiptesis 2.
H1 : p q r H2 : q r C: p r
5.
Ejemplo
(Lema 3)
Solucion
1. 2. 3. 4.
p q r . . . . . . . Hiptesis 1. p (q r) . . . . . Equiv. implicacin en 1. q (p r) . . . . . Prop. asociativas y conmutativas en 2. q r . . . . . . . . . . . Hiptesis 2. q r . . . . . . . . . . .
H1 : p q r H2 : q r C: p r
5.
Ejemplo
(Lema 3)
Solucion
1. 2. 3. 4.
p q r . . . . . . . Hiptesis 1. p (q r) . . . . . Equiv. implicacin en 1. q (p r) . . . . . Prop. asociativas y conmutativas en 2. q r . . . . . . . . . . . Hiptesis 2. q r . . . . . . . . . . . Equiv. implicacin en 4.
H1 : p q r H2 : q r C: p r
5. 6.
Ejemplo
(Lema 3)
Solucion
1. 2. 3. 4.
p q r . . . . . . . Hiptesis 1. p (q r) . . . . . Equiv. implicacin en 1. q (p r) . . . . . Prop. asociativas y conmutativas en 2. q r . . . . . . . . . . . Hiptesis 2. q r . . . . . . . . . . . Equiv. implicacin en 4. (p r) r . . . . .
H1 : p q r H2 : q r C: p r
5. 6.
Ejemplo
(Lema 3)
Solucion
1. 2. 3. 4.
p q r . . . . . . . Hiptesis 1. p (q r) . . . . . Equiv. implicacin en 1. q (p r) . . . . . Prop. asociativas y conmutativas en 2. q r . . . . . . . . . . . Hiptesis 2. q r . . . . . . . . . . . Equiv. implicacin en 4. (p r) r . . . . . Lema 1 con 3. y 5.
H1 : p q r H2 : q r C: p r
5. 6. 7.
Ejemplo
(Lema 3)
Solucion
1. 2. 3. 4.
p q r . . . . . . . Hiptesis 1. p (q r) . . . . . Equiv. implicacin en 1. q (p r) . . . . . Prop. asociativas y conmutativas en 2. q r . . . . . . . . . . . Hiptesis 2. q r . . . . . . . . . . . Equiv. implicacin en 4. (p r) r . . . . . Lema 1 con 3. y 5. p (r r) . . . . .
H1 : p q r H2 : q r C: p r
5. 6. 7.
Ejemplo
(Lema 3)
Solucion
1. 2. 3. 4.
p q r . . . . . . . Hiptesis 1. p (q r) . . . . . Equiv. implicacin en 1. q (p r) . . . . . Prop. asociativas y conmutativas en 2. q r . . . . . . . . . . . Hiptesis 2. q r . . . . . . . . . . . Equiv. implicacin en 4. (p r) r . . . . . Lema 1 con 3. y 5. p (r r) . . . . . Prop. asociativa en 6.
H1 : p q r H2 : q r C: p r
5. 6. 7. 8.
Ejemplo
(Lema 3)
Solucion
1. 2. 3. 4.
p q r . . . . . . . Hiptesis 1. p (q r) . . . . . Equiv. implicacin en 1. q (p r) . . . . . Prop. asociativas y conmutativas en 2. q r . . . . . . . . . . . Hiptesis 2. q r . . . . . . . . . . . Equiv. implicacin en 4. (p r) r . . . . . Lema 1 con 3. y 5. p (r r) . . . . . Prop. asociativa en 6. p r . . . . . . . . . . .
H1 : p q r H2 : q r C: p r
5. 6. 7. 8.
Ejemplo
(Lema 3)
Solucion
1. 2. 3. 4.
p q r . . . . . . . Hiptesis 1. p (q r) . . . . . Equiv. implicacin en 1. q (p r) . . . . . Prop. asociativas y conmutativas en 2. q r . . . . . . . . . . . Hiptesis 2. q r . . . . . . . . . . . Equiv. implicacin en 4. (p r) r . . . . . Lema 1 con 3. y 5. p (r r) . . . . . Prop. asociativa en 6. p r . . . . . . . . . . . Ley idempotencia en 7.
H1 : p q r H2 : q r C: p r
5. 6. 7. 8. 9.
Ejemplo
(Lema 3)
Solucion
1. 2. 3. 4.
p q r . . . . . . . Hiptesis 1. p (q r) . . . . . Equiv. implicacin en 1. q (p r) . . . . . Prop. asociativas y conmutativas en 2. q r . . . . . . . . . . . Hiptesis 2. q r . . . . . . . . . . . Equiv. implicacin en 4. (p r) r . . . . . Lema 1 con 3. y 5. p (r r) . . . . . Prop. asociativa en 6. p r . . . . . . . . . . . Ley idempotencia en 7. p r ...........
H1 : p q r H2 : q r C: p r
5. 6. 7. 8. 9.
Ejemplo
(Lema 3)
Solucion
1. 2. 3. 4.
p q r . . . . . . . Hiptesis 1. p (q r) . . . . . Equiv. implicacin en 1. q (p r) . . . . . Prop. asociativas y conmutativas en 2. q r . . . . . . . . . . . Hiptesis 2. q r . . . . . . . . . . . Equiv. implicacin en 4. (p r) r . . . . . Lema 1 con 3. y 5. p (r r) . . . . . Prop. asociativa en 6. p r . . . . . . . . . . . Ley idempotencia en 7. p r . . . . . . . . . . . Equiv. implicacin en 8.
H1 : p q r H2 : q r C: p r
5. 6. 7. 8. 9.
Comentarios
Qu ocurre cuando despus de un argumento no obtenemos algo correcto? Hay dos alternativas importantes: s Cuando el argumento es valido : en ste a su vez tenemos dos alternativas importantes: x Cuando se parti de alguna hiptesis falsa. x Cuando durante la demostracin se aadieron involuntariamente hiptesis adicionales. s Cuando el argumento es invalido : este caso ocurre cuando alguna regla de inferencia ha sido mal interpretada o se ha usado una proposicional como regla de inferencia cuando es una contingencia. En este caso se dice que el argumento es una falacia.
Introduccin
En esta lectura veremos algunos ejemplos interesantes que se presentaron en la realizacin de la tarea.
El problema de los mentirosos y los honestos

Supongamos que ests en el pueblo donde las personas son siempre mentirosas o siempre honestas. Digamos que te encuentras a dos personas; llammosles A y B. Slo A habla y dice: ambos somos mentirosos. Indique la opcin que declara cmo son A y B. A A es honesto es pero B mentiroso B C D E
A A A
es mentiroso pero B es honesto y B son honestos y B son mentirosos
No es posible concluir
La metodologa que seguiremos para resolver el problema ser la revisin exhaustiva de los casos posibles. Para cada uno de ellos elaboraremos un argumento lgico y veremos si nos lleva a una contradiccin lgica. Aquellos casos que conduzcan a una contradiccin se descartarn. Los casos posibles son s Caso I: A es honesto y B son honesto s Caso II: A es honesto y B es mentiroso s Caso III: A es mentiroso y B es honesto s Caso IV: A es mentiroso y B es mentiroso En el desarrollo de los casos, si x es honesto entoces lo que dice x se toma como cierto. Si x es mentiroso, lo contrario de lo que dice x es cierto.
Caso I
Tomemos p: A es honesto y q : B es honesto. As lo que dice A es p q . Siendo A honesto lo que dice se toma como cierto. As el razonamiento queda:
Caso I
1. p ................
Caso I
1. 2. p . . . . . . . . . . . . . . . . Condicin del caso I
Caso I
1. 2. p . . . . . . . . . . . . . . . . Condicin del caso I q ................
Caso I
1. 2. 3. p . . . . . . . . . . . . . . . . Condicin del caso I q . . . . . . . . . . . . . . . . Condicin del caso I
Caso I
1. 2. 3. p . . . . . . . . . . . . . . . . Condicin del caso I q . . . . . . . . . . . . . . . . Condicin del caso I p q . . . . . . . . .
Caso I
1. 2. 3. 4. p . . . . . . . . . . . . . . . . Condicin del caso I q . . . . . . . . . . . . . . . . Condicin del caso I p q . . . . . . . . . Lo que dice A
Caso I
1. 2. 3. 4. p . . . . . . . . . . . . . . . . Condicin del caso I q . . . . . . . . . . . . . . . . Condicin del caso I p q . . . . . . . . . Lo que dice A p . . . . . . . . . . . . . .
Caso I
1. 2. 3. 4. 5. p . . . . . . . . . . . . . . . . Condicin del caso I q . . . . . . . . . . . . . . . . Condicin del caso I p q . . . . . . . . . Lo que dice A p . . . . . . . . . . . . . . Simplicacin conjuntiva en 3.
Caso I
1. 2. 3. 4. 5. p . . . . . . . . . . . . . . . . Condicin del caso I q . . . . . . . . . . . . . . . . Condicin del caso I p q . . . . . . . . . Lo que dice A p . . . . . . . . . . . . . . Simplicacin conjuntiva en 3. p p . . . . . . . . . . .
Caso I
1. 2. 3. 4. 5. 6. p . . . . . . . . . . . . . . . . Condicin del caso I q . . . . . . . . . . . . . . . . Condicin del caso I p q . . . . . . . . . Lo que dice A p . . . . . . . . . . . . . . Simplicacin conjuntiva en 3. p p . . . . . . . . . . . Adicin conjuntiva con 1. y 4.
Caso I
1. 2. 3. 4. 5. 6. p . . . . . . . . . . . . . . . . Condicin del caso I q . . . . . . . . . . . . . . . . Condicin del caso I p q . . . . . . . . . Lo que dice A p . . . . . . . . . . . . . . Simplicacin conjuntiva en 3. p p . . . . . . . . . . . Adicin conjuntiva con 1. y 4. F ................
Caso I
1. 2. 3. 4. 5. 6. p . . . . . . . . . . . . . . . . Condicin del caso I q . . . . . . . . . . . . . . . . Condicin del caso I p q . . . . . . . . . Lo que dice A p . . . . . . . . . . . . . . Simplicacin conjuntiva en 3. p p . . . . . . . . . . . Adicin conjuntiva con 1. y 4. F . . . . . . . . . . . . . . . . Ley de inversas en 5.
Caso I
1. 2. 3. 4. 5. 6. p . . . . . . . . . . . . . . . . Condicin del caso I q . . . . . . . . . . . . . . . . Condicin del caso I p q . . . . . . . . . Lo que dice A p . . . . . . . . . . . . . . Simplicacin conjuntiva en 3. p p . . . . . . . . . . . Adicin conjuntiva con 1. y 4. F . . . . . . . . . . . . . . . . Ley de inversas en 5.
Por tanto, el caso I no puede ocurrir.
Caso II
Tomemos p: A es honesto y q : B es mentiroso. As lo que dice A es p q . Siendo A honesto lo que dice se toma como cierto. As el razonamiento queda:
Caso II
1. p ................
Caso II
Caso II
Caso II
Caso II
1. 2. 3. p . . . . . . . . . . . . . . . . Condicin del caso I q . . . . . . . . . . . . . . . . Condicin del caso I p q . . . . . . . . . . .
Caso II
1. 2. 3. 4. p . . . . . . . . . . . . . . . . Condicin del caso I q . . . . . . . . . . . . . . . . Condicin del caso I p q . . . . . . . . . . . Lo que dice A
Caso II
1. 2. 3. 4. p . . . . . . . . . . . . . . . . Condicin del caso I q . . . . . . . . . . . . . . . . Condicin del caso I p q . . . . . . . . . . . Lo que dice A p . . . . . . . . . . . . . .
Caso II
1. 2. 3. 4. 5. p . . . . . . . . . . . . . . . . Condicin del caso I q . . . . . . . . . . . . . . . . Condicin del caso I p q . . . . . . . . . . . Lo que dice A p . . . . . . . . . . . . . . Simplicacin conjuntiva en 3.
Caso II
1. 2. 3. 4. 5. p . . . . . . . . . . . . . . . . Condicin del caso I q . . . . . . . . . . . . . . . . Condicin del caso I p q . . . . . . . . . . . Lo que dice A p . . . . . . . . . . . . . . Simplicacin conjuntiva en 3. p p . . . . . . . . . . .
Caso II
1. 2. 3. 4. 5. 6. p . . . . . . . . . . . . . . . . Condicin del caso I q . . . . . . . . . . . . . . . . Condicin del caso I p q . . . . . . . . . . . Lo que dice A p . . . . . . . . . . . . . . Simplicacin conjuntiva en 3. p p . . . . . . . . . . . Adicin conjuntiva con 1. y 4.
Caso II
1. 2. 3. 4. 5. 6. p . . . . . . . . . . . . . . . . Condicin del caso I q . . . . . . . . . . . . . . . . Condicin del caso I p q . . . . . . . . . . . Lo que dice A p . . . . . . . . . . . . . . Simplicacin conjuntiva en 3. p p . . . . . . . . . . . Adicin conjuntiva con 1. y 4. F ................
Caso II
1. 2. 3. 4. 5. 6. p . . . . . . . . . . . . . . . . Condicin del caso I q . . . . . . . . . . . . . . . . Condicin del caso I p q . . . . . . . . . . . Lo que dice A p . . . . . . . . . . . . . . Simplicacin conjuntiva en 3. p p . . . . . . . . . . . Adicin conjuntiva con 1. y 4. F . . . . . . . . . . . . . . . . Ley de inversas en 5.
Caso II
1. 2. 3. 4. 5. 6. p . . . . . . . . . . . . . . . . Condicin del caso I q . . . . . . . . . . . . . . . . Condicin del caso I p q . . . . . . . . . . . Lo que dice A p . . . . . . . . . . . . . . Simplicacin conjuntiva en 3. p p . . . . . . . . . . . Adicin conjuntiva con 1. y 4. F . . . . . . . . . . . . . . . . Ley de inversas en 5.
Por tanto, el caso II no puede ocurrir.
Caso III
Tomemos p: A es mentiroso y q : B es honesto. As lo que dice A es p q . Siendo A mentiroso lo que dice se toma como falso. Por tanto, lo contrario a lo que dice A se toma como verdadero. As el razonamiento queda:
Caso III
1. p ................
Caso III
Caso III
Caso III
Caso III
1. 2. 3. p . . . . . . . . . . . . . . . . Condicin del caso I q . . . . . . . . . . . . . . . . Condicin del caso I (p q ) . . . . . . .
Caso III
1. 2. 3. 4. p . . . . . . . . . . . . . . . . Condicin del caso I q . . . . . . . . . . . . . . . . Condicin del caso I (p q ) . . . . . . . Lo contrario de lo que dice A
Caso III
1. 2. 3. 4. p . . . . . . . . . . . . . . . . Condicin del caso I q . . . . . . . . . . . . . . . . Condicin del caso I (p q ) . . . . . . . Lo contrario de lo que dice A p q . . . . . . . . . . .
Caso III
1. 2. 3. 4. 5. p . . . . . . . . . . . . . . . . Condicin del caso I q . . . . . . . . . . . . . . . . Condicin del caso I (p q ) . . . . . . . Lo contrario de lo que dice A p q . . . . . . . . . . . De Morgan y doble negacin en 3.
Caso III
1. 2. 3. 4. 5. p . . . . . . . . . . . . . . . . Condicin del caso I q . . . . . . . . . . . . . . . . Condicin del caso I (p q ) . . . . . . . Lo contrario de lo que dice A p q . . . . . . . . . . . De Morgan y doble negacin en 3. q ................
Caso III
1. 2. 3. 4. 5. p . . . . . . . . . . . . . . . . Condicin del caso I q . . . . . . . . . . . . . . . . Condicin del caso I (p q ) . . . . . . . Lo contrario de lo que dice A p q . . . . . . . . . . . De Morgan y doble negacin en 3. q . . . . . . . . . . . . . . . . Silogismo disjuntivo con 4. y 1.
Caso III
1. 2. 3. 4. 5. p . . . . . . . . . . . . . . . . Condicin del caso I q . . . . . . . . . . . . . . . . Condicin del caso I (p q ) . . . . . . . Lo contrario de lo que dice A p q . . . . . . . . . . . De Morgan y doble negacin en 3. 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.
Caso IV
Tomemos p: A es mentiroso y q : B es mentiroso. As lo que dice A es p q . Siendo A mentiroso lo que dice se toma como falso. As el razonamiento queda:
Caso IV
1. p ................
Caso IV
Caso IV
Caso IV
Caso IV
1. 2. 3. p . . . . . . . . . . . . . . . . Condicin del caso I q . . . . . . . . . . . . . . . . Condicin del caso I (p q ) . . . . . . . . .
Caso IV
1. 2. 3. 4. p . . . . . . . . . . . . . . . . Condicin del caso I q . . . . . . . . . . . . . . . . Condicin del caso I (p q ) . . . . . . . . . Lo contrario de lo que dice A
Caso IV
1. 2. 3. 4. p . . . . . . . . . . . . . . . . Condicin del caso I q . . . . . . . . . . . . . . . . Condicin del caso I (p q ) . . . . . . . . . Lo contrario de lo que dice A p q . . . . . . . . .
Caso IV
1. 2. 3. 4. 5. p . . . . . . . . . . . . . . . . Condicin del caso I q . . . . . . . . . . . . . . . . Condicin del caso I (p q ) . . . . . . . . . Lo contrario de lo que dice A p q . . . . . . . . . De Morgan en 3.
Caso IV
1. 2. 3. 4. 5. p . . . . . . . . . . . . . . . . Condicin del caso I q . . . . . . . . . . . . . . . . Condicin del caso I (p q ) . . . . . . . . . Lo contrario de lo que dice A p q . . . . . . . . . De Morgan en 3. q . . . . . . . . . . . . . .
Caso IV
1. 2. 3. 4. 5. 6. p . . . . . . . . . . . . . . . . Condicin del caso I q . . . . . . . . . . . . . . . . Condicin del caso I (p q ) . . . . . . . . . Lo contrario de lo que dice A p q . . . . . . . . . De Morgan en 3. q . . . . . . . . . . . . . . Silogismo disjuntivo con 1. y 4.
Caso IV
1. 2. 3. 4. 5. 6. p . . . . . . . . . . . . . . . . Condicin del caso I q . . . . . . . . . . . . . . . . Condicin del caso I (p q ) . . . . . . . . . Lo contrario de lo que dice A p q . . . . . . . . . De Morgan en 3. q . . . . . . . . . . . . . . Silogismo disjuntivo con 1. y 4. q q . . . . . . . . . . .
Caso IV
1. 2. 3. 4. 5. 6. 7. p . . . . . . . . . . . . . . . . Condicin del caso I q . . . . . . . . . . . . . . . . Condicin del caso I (p q ) . . . . . . . . . Lo contrario de lo que dice A p q . . . . . . . . . De Morgan en 3. q . . . . . . . . . . . . . . Silogismo disjuntivo con 1. y 4. q q . . . . . . . . . . . Adicin conjuntiva con 2. y 5.
Caso IV
1. 2. 3. 4. 5. 6. 7. p . . . . . . . . . . . . . . . . Condicin del caso I q . . . . . . . . . . . . . . . . Condicin del caso I (p q ) . . . . . . . . . Lo contrario de lo que dice A p q . . . . . . . . . De Morgan en 3. q . . . . . . . . . . . . . . Silogismo disjuntivo con 1. y 4. q q . . . . . . . . . . . Adicin conjuntiva con 2. y 5. F ................
Caso IV
1. 2. 3. 4. 5. 6. 7. p . . . . . . . . . . . . . . . . Condicin del caso I q . . . . . . . . . . . . . . . . Condicin del caso I (p q ) . . . . . . . . . Lo contrario de lo que dice A p q . . . . . . . . . De Morgan en 3. q . . . . . . . . . . . . . . Silogismo disjuntivo con 1. y 4. q q . . . . . . . . . . . Adicin conjuntiva con 2. y 5. F . . . . . . . . . . . . . . . . Ley de inversas en 6.
Caso IV
1. 2. 3. 4. 5. 6. 7. p . . . . . . . . . . . . . . . . Condicin del caso I q . . . . . . . . . . . . . . . . Condicin del caso I (p q ) . . . . . . . . . Lo contrario de lo que dice A p q . . . . . . . . . De Morgan en 3. q . . . . . . . . . . . . . . Silogismo disjuntivo con 1. y 4. q q . . . . . . . . . . . Adicin conjuntiva con 2. y 5. F . . . . . . . . . . . . . . . . Ley de inversas en 6.
Por tanto, el caso IV no puede ocurrir.
Por consiguiente el nico caso posible es el caso III: A es mentiroso y B es honesto: A B C D E

A A A A
es honesto es pero B mentiroso es mentiroso pero B es honesto y B son honestos y B son mentirosos
No es posible concluir
El problema del grupo

Supn el mismo pueblo y supn que te encuentras un grupo de 6 nativos: U, V, W, X, Y y Z. Y hablan de la siguiente forma: s U dice: ninguno de nosotros es honesto. s V dice: Al menos 3 de nosotros son honestos. s W dice: A lo ms 3 de nosotros son honestos. s X dice: Exactamente 5 de nosotros son honestos. s Y dice: Exactamente 2 de nosotros son honestos. s Z dice: Exactamente 1 de nosotros es honesto. Quines son honestos y qunes son mentirosos?
La clave de este problema est en el nmero de honestos:
La clave de este problema est en el nmero de honestos: s 0 y estara diciendo la verdad U. Imposible. s 1 y estaran diciendo la verdad W y Z. Imposible. s 2 y estaran diciendo la verdad W y Y. No hay contradiccin. s 3 y slo U y V estaran diciendo la verdad. Imposible. s 4 y slo estara diciendo la verdad V. Imposible. s 5 y slo estaran diciendo la verdad V y X. Imposible. s 6 y slo estara diciendo la verdad V. Imposible.
La clave de este problema est en el nmero de honestos: s 0 y estara diciendo la verdad U. Imposible. s 1 y estaran diciendo la verdad W y Z. Imposible. s 2 y estaran diciendo la verdad W y Y. No hay contradiccin. s 3 y slo U y V estaran diciendo la verdad. Imposible. s 4 y slo estara diciendo la verdad V. Imposible. s 5 y slo estaran diciendo la verdad V y X. Imposible. s 6 y slo estara diciendo la verdad V. Imposible. Por tanto, slo hay dos honestos y son W y Y.
Temas Vistos
s s s s
s s
Concepto de argumento Argumento vlido y argumento invlido Rengln crtico Mtodo de vericacin de vlidez de argumento por tablas de verdad Regla de Inferencia Mtodo de Deduccin Natural

Lógica 55555

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Lógica 55555

Uploaded by

Copyright:

Available Formats

Matemticas Discretas TC1003

Mdulo I: Argumentos Vlidos

Mdulo I: Argumentos Vlidos

Matemticas Discretas - p. 1/50

Mdulo I: Argumentos Vlidos

Matemticas Discretas - p. 2/50

Un argumento es una secuencia de armaciones.

Mdulo I: Argumentos Vlidos

Matemticas Discretas - p. 3/50

Mdulo I: Argumentos Vlidos

Matemticas Discretas - p. 3/50

Mdulo I: Argumentos Vlidos

Matemticas Discretas - p. 3/50

Mdulo I: Argumentos Vlidos

Matemticas Discretas - p. 4/50

Argumentos Vlidos e Invlidos

Diremos que un argumento es argumento vlido si

Mdulo I: Argumentos Vlidos

Matemticas Discretas - p. 5/50

Argumentos Vlidos e Invlidos

Mdulo I: Argumentos Vlidos

Matemticas Discretas - p. 5/50

Argumentos Vlidos e Invlidos

Mdulo I: Argumentos Vlidos

Matemticas Discretas - p. 5/50

Mdulo I: Argumentos Vlidos

Matemticas Discretas - p. 6/50

Mdulo I: Argumentos Vlidos

Matemticas Discretas - p. 6/50

Mdulo I: Argumentos Vlidos

Matemticas Discretas - p. 6/50

Mdulo I: Argumentos Vlidos

Matemticas Discretas - p. 6/50

Mdulo I: Argumentos Vlidos

Matemticas Discretas - p. 6/50

Mdulo I: Argumentos Vlidos

Matemticas Discretas - p. 6/50

Mdulo I: Argumentos Vlidos

Matemticas Discretas - p. 6/50

Mdulo I: Argumentos Vlidos

Matemticas Discretas - p. 6/50

Matemticas Discretas - p. 6/50

Matemticas Discretas - p. 6/50

Mdulo I: Argumentos Vlidos

Matemticas Discretas - p. 7/50

Determine si el siguiente argumento es vlido: 1. p q 2. q p 3. p q

Mdulo I: Argumentos Vlidos

Matemticas Discretas - p. 8/50

Determine si el siguiente argumento es vlido: 1. p q 2. q p 3. p q

Realizando la tabla de verdad obtenemos:

Mdulo I: Argumentos Vlidos

Matemticas Discretas - p. 8/50

De la cual los renglones crticos son: p q pq q p pq F F T T F T F T T T F T T F T T F T T T

Mdulo I: Argumentos Vlidos

Matemticas Discretas - p. 9/50

Mdulo I: Argumentos Vlidos

Matemticas Discretas - p. 9/50

Mdulo I: Argumentos Vlidos

Matemticas Discretas - p. 9/50

Determine si el siguiente argumento es vlido. 1. p q , 2. p r, 3. p q r

Mdulo I: Argumentos Vlidos

Matemticas Discretas - p. 10/50

Determine si el siguiente argumento es vlido. 1. p q , 2. p r, 3. p q r