PENSAMIENTOS LÓGICOShttp://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 )

 

Realice la tabla de verdad de las siguientes expresiones, indicando si es una contradicción, una tautología o una indeterminación. El cuadrado significa “y” pues no hay signo en el teclado.1. p & q
 2. (p ∧ q) ∧ r
 3. ¬(p → ¬q) ∧ (p ∧ ¬q)
 4. (p ∧ q) ∨ (p ∨ ¬q)
 5. p ∧ q ∧ r
 6. ¬(p ∧ ¬q) ∧ (p ∧ ¬q)
 7. ¬¬(¬p ∧ ¬q) ∨ (p ∧ ¬q)
 8. p ∨ q ∧ r
 9. ¬(¬p ∧ ¬q) ∧ (¬p ∧ ¬q)
 10. p ∨ q ∧ ¬r
 11. p ∧ q → r
 12. p ∧ q → ¬r
 13. p ↔¬ p
 14. ¬ (p ∧ ¬q) ∧ (p ∧ ¬q)
 15. ¬¬ p ∨ ¬¬ q
 16. p ∨q
 17. p ↔q v r
 18. [ (¬p ∨ q) v (p ∧ q)] →[ (¬p ∨ q) v ¬p ]
 19. (p ∨ ¬q) → ( ¬p → ¬q)
 20. (p ↔¬q) v (p ∨ ¬q)
 21. (¬p ∧ q) ∨ (¬p → q)
 22. ¬q ∨ ¬p
 23. (p → q ∧ r) ↔¬(¬q v r) v ¬r
 24. (¬q ∧ r) → ¬(¬q v r) v ¬r
 25. (p → q ) ∧ r 􀃆¬(p v r) v ¬r
 26. (p → q) ∧ (q → r) → (p ∧ ¬r)
 27. ¬p ↔(q ∧ r) ∨ ¬(¬q v r)
 28. [ (p v ¬ q) → (p → q)] → [(¬p → q) v ¬p] v ¬p
 29. [ ¬(p v q) v (p → q)] → [(¬p → q) v ¬p]
 30. (p → q) ∧ (q → r) → (p ∧ r)
 31. (p ∧ q → r) → (p v r )

  

Estadísticas Este artículo ha sido visitado  19818  veces