locke kant enseñando filosofia en Filosofía Ejercicios de Lógica

Liderado por
Ens

Home del Distrito

[ Clic aquí para ver más sobre Cultura y Educación ]


		Filosofía

Lógica

<< Volver a los Contenidos

Ejercicios de Lógica

Ejercicios de Lógica
EJERCICIOS SOBRE FORMALIZACIÓN DE ENUNCIADOS

1. Formaliza las siguientes proposiciones:
a. No es cierto que no me guste bailar

b. Me gusta bailar y leer libros de ciencia ficción.

c. Si los gatos de mi hermana no soltaran tanto pelo me gustaría acariciarlos.

d. Si y sólo si viera un marciano con mis propios ojos, creería que hay vida extraterrestre.

e. Una de dos: o salgo a dar un paseo, o me pongo a estudiar como un energúmeno.

f. Si los elefantes volaran o supieran tocar el acordeón, pensaría que estoy como una regadera y dejaría que me internaran en un psiquiátrico.

g. Prefiero ir de vacaciones o estar sin hacer nada si tengo tiempo para ello y no tengo que ir a trabajar.

SOLUCIÓN
[b me gusta bailar]. ¬(¬b)

b. [b me gusta bailar. c me gusta leer libros de ciencia ficción]. b & c

c. [ g los gatos de mi hermana sueltan pelo. a me gusta acariciar los gatos ]. ¬g -> a

d. [ m ver un marciano con mis propios ojos. e creer en los extraterrestres ]. m <-> e

e. [ p salir a dar un paseo. e estudiar como un energúmeno]. p V e

f. [ v los elefantes vuelan. t los elefantes tocan el acordeón. l estar loco. p internar en un psiquiátrico ]. ( v V t ) -> ( l & p)

g. [ v ir de vacaciones. n no hacer nada. t tener tiempo. i ir a trabajar ]. (t & ¬i ) -> (v V n )

Formalización de proposiciones
2. Formaliza la siguientes proposición:
a. Si tuvieran que justificarse ciertos hechos por su enorme tradición entonces, si estos hechos son inofensivos y respetan a todo ser viviente y al medio ambiente, no habría ningún problema. Pero si los hechos son bárbaros o no respetuosos con los seres vivientes o el medio ambiente, entonces habría que dejar de justificarlos o no podríamos considerarnos dignos de nuestro tiempo.

SOLUCIÓN

a. J justificar hechos por su tradición. i ser inofensivo. r ser respetuoso con los seres vivos. m ser respetuoso con el medio ambiente. p tener problemas. b ser bárbaro. d ser digno de nuestro tiempo.

j -> (( i & m) -> ¬p) & (( b V ¬( r V m) -> (¬j V ¬d))

<< Volver a los Contenidos