http://blog.educastur.es/tendales/files/2009/12/logica-teoria2.pdf
OS PROPONGO ALGUNOS EJERCICIOS QUE PRACTICAREMOS EN EL AULA PARA ENGRASAR LA MAQUINARIA 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.
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.
a. [b me gusta bailar]. ¬(¬b)b. [b me gusta bailar. c me gusta leer libros de ciencia ficción]. b & cc. [ g los gatos de mi hermana sueltan pelo. a me gusta acariciar los gatos ]. ¬g -> ad. [ m ver un marciano con mis propios ojos. e creer en los extraterrestres ]. m <-> ee. [ p salir a dar un paseo. e estudiar como un energúmeno]. p V ef. [ 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 )
|