L ogica en Acci on

Cap tulo 3: Razonamiento Silog stico

http://www.logicinaction.org/

(http://www.logicinaction.org/)

1 / 13

Razonando con predicados

Mas all a de la l ogica proposicional

C omo determinar amos si las siguientes inferencias son v alidas usando herramientas de la l ogica proposicional?

(http://www.logicinaction.org/)

2 / 13

Razonando con predicados

Mas all a de la l ogica proposicional

C omo determinar amos si las siguientes inferencias son v alidas usando herramientas de la l ogica proposicional?
Todos los pol ticos son ricos. ? Ning un estudiante es pol tico. Ning un estudiante es rico.

(http://www.logicinaction.org/)

2 / 13

Razonando con predicados

Mas all a de la l ogica proposicional

C omo determinar amos si las siguientes inferencias son v alidas usando herramientas de la l ogica proposicional?
Todos los pol ticos son ricos. ? Ning un estudiante es pol tico. Ning un estudiante es rico. Todos los pol ticos son ricos. ? Hay al menos un estudiantes que es pol tico. Hay al menos un estudiantes que es rico.

(http://www.logicinaction.org/)

2 / 13

Razonando con predicados

Mas all a de la l ogica proposicional

C omo determinar amos si las siguientes inferencias son v alidas usando herramientas de la l ogica proposicional?
Todos los pol ticos son ricos. ? Ning un estudiante es pol tico. Ning un estudiante es rico. Todos los pol ticos son ricos. ? Hay al menos un estudiantes que es pol tico. Hay al menos un estudiantes que es rico.

C omo trabajar con objetos y sus propiedades?

(http://www.logicinaction.org/) 2 / 13

Razonando con predicados

Silogismos

Un silogismo es una inferencia con caracter sticas particulares.

(http://www.logicinaction.org/)

3 / 13

Razonando con predicados

Silogismos

Un silogismo es una inferencia con caracter sticas particulares. Solo dos premisas.

(http://www.logicinaction.org/)

3 / 13

Razonando con predicados

Silogismos

Un silogismo es una inferencia con caracter sticas particulares. Solo dos premisas. cada premisa y la conclusi on solo pueden tener la siguiente forma:

(http://www.logicinaction.org/)

3 / 13

Razonando con predicados

Silogismos

Un silogismo es una inferencia con caracter sticas particulares. Solo dos premisas. cada premisa y la conclusi on solo pueden tener la siguiente forma:
1

Todo A es B .

(http://www.logicinaction.org/)

3 / 13

Razonando con predicados

Silogismos

Un silogismo es una inferencia con caracter sticas particulares. Solo dos premisas. cada premisa y la conclusi on solo pueden tener la siguiente forma:
1 2

Todo A es B . Existe un A que es B .

(http://www.logicinaction.org/)

3 / 13

Razonando con predicados

Silogismos

Un silogismo es una inferencia con caracter sticas particulares. Solo dos premisas. cada premisa y la conclusi on solo pueden tener la siguiente forma:
1 2 3

Todo A es B . Existe un A que es B . Todo A es no B (i.e., Ning un A es B ).

(http://www.logicinaction.org/)

3 / 13

Razonando con predicados

Silogismos

Un silogismo es una inferencia con caracter sticas particulares. Solo dos premisas. cada premisa y la conclusi on solo pueden tener la siguiente forma:
1 2 3 4

Todo A es B . Existe un A que es B . Todo A es no B (i.e., Ning un A es B ). Existe un A que no es B (i.e., No todo A es B ).

(http://www.logicinaction.org/)

3 / 13

Razonando con predicados

Silogismos

Un silogismo es una inferencia con caracter sticas particulares. Solo dos premisas. cada premisa y la conclusi on solo pueden tener la siguiente forma:
1 2 3 4

Todo A es B . Existe un A que es B . Todo A es no B (i.e., Ning un A es B ). Existe un A que no es B (i.e., No todo A es B ).

con A y B predicados representando colecciones de objetos.

(http://www.logicinaction.org/)

3 / 13

Razonando con predicados

Silogismos

Un silogismo es una inferencia con caracter sticas particulares. Solo dos premisas. cada premisa y la conclusi on solo pueden tener la siguiente forma:
1 2 3 4

Todo A es B . Existe un A que es B . Todo A es no B (i.e., Ning un A es B ). Existe un A que no es B (i.e., No todo A es B ).

con A y B predicados representando colecciones de objetos. La inferencia involucra solo tres predicados.

(http://www.logicinaction.org/)

3 / 13

Razonando con predicados

Ejemplos

Todas las frutas son nutritivas. Todos las frutas son sabrosas. Todo lo que es sabroso es nutritivo. Hay al menos un turista que no habla Espa nol. Ning un Australiano es turista. Hay al menos un Australiano que no habla Espa nol.

(http://www.logicinaction.org/)

4 / 13

Razonando con predicados

El cuadro de oposici on

(http://www.logicinaction.org/)

5 / 13

Razonando con predicados

El cuadro de oposici on
Todo A es B .

(http://www.logicinaction.org/)

5 / 13

Razonando con predicados

El cuadro de oposici on
Todo A es B . Existe un A que es B .

(http://www.logicinaction.org/)

5 / 13

Razonando con predicados

El cuadro de oposici on
Todo A es B . Existe un A que es B . Todo A es no B (Ning un A es B ).

(http://www.logicinaction.org/)

5 / 13

Razonando con predicados

El cuadro de oposici on
Todo A es B . Existe un A que es B . Todo A es no B (Ning un A es B ). Existe un A que no es B (No todo A es B ).

(http://www.logicinaction.org/)

5 / 13

Razonando con predicados

El cuadro de oposici on
Todo A es B . Existe un A que es B . Todo A es no B (Ning un A es B ). Existe un A que no es B (No todo A es B ).

Todo A es B

Todo A es no B

Existe un A que es B
(http://www.logicinaction.org/)

Existe un A que no es B
5 / 13

Conjuntos y sus operaciones

Conjuntos

Un conjunto es una colecci on de objetos.

(http://www.logicinaction.org/)

6 / 13

Conjuntos y sus operaciones

Conjuntos

Un conjunto es una colecci on de objetos. Su el objeto a est a en el conjunto A, escribimos a A.

(http://www.logicinaction.org/)

6 / 13

Conjuntos y sus operaciones

Conjuntos

Un conjunto es una colecci on de objetos. Su el objeto a est a en el conjunto A, escribimos a A. Un conjunto puede ser denido por una propiedad: {x | (x)}

(http://www.logicinaction.org/)

6 / 13

Conjuntos y sus operaciones

Conjuntos

Un conjunto es una colecci on de objetos. Su el objeto a est a en el conjunto A, escribimos a A. Un conjunto puede ser denido por una propiedad: {x | (x)} usualmente hay un dominio U de donde se toman los objetos. {x U | (x)}

(http://www.logicinaction.org/)

6 / 13

Conjuntos y sus operaciones

Operaciones sobre conjuntos: dos predicados

Dominio: Humanos

Pol ticos

Estudiantes

(http://www.logicinaction.org/)

7 / 13

Conjuntos y sus operaciones

Operaciones sobre conjuntos: dos predicados

Un conjunto: Pol ticos

Pol ticos

Estudiantes

P
(http://www.logicinaction.org/) 7 / 13

Conjuntos y sus operaciones

Operaciones sobre conjuntos: dos predicados

Un conjunto: Estudiantes

Pol ticos

Estudiantes

E
(http://www.logicinaction.org/) 7 / 13

Conjuntos y sus operaciones

Operaciones sobre conjuntos: dos predicados

Complemento: No Estudiantes

Pol ticos

Estudiantes

E
(http://www.logicinaction.org/) 7 / 13

Conjuntos y sus operaciones

Operaciones sobre conjuntos: dos predicados

Complemento: No Pol ticos

Pol ticos

Estudiantes

P
(http://www.logicinaction.org/) 7 / 13

Conjuntos y sus operaciones

Operaciones sobre conjuntos: dos predicados

Uni on: Pol ticos o Estudiantes

Pol ticos

Estudiantes

P E
(http://www.logicinaction.org/) 7 / 13

Conjuntos y sus operaciones

Operaciones sobre conjuntos: dos predicados

Uni on: Estudiantes o Pol ticos

Pol ticos

Estudiantes

E P
(http://www.logicinaction.org/) 7 / 13

Conjuntos y sus operaciones

Operaciones sobre conjuntos: dos predicados

Intersecci on: Pol ticos y Estudiantes

Pol ticos

Estudiantes

P E
(http://www.logicinaction.org/) 7 / 13

Conjuntos y sus operaciones

Operaciones sobre conjuntos: dos predicados

Intersecci on: Estudiantes y Pol ticos

Pol ticos

Estudiantes

E P
(http://www.logicinaction.org/) 7 / 13

Conjuntos y sus operaciones

Operaciones sobre conjuntos: dos predicados

Diferencia: Pol ticos que no son Estudiantes

Pol ticos

Estudiantes

P \E
(http://www.logicinaction.org/) 7 / 13

Conjuntos y sus operaciones

Operaciones sobre conjuntos: dos predicados

Diferencia: Estudiantes que no son Pol ticos

Pol ticos

Estudiantes

E \P
(http://www.logicinaction.org/) 7 / 13

Conjuntos y sus operaciones

Operaciones sobre conjuntos: tres predicados

Todas las combinaciones posibles corresponden a una regi on del diagrama.

(http://www.logicinaction.org/) 8 / 13

Conjuntos y sus operaciones

Operaciones sobre conjuntos: tres predicados

(http://www.logicinaction.org/)

8 / 13

Conjuntos y sus operaciones

Operaciones sobre conjuntos: tres predicados

(http://www.logicinaction.org/)

8 / 13

Conjuntos y sus operaciones

Operaciones sobre conjuntos: tres predicados

(http://www.logicinaction.org/)

8 / 13

Conjuntos y sus operaciones

Operaciones sobre conjuntos: tres predicados

P S R

(http://www.logicinaction.org/)

8 / 13

Conjuntos y sus operaciones

Operaciones sobre conjuntos: tres predicados

S P

(http://www.logicinaction.org/)

8 / 13

Conjuntos y sus operaciones

Operaciones sobre conjuntos: tres predicados

P R

(http://www.logicinaction.org/)

8 / 13

Conjuntos y sus operaciones

Operaciones sobre conjuntos: tres predicados

P (S R)

(http://www.logicinaction.org/)

8 / 13

Conjuntos y sus operaciones

Operaciones sobre conjuntos: tres predicados

R \ (P S )

(http://www.logicinaction.org/)

8 / 13

Conjuntos y sus operaciones

Operaciones sobre conjuntos: tres predicados

(S \ P ) (S \ R)

(http://www.logicinaction.org/)

8 / 13

Enunciados silog sticos

Lo que los enunciados silog sticos indican

Todo A es B La u nica posibilidad:

A C

(http://www.logicinaction.org/)

9 / 13

Enunciados silog sticos

Lo que los enunciados silog sticos indican

Existe un A que es B Las dos posibilidades:

(http://www.logicinaction.org/)

9 / 13

Enunciados silog sticos

Lo que los enunciados silog sticos indican

Todo A es no B (Ning un A es B ) La u nica posibilidad:

A C

(http://www.logicinaction.org/)

9 / 13

Enunciados silog sticos

Lo que los enunciados silog sticos indican

Existe un A que no es B (No todo A es B ) Las dos posibilidades:

A C

A C

(http://www.logicinaction.org/)

9 / 13

Decidiendo validez de silogismos

El m etodo

(http://www.logicinaction.org/)

10 / 13

Decidiendo validez de silogismos

El m etodo
1

El diagrama. Dibuja el dominio indicando la regi on de los tres predicados.

(http://www.logicinaction.org/)

10 / 13

Decidiendo validez de silogismos

El m etodo
1

El diagrama. Dibuja el dominio indicando la regi on de los tres predicados. Enunciados universales: descartando Aplica los enunciados universales de las premisas (Todo . . . es . . . y Ning un . . . es . . . ), eliminando las regiones apropiadas.

(http://www.logicinaction.org/)

10 / 13

Decidiendo validez de silogismos

El m etodo
1

El diagrama. Dibuja el dominio indicando la regi on de los tres predicados. Enunciados universales: descartando Aplica los enunciados universales de las premisas (Todo . . . es . . . y Ning un . . . es . . . ), eliminando las regiones apropiadas. Enunciados existenciales: agregando Aplica los enunciados existenciales de las premisas (Existe un . . . que es . . . y Existe un . . . que no es . . . ), intentando colocar los objetos en las regiones apropiadas. (Podr amos tener mas de un diagrama.)

(http://www.logicinaction.org/)

10 / 13

Decidiendo validez de silogismos

El m etodo
1

El diagrama. Dibuja el dominio indicando la regi on de los tres predicados. Enunciados universales: descartando Aplica los enunciados universales de las premisas (Todo . . . es . . . y Ning un . . . es . . . ), eliminando las regiones apropiadas. Enunciados existenciales: agregando Aplica los enunciados existenciales de las premisas (Existe un . . . que es . . . y Existe un . . . que no es . . . ), intentando colocar los objetos en las regiones apropiadas. (Podr amos tener mas de un diagrama.) Vericaci on Verica que al menos uno de los diagramas de la conclusi on aparece en todos los diagramas dibujados en los pasos anteriores.
10 / 13

(http://www.logicinaction.org/)

Decidiendo validez de silogismos

El m etodo: ejemplo (1)

Todos los pol ticos son ricos. ? Ning un estudiante es pol tico. Ning un estudiante es rico. Por aplicar Por aplicar Por vericar

P R

(http://www.logicinaction.org/)

11 / 13

Decidiendo validez de silogismos

El m etodo: ejemplo (1)

Todos los pol ticos son ricos. ? Ning un estudiante es pol tico. Ning un estudiante es rico. Aplicado Por aplicar Por vericar

P R

(http://www.logicinaction.org/)

11 / 13

Decidiendo validez de silogismos

El m etodo: ejemplo (1)

Todos los pol ticos son ricos. ? Ning un estudiante es pol tico. Ning un estudiante es rico. Aplicado Aplicado Por vericar

P R

(http://www.logicinaction.org/)

11 / 13

Decidiendo validez de silogismos

El m etodo: ejemplo (1)

Todos los pol ticos son ricos. ? Ning un estudiante es pol tico. Ning un estudiante es rico. Aplicado Aplicado Incorrecto

P R

El diagrama de la conclusi on no aparece en el diagrama que resulta de la premisas.

(http://www.logicinaction.org/)

11 / 13

Decidiendo validez de silogismos

El m etodo: ejemplo (1)

Todos los pol ticos son ricos. Aplicado Aplicado Incorrecto

Ning un estudiante es pol tico. Ning un estudiante es rico.

P R

El diagrama de la conclusi on no aparece en el diagrama que resulta de la premisas.

(http://www.logicinaction.org/)

11 / 13

Decidiendo validez de silogismos

El m etodo: ejemplo (2)

Todos los estudiantes son pol ticos. ? Todos los pol ticos son ricos. Todos los estudiantes son ricos. Por aplicar Por aplicar Por vericar

P R

(http://www.logicinaction.org/)

12 / 13

Decidiendo validez de silogismos

El m etodo: ejemplo (2)

Todos los estudiantes son pol ticos. ? Todos los pol ticos son ricos. Todos los estudiantes son ricos. Aplicado Por aplicar Por vericar

P R

(http://www.logicinaction.org/)

12 / 13

Decidiendo validez de silogismos

El m etodo: ejemplo (2)

Todos los estudiantes son pol ticos. ? Todos los pol ticos son ricos. Todos los estudiantes son ricos. Aplicado Aplicado Por vericar

P R

(http://www.logicinaction.org/)

12 / 13

Decidiendo validez de silogismos

El m etodo: ejemplo (2)

Todos los estudiantes son pol ticos. ? Todos los pol ticos son ricos. Todos los estudiantes son ricos. Aplicado Aplicado Correcto

P R

El diagrama de la conclusi on aparece en el diagrama que resulta de la premisas.

(http://www.logicinaction.org/)

12 / 13

Decidiendo validez de silogismos

El m etodo: ejemplo (2)

Todos los estudiantes son pol ticos. Aplicado Aplicado Correcto

Todos los pol ticos son ricos. Todos los estudiantes son ricos.

P R

El diagrama de la conclusi on aparece en el diagrama que resulta de la premisas.

(http://www.logicinaction.org/)

12 / 13

Decidiendo validez de silogismos

El m etodo: ejemplo (3)

Todos los estudiantes son ricos. ? Algunos estudiantes son pol ticos. Algunos estudiantes son ricos. Por aplicar Por aplicar Por vericar

P R

(http://www.logicinaction.org/)

13 / 13

Decidiendo validez de silogismos

El m etodo: ejemplo (3)

Todos los estudiantes son ricos. ? Algunos estudiantes son pol ticos. Algunos estudiantes son ricos. Aplicado Por aplicar Por vericar

P R

(http://www.logicinaction.org/)

13 / 13

Decidiendo validez de silogismos

El m etodo: ejemplo (3)

Todos los estudiantes son ricos. ? Algunos estudiantes son pol ticos. Algunos estudiantes son ricos. Aplicado Aplicado Por vericar

(http://www.logicinaction.org/)

13 / 13

Decidiendo validez de silogismos

El m etodo: ejemplo (3)

Todos los estudiantes son ricos. ? Algunos estudiantes son pol ticos. Algunos estudiantes son ricos. Aplicado Aplicado Correcto

Uno de los dos diagramas de la conclusi on aparece en el diagrama que resulta de la premisas.
(http://www.logicinaction.org/) 13 / 13

Decidiendo validez de silogismos

El m etodo: ejemplo (3)

Todos los estudiantes son ricos. Aplicado Aplicado Correcto

Algunos estudiantes son pol ticos. Algunos estudiantes son ricos.

Uno de los dos diagramas de la conclusi on aparece en el diagrama que resulta de la premisas.
(http://www.logicinaction.org/) 13 / 13