miércoles, 13 de noviembre de 2024

EJERCICIOS DE FORMALIZACIÓN.

FORMALIZACIÓN 
1. O está lloviendo o nevando, o está soplando el viento. 
2. O los hombres han nacido libres o no son iguales. 
3. O bien Moriarty y Crumm son ambos culpables o no son libres. 
4. O Crumm es culpable, o él y Moriarty lo son conjuntamente. 
5. O bien Moriarty es culpable o Crumm es inocente, o ambos son culpables. 6. O Holmes lleva razón, o Moriarty y Crumm son o ambos culpables o ambos inocentes; y Crumm es culpable. 
7. Luis se irá si Pablo se queda. 
8. Si Pablo se queda, entonces Luis se va. 
9.Supuesto que Pablo se quede, Luis se irá. 
10. Luis se irá en caso de que Pablo se quede. 
11. Cientos de vida podrían salvarse cada año si la gente utilizara el cinturón de seguridad. 
12. Democracia significa un modo de vida en el que la libertad y la justicia están presentes.

miércoles, 7 de febrero de 2024

El barco de Teseo.

Vamos a ver uno de los problemas metafísicos más importantes: el problema de la identidad. Para ello, vamos a hacer referencia a la historia del barco de Teseo. Cuentan que esta historia no fue sólo un mito, sino que existió en realidad. Al parecer, este barco se usaba en un ritual en el que se celebraba que Apolo había salvado a Teseo y a sus catorce hombres. Así, todos los años se mandaba la nave desde Atenas a Delos, lo que suponía un desgaste no sólo del casco, sino también del resto de los componentes del barco. 

martes, 7 de noviembre de 2023

LÓGICA: EJERCICIOS DE FORMALIZACIÓN.

 Os dejo aquí ejercicios para que vayáis practicando la formalización. Los primeros son muy sencillos, pero poco a poco se van complicando. 

EJERCICIOS NIVEL 1 (SENCILLOS).

1. Llueve y hace frio.

2. No llueve y hace frio.

3. Llueve o hace frio.

4. O bien, llueve, o bien, hace frio.