Formalizacion De Proposiciones Logicas

PARTE 1: Formalización de proposiciones categóricas Ejercs. de Lógica. Richard Ortiz .
1. El que nada sabe, nada teme
2. Los atletas no son vegetarianos
3. Hay manzanas verdes
4. La ballena es un mamífero
5. Pocos seres humanos leen
6. Muchos políticos mienten
7. Son nutritivas las uvas
8. Los triángulos no son círculos
9. Nada es honesto y malicioso
10. Existen soldados cobardes
11.Un canguro no es un ovíparo
12. Se dan peras dulces
13. Filósofo es Aristóteles
14. Casi todos los testigos son comprados
15. Es mortal si es humano
16. La mayoría de estudiantes fueron aprobados
17. No todos los abogados son habladores 18. No hay jueces infalibles
19. El antílope es un mamífero
20. Bastantes bebedores son fumadores
21. Siempre que juego gano 22. Solo los marineros sabennadar
23. Es necesario comprender para saber 24. Únicamente son ciudadanos los votantes
25. Son hermosas algunas ambateñas
26. Es falso que todo filósofo sea sabio
27. Solo en algunos casos hay matadores osados
28.Es mentira que no haya ciudades contaminadas
29. No en todos los casos, sino en muy pocos, los relojes son exactos
30. Es equivocado pensar que existan déspotas ilustrados
31. Sees fuerte en el caso de que se sea justo
32. Los militares y no otros son privilegiados
33. Es buen consejero un buen libro
34. Nadie sino las palomas son dóciles
35. Son carnívoras las panteras
36. Es erróneo que se den zanahorias que no sean nutritivas
37. Nada mundano es eterno
38. No pocos estudiantes son trabajadores
39. De los doctores, pocos son profesionales
40. Las estrellas sontodas calientes.















SOLUCIONES
1.-Toda persona que nada sabe es persona que nada teme
2. Ningún atleta es vegetariano.
3. Algunas manzanas son verdes.
4. Toda ballena es mamífero.
5. Algunos hombres leen.
6. Algunos políticos son mentirosos
7. Todas las uvas son nutritivas. 8. Ningún triángulo es círculo.
9. Ningún acto honesto es malicioso1
10. Algunos soldados son cobardes.11. Ningún canguro es ovíparo.
12. Algunas peras son dulces.
13. Aristóteles es filósofo
14. Algunos testigos son comprados.
15. Todo humano es mortal.
16. Algunos estudiantes fueron aprobados.
17. Algunos abogados no son habladores
18. Ningún juez es infalible.
19. Todos los antílopes son mamíferos
20. Algunos bebedores son fumadores
21. Toda vez que juego es vez que gano
22. Todapersona que sabe nadar es marinero4
23. Toda persona que sabe es persona que comprende
24. Todo ciudadano es votante
25. Algunas ambateñas son hermosas.
26. Algunos filósofos no son sabios
27. Algunas ocasiones son ocasiones en que los matadores son osados* .
28. Algunas ciudades son contaminadas
29. Algunos relojes son exactos
30. Ningún déspota es ilustrado.
31. Toda persona justa esfuerte
32. Ser militar equivale a ser privilegiado (= todo m. es p. y todo p, es m.)
33. Todo buen libro es buen consejero.
34. Todo animal dócil es paloma5
35. Todas las panteras son carnívoras6
36. Toda zanahoria es nutritiva.
37. Ningún asunto mundano es eterno
38. Algunos estudiantes son trabajadores.
39. Algunos doctores son profesionales.
40. Todas las estrellas son calientes .

Idem1. Es paciente en el caso que sea creyente
2. Un mono saltó al suelo
3. Pedro bebe
4. Nada peligroso puede ser aburrido
5. Las leyes no son inmorales 1 Ningún acto es un acto honesto y malicioso
6. Son prudentes varios comerciantes
7. Es imprescindible compartir para amar
8. Los diccionarios son siempre necesarios
9. No hay elefantes rosados
10. Una idea es una herramienta
11. No pocosintelectuales viajan
12. Cuando alguien entre en mi casa será bien recibido
13. No dejan de ser lentas las tortugas
14. Cualquier ministro será censurado
15. Civilizados no lo son los bárbaros
16. Es falso que los reporteros no dejan de ser curiosos
17. Es falso que sea mentira que los cocineros sean feos
18. No hay nadie que sea famoso y feliz
19. Casi nadie cultiva el cuerpo y el...