Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes...
Transcript of Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes...
![Page 1: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/1.jpg)
Argumentos lógicos
![Page 2: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/2.jpg)
Tautologías y falacias
Al combinar proposiciones por medio de ┐ → es posible obtener proposiciones que siempre sonverdaderas, o que siempre son falsas, sin importar silas proposiciones iniciales eran verdaderas o falsas.
![Page 3: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/3.jpg)
Tautologías y falacias
Al combinar proposiciones por medio de ┐ → es posible obtener proposiciones que siempre sonverdaderas, o que siempre son falsas, sin importar silas proposiciones iniciales eran verdaderas o falsas.
Ejemplos:
P ┐P siempre es verdadera, sin importar P
![Page 4: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/4.jpg)
Tautologías y falacias
Al combinar proposiciones por medio de ┐ → es posible obtener proposiciones que siempre sonverdaderas, o que siempre son falsas, sin importar silas proposiciones iniciales eran verdaderas o falsas.
Ejemplos:
P ┐P siempre es verdadera, sin importar P
P ┐P siempre es falsa, sin importar P
![Page 5: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/5.jpg)
Las combinaciones de proposiciones que siempre sonverdaderas se llaman tautologías y son importantesporque son la base de los razonamientos lógicos.
¿Ejemplos de tautologías?
![Page 6: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/6.jpg)
Las combinaciones de proposiciones que siempre sonverdaderas se llaman tautologías y son importantesporque son la base de los razonamientos lógicos.
Ejemplos de tautologías
P (P → Q) → Q
(P Q) ┐P → Q
(P → Q) ┐Q → ┐P
![Page 7: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/7.jpg)
Las combinaciones de proposiciones que siempre sonfalsas se llaman contradicciones.
¿Ejemplos de contradicciones?
![Page 8: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/8.jpg)
Las combinaciones de proposiciones que siempre sonfalsas se llaman contradicciones.
¿Ejemplos de contradicciones?
P → ┐P
(P → ┐P) P
(P → Q) (P → ┐Q)
![Page 9: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/9.jpg)
Las combinaciones de proposiciones que siempre sonfalsas se llaman contradicciones.
¿Ejemplos de contradicciones?
P → ┐P NO, es cierta si P es falsa
(P → ┐P) P SI, siempre es falsa
(P → Q) (P → ┐Q) NO, es cierta si P es falsa
![Page 10: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/10.jpg)
Un argumento lógico es un razonamiento que apartir de proposiciones verdaderas siempre obtieneconclusiones verdaderas independientemente de quedigan las proposiciones.
Argumentos lógicos
![Page 11: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/11.jpg)
Un argumento lógico es un razonamiento que apartir de proposiciones verdaderas siempre obtieneconclusiones verdaderas independientemente de quedigan las proposiciones.
Podemos dar argumentos lógicos usando lascondicionales que siempre son ciertas (las que sontautologías) estas llamadas implicaciones y sondenotadas por .
Argumentos lógicos
![Page 12: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/12.jpg)
Ejemplos de argumentos lógicos:
(P Q) ┐P ?
Hoy es sábado o domingo y Hoy no es sábado implican
![Page 13: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/13.jpg)
Ejemplos de argumentos lógicos:
(P Q) ┐P Q
Hoy es sábado o domingo y Hoy no es sábado implican Hoy es domingo
![Page 14: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/14.jpg)
Ejemplos de argumentos lógicos:
(P → Q) P ?
Si cae nieve hace frio y Cae nieve implican
![Page 15: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/15.jpg)
Ejemplos de argumentos lógicos:
(P → Q) P Q
Si cae nieve hace frio y Cae nieve implican Hace frio
![Page 16: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/16.jpg)
Ejemplos de argumentos lógicos:
(P → Q) ┐Q ?
Si cae nieve hace frio y No hace frio implican
![Page 17: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/17.jpg)
Ejemplos de argumentos lógicos:
(P → Q) ┐Q ┐P
Si cae nieve hace frio y No hace frio implican No cae nieve
![Page 18: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/18.jpg)
(P → Q) ┐P ? Si cae nieve hace frio y No cae nieve no implican
![Page 19: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/19.jpg)
(P → Q) ┐P ┐Q Si cae nieve hace frio y No cae nieve no implican No hace frio
X
![Page 20: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/20.jpg)
(P → Q) Q ?
Si cae nieve hace frio y Hace frio no implican Cae nieve
![Page 21: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/21.jpg)
(P → Q) Q P
Si cae nieve hace frio y Hace frio no implican Cae nieve
X
![Page 22: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/22.jpg)
(P → Q) (Q → R) ?
Si cae nieve hace frio y Si hace frio me resfrío implican
![Page 23: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/23.jpg)
(P → Q) (Q → R) (P → R)
Si cae nieve hace frio y Si hace frio me resfrío implican Si cae nieve me resfrío
![Page 24: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/24.jpg)
Hay otros tipos de argumentos lógicos que seobtienen combinando de maneras mas sutiles lasproposiciones con cuantificadores.
Silogismos y falacias
![Page 25: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/25.jpg)
Hay otros tipos de argumentos lógicos que seobtienen combinando de maneras mas sutiles lasproposiciones con cuantificadores.
Ejemplos:
Todos los pericos son aves y Las aves vuelan
Silogismos y falacias
![Page 26: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/26.jpg)
Hay otros tipos de argumentos lógicos que seobtienen combinando de maneras mas sutiles lasproposiciones con cuantificadores.
Ejemplos:
Todos los pericos son aves y Las aves vuelan
Todos los pericos vuelan
Silogismos y falacias
![Page 27: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/27.jpg)
Hay otros tipos de argumentos lógicos que seobtienen combinando de maneras mas sutiles lasproposiciones con cuantificadores.
Ejemplos:
Ninguna iguana vuela y Las aves vuelan
Silogismos y falacias
![Page 28: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/28.jpg)
Hay otros tipos de argumentos lógicos que seobtienen combinando de maneras mas sutiles lasproposiciones con cuantificadores.
Ejemplos:
Ninguna iguana vuela y Las aves vuelan
Ninguna iguana es ave
Silogismos y falacias
![Page 29: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/29.jpg)
Hay otros tipos de argumentos lógicos que seobtienen combinando de maneras mas sutiles lasproposiciones con cuantificadores.
Ejemplos:
Algunos pájaros son aves y Las aves vuelan
Silogismos y falacias
![Page 30: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/30.jpg)
Hay otros tipos de argumentos lógicos que seobtienen combinando de maneras mas sutiles lasproposiciones con cuantificadores.
Ejemplos:
Algunos pájaros son aves y Las aves vuelan
Algunos pájaros vuelan
Silogismos y falacias
![Page 31: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/31.jpg)
Los argumentos de este tipo son muy generales y muyútiles, fueron estudiados por primera vez porAristoteles en el siglo 4AC.
![Page 32: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/32.jpg)
Los argumentos de este tipo son muy generales y muyútiles, fueron estudiados por primera vez porAristoteles en el siglo 4AC.
Hay que tener cuidado con esta clase de argumentosporque hay muchas combinaciones posibles, algunasson validas (son silogismos) y otras son invalidas (sonfalacias).
Para que un argumento sea válido no bastacon que la conclusión sea verdadera!
![Page 33: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/33.jpg)
Ejemplo
Todos los pericos son aves y Algunas aves vuelan
?
![Page 34: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/34.jpg)
Ejemplo
Todos los pericos son aves y Algunas aves vuelan
Algunos pericos vuelan?
![Page 35: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/35.jpg)
Ejemplo
Todos los pericos son aves y Algunas aves vuelan
Algunos pericos vuelan
Es una falacia. Es verdad que algunos pericos vuelan,pero eso no es una consecuencia lógica de lo anterior.Para ver que el argumento anterior es inválido bastacambiar pericos por pingüinos.
x
![Page 36: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/36.jpg)
Ejemplo
Ninguna iguana es ave y Todas las aves vuelan
?
![Page 37: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/37.jpg)
Ejemplo
Ninguna iguana es ave y Todas las aves vuelan
Ninguna iguana vuela?
![Page 38: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/38.jpg)
Ejemplo
Ninguna iguana es ave y Todas las aves vuelan
Ninguna iguana vuela
Es una falacia. Se puede ver que el argumento anteriores inválido cambiando iguana por murciélago.
x
![Page 39: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/39.jpg)
Ejemplo
Ningún insecto es un ave y Ningún ave es un reptil
?
![Page 40: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/40.jpg)
Ejemplo
Ningún insecto es un ave y Ningún ave es un reptil
Ningún insecto es un reptil?
![Page 41: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/41.jpg)
Ejemplo
Ningún insecto es un ave y Ningún ave es un reptil
Ningún insecto es un reptil
Es una falacia. Para ver que argumento es inválido,basta cambiar insecto por cocodrilo.
x
![Page 42: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/42.jpg)
Ejemplo
Hay políticos rateros y Hay rateros ricos
?
![Page 43: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/43.jpg)
Ejemplo
Hay políticos rateros y Hay rateros ricos
Hay políticos ricos?
![Page 44: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/44.jpg)
Ejemplo
Hay políticos rateros y Hay rateros ricos
Hay políticos ricos
Es una falacia. Para ver que argumento es inválido,basta cambiar ricos por pobres.
x
![Page 45: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/45.jpg)
Lo importante de los argumentos lógicos no es lo que
dicen en particular, sino su estructura, la manera en
que esta conectadas las distintas partes.
¿Argumento lógico o falacia?
![Page 46: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/46.jpg)
Lo importante de los argumentos lógicos no es lo que
dicen en particular, sino su estructura, la manera en
que esta conectadas las distintas partes.
Su validez o invalidez se puede aclarar si los vemos de
manera mas abstracta, sin referencia a cosas que ya
conocemos.
¿Argumento lógico o falacia?
![Page 47: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/47.jpg)
Por ejemplo, consideremos la afirmación:
Todos los cazadores tienen dientes
y algunos gatos son cazadores
![Page 48: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/48.jpg)
Por ejemplo, consideremos la afirmación:
Todos los cazadores tienen dientes
y algunos gatos son cazadores
si las escribimos como
Todos los C son D y algunos G son C
entonces podemos concluir que
![Page 49: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/49.jpg)
Por ejemplo, consideremos la afirmación:
Todos los cazadores tienen dientes
y algunos gatos son cazadores
si las escribimos como
Todos los C son D y algunos G son C
entonces podemos concluir que algunos G son D
que es Algunos gatos tienen dientes
![Page 50: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/50.jpg)
Otro ejemplo
Platón era un gran filósofo
Todos los griegos eran grandes filósofos
Por lo tanto Platón era griego
![Page 51: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/51.jpg)
Otro ejemplo
Platón era un gran filósofo
Todos los griegos eran grandes filósofos
Por lo tanto Platón era griego
Si lo reescribimos como
P es F
Todos los G son F
Por lo tanto P es G
![Page 52: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/52.jpg)
Otro ejemplo
Platón era un gran filósofo
Todos los griegos eran grandes filósofos
Por lo tanto Platón era griego
Si lo reescribimos como
P es F
Todos los G son F
Por lo tanto P es G
vemos que el argumento es invalido:
que P sea F y todos los G sean F no dice que P sea G!
![Page 53: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/53.jpg)
Otro ejemplo
Platón era un gran filósofo
Todos los griegos eran grandes filósofos
Por lo tanto Platón era griego
Si lo reescribimos como
P es F
Todos los G son F
Por lo tanto P es G
vemos que el argumento es invalido:
que P sea F y todos los G sean F no dice que P sea G!
Platon sí era griego, pero eso no hace al argumento valido!
![Page 54: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/54.jpg)
Todo X es Y y Todo Y es Z ?
![Page 55: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/55.jpg)
Todo X es Y y Todo Y es Z Todo X es Z?
![Page 56: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/56.jpg)
Todo X es Y y Todo Y es Z Todo X es Z
XZY
![Page 57: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/57.jpg)
Todo X es Y y Todo Y es Z Todo X es Z
Ningún X es Y y Ningún Y es Z ?
XZY
![Page 58: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/58.jpg)
Todo X es Y y Todo Y es Z Todo X es Z
Ningún X es Y y Ningún Y es Z Ningún X es Z
XZY
?
![Page 59: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/59.jpg)
Todo X es Y y Todo Y es Z Todo X es Z
Ningún X es Y y Ningún Y es Z Ningún X es Z
X
Z
Y
XZY
x
![Page 60: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/60.jpg)
Algún X es Y y Algún Y es Z ?
![Page 61: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/61.jpg)
Algún X es Y y Algún Y es Z Algún X es Z?
![Page 62: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/62.jpg)
Algún X es Y y Algún Y es Z Algún X es Zx
X ZY
![Page 63: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/63.jpg)
Algún X es Y y Algún Y es Z Algún X es Z
Algún X es Y y Ningún Y es Z
x
X ZY
?
![Page 64: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/64.jpg)
Algún X es Y y Algún Y es Z Algún X es Z
Algún X es Y y Ningún Y es Z Algún X no es Z
x
X ZY
?
![Page 65: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/65.jpg)
Algún X es Y y Algún Y es Z Algún X es Z
Algún X es Y y Ningún Y es Z Algún X no es Z
x
X
Z
Y
X ZY
![Page 66: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/66.jpg)
Todo X es Y y Ningún Y es Z ?
![Page 67: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/67.jpg)
Todo X es Y y Ningún Y es Z Ningún X es Z ?
![Page 68: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/68.jpg)
Todo X es Y y Ningún Y es Z Ningún X es Z
ZYX
![Page 69: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/69.jpg)
Todo X es Y y Ningún Y es Z Ningún X es Z
Ningún X es Y y Todo Y es Z ?
ZYX
![Page 70: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/70.jpg)
Todo X es Y y Ningún Y es Z Ningún X es Z
Ningún X es Y y Todo Y es Z Ningún X es Z
ZYX
?
![Page 71: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/71.jpg)
Todo X es Y y Ningún Y es Z Ningún X es Z
Ningún X es Y y Todo Y es Z Ningún X es Z
ZYX
X
Z
Y
x
![Page 72: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/72.jpg)
Algún X es Y y Todo Y es Z ?
![Page 73: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/73.jpg)
Algún X es Y y Todo Y es Z Algún X es Z
?
![Page 74: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/74.jpg)
Algún X es Y y Todo Y es Z Algún X es Z
Y
Z
X
![Page 75: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/75.jpg)
Algún X es Y y Todo Y es Z Algún X es Z
Todo X es Y y Algún Y es Z ?
Y
Z
X
![Page 76: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/76.jpg)
Algún X es Y y Todo Y es Z Algún X es Z
Todo X es Y y Algún Y es Z Algún X es Z
Y
Z
X
?
![Page 77: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/77.jpg)
Algún X es Y y Todo Y es Z Algún X es Z
Todo X es Y y Algún Y es Z Algún X es Z
Y
Z
X
x
X
Y
Z
![Page 78: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/78.jpg)
¿Los siguientes argumentos son válidos o no?
a. Todos los matemáticos son científicos
Algunos científicos están locos
así que algunos matemáticos están locos
b. Todos los marcianos son verdes
Ningún ser sin antenas es verde
Por lo tanto todos marcianos tienen antenas
![Page 79: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/79.jpg)
¿Los siguientes argumentos son válidos o no?
a. Todos los matemáticos son científicos
Algunos científicos están locos
así que algunos matemáticos están locos
NO
b. Todos los marcianos son verdes
Ningún ser sin antenas es verde
Por lo tanto todos marcianos tienen antenas
SI
![Page 80: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/80.jpg)
¿Los siguientes argumentos son válidos o no?
c. Ningún mentiroso es confiable
Ninguno de mis amigos es mentiroso
Así que todos mis amigos son confiables.
d. Algunos animales son cazadores
Algunos cazadores son gatos
Entonces algunos animales son gatos.
![Page 81: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/81.jpg)
¿Los siguientes argumentos son válidos o no?
c. Ningún mentiroso es confiable
Ninguno de mis amigos es mentiroso
Así que todos mis amigos son confiables.
NO
d. Algunos animales son cazadores
Algunos cazadores son gatos
Entonces algunos animales son gatos.
NO
![Page 82: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/82.jpg)
Los silogismos se pueden combinar para obtener argumentos
lógicos mas elaborados,
Lewis Carrol (el de Alicia) tiene acertijos donde a partir de
premisas aparentemente no relacionadas hay que sacar una
conclusión lógica.
![Page 83: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/83.jpg)
¿Que conclusión lógica se puede obtener?
Ningún pato sabe bailar
Ningún oficial se niega a bailar
Todas mis aves de corral son patos
Entonces...
![Page 84: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/84.jpg)
¿Que conclusión lógica se puede obtener?
Ningún pato sabe bailar
Ningún oficial se niega a bailar
Todas mis aves de corral son patos
Entonces...
P
O
B
AC
![Page 85: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/85.jpg)
¿Que conclusión lógica se puede obtener?
Los colibríes son coloridos
Ningún pájaro grande come miel
Los pájaros que no comen miel son pardos
Entonces...
![Page 86: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/86.jpg)
¿Que conclusión lógica se puede obtener?
Los colibríes son coloridos
Ningún pájaro grande come miel
Los pájaros que no comen miel son pardos
Entonces...
C
M
c
G
![Page 87: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/87.jpg)
¿Que conclusión lógica se puede obtener?
Los bebes son ilógicos
Nadie que maneje cocodrilos es despreciable
Las personas ilógicas no son apreciadas
Entonces...
![Page 88: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/88.jpg)
¿Que conclusión lógica se puede obtener?
Los bebes son ilógicos
Nadie que maneje cocodrilos es despreciable
Las personas ilógicas no son apreciadas
Entonces...
I
D
B
MC
![Page 89: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/89.jpg)
Demostraciones
![Page 90: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/90.jpg)
Una demostración es un argumento lógico en el que cada
paso esta plenamente justificado y es una consecuencia lógica
inmediata de los anteriores.
En matemáticas todo se demuestra, aprender a hacer
demostraciones toma tiempo y dedicación. Vamos a empezar
haciendo algunas demostraciones sencillas.
Hay métodos de demostración directos y métodos indirectos,
que a veces se combinan.
![Page 91: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/91.jpg)
Demostraciones directas
Como ( p → r ) ∧ ( r → q ) ⇒ ( p → q ) entonces podemos
demostrar p → q mostrando que p → r y que r → q donde r
es cualquier otra proposición.
Mas generalmente, para demostrar que si pasa A entonces pasa
Z, podemos hacerlo por pasos buscando una serie de
proposiciones, C, D, E, ... tales que podamos demostrar que si
pasa A entonces pasa B, si pasa B entonces pasa C, si pasa C
entonces pasa D.... hasta terminar en Z.
![Page 92: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/92.jpg)
Demostrar que Si algunos A son B y ningún B es C entonces
algunos A no son C
Hipótesis 1: Existe x tal que x es A y x es B.
Hipótesis 2: Si y es B entonces y no es C
Por demostrar: Existe z tal que z es A y z no es C
Demostración (directa):
Por la hipótesis 1 existe x tal que x es A y x es B
Como x es B entonces por la hipótesis 2 x no es C
Así que x es A y x no es C, que es lo que se quería demostrar. □
![Page 93: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/93.jpg)
Demostrar que El cuadrado de un número par es par
Hipótesis: n es un número par
Por demostrar: n2 es par
Demostración (directa):
Por la hipótesis n es par
Entonces n=2m para algún número m
Entonces n2 = (2m)2 = 4m2
Por lo tanto n2 = 2(2m2) lo que dice que n2 es par □
![Page 94: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/94.jpg)
Demostraciones contrapositivas
Como p → q es equivalente a ┐q → ┐p entonces podemos
demostrar p → q demostrando la contrapositiva ┐q → ┐p
Para demostrar que si pasa A entonces tiene que pasar B
podemos suponer que B no pasa y mostrar que entonces
tampoco pasa A.
![Page 95: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/95.jpg)
Demostrar que Si algunos A no son B y todos los C son B
entonces algunos A no son C
Hipótesis 1: Existe x tal que x es A y x no es B
Hipótesis 2: Si y es C entonces y es B
Por demostrar: Existe z tal que x es A y z no es C
Demostración (contrapositiva):
Supongamos que no existe z tal que z es A y z no es C
Esto significa que si z es A entonces z es C
Así que si z es A entonces (por hip 2) z es B
Por lo tanto no existe z tal que z es A y z no es B que niega
la hipótesis 1. □
![Page 96: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/96.jpg)
Demostrar que Si el cuadrado de un número entero es
impar, entonces el número es impar.
Hipótesis: n es un numero entero y n2 es impar
Por demostrar: n es impar
Demostración (contrapositiva):
Supongamos que la conclusión es falsa, es decir que n es par
Entonces n=2m para algún entero m
Por lo tanto n2 =(2m)2 = 4m2 = 2(2m2)
esto dice que n2 es par lo que niega la hipótesis. □
![Page 97: Argumentos lógicos - UNAMmax/GEA20/P0b.pdf · 2020. 10. 29. · Todos los griegos eran grandes filósofos Por lo tanto Platón era griego Si lo reescribimos como P es F Todos los](https://reader036.fdocuments.ec/reader036/viewer/2022071609/6147bc39afbe1968d37a3e09/html5/thumbnails/97.jpg)
Demostrar que Si todos los A son B y ningún B es C
entonces ningún A es C.
Hipotesis 1: Si x es A entonces x es B
Hipotesis 2: Si y es B entonces y no es C
Por demostrar: Si z es A entonces z no es C
Demostración (por contradicción):
Supongamos que hay un z tal que z es A y z es C
Como z es a entonces (por hip 1) z es B
Como z es B entonces (por hip 2) z no es C
Por lo tanto, z es C y z no es C lo que es una contradicción. □