Este documento presenta una guía práctica para un curso de lógica matemática. Contiene 20 enunciados para los que se deben obtener los polinomios lógicos correspondientes. También incluye instrucciones para construir tablas de verdad derivadas para dichos polinomios a través de métodos directo y reiterado. Finalmente, presenta 7 enunciados adicionales para los cuales se deben realizar los mismos pasos de obtener el polinomio lógico y construir la tabla de verdad.
1. Universidad de Carabobo
Facultad de Ciencias de la Educación
Escuela de Educación
Departamento de Matemática y Física
Cátedra de Lógica Matemática
Prof. Reina Sequera
GUÍA PRÁCTICA Nº 1
Primera Parte: Obtenga el polinomio lógico a partir de los siguientes enunciados
1. Si llueve se terminarán los problemas de sequía y no hará falta más dinero.
2. Sólo si distingues bien los diferentes acentos o te dice su lugar de procedencia sabrás si es gallego o
portugués.
3. Un partido de fútbol no se gana a menos que se corra mucho y se tenga calidad.
4. Para que llueva o nieve es necesario que se den las condiciones climáticas adecuadas
5. No es cierto que no me guste bailar.
6. Me gusta bailar y leer libros de ciencia ficción.
7. Si los gatos de mi hermana no soltaran tanto pelo me gustaría acariciarlos.
8. Si y sólo si viera un marciano con mis propios ojos, creería que hay vida extraterrestre.
9. Una de dos: o salgo a dar un paseo, o me pongo a estudiar como un energúmeno.
10. 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.
11. Prefiero ir de vacaciones o estar sin hacer nada si tengo tiempo para ello y no tengo que ir a
trabajar.
12. 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.
13. Si acepto este trabajo o dejo de pintar por falta de tiempo, entonces no realizaré mis sueños.
He aceptado el trabajo y he dejado de pintar. Por lo tanto, no realizaré mis sueños.
14. Si vamos a Asia, entonces llegaremos hasta la India. Si vamos a Asia entonces, si llegamos hasta la
India visitaremos Varanasi. Si vamos a India entonces, si visitamos Varanasi podremos ver el Ganges.
Por lo tanto, si vamos a Asia veremos el Ganges.
15. Todo número entero o es primo o es compuesto. Si es compuesto, es un producto de factores
primos, y si es un producto de factores primos, entonces es divisible por ellos. Pero si un número
entero es primo, no es compuesto, aunque es divisible por sí mismo y por la unidad, y
consiguientemente, también divisible por números primos. Por tanto, todo número entero es divisible
por números primos.
16. O dos es un número par o dos es un número impar.
17. No pienso, únicamente, si no existo.
1 1
18. Si 23 = 8 y = 0,25 entonces 23 + = 8 + 0,25
4 4
19. Si la filosofía o la sociología no son aptas para razonar, la lógica o la matemática no son aptas
para calcular.
20. Si pienso, digo la verdad y al decir la verdad, ofendo, entonces la verdad absoluta no existe o el
ser absoluto es un imposible.
Segunda Parte: Dado los siguientes polinomios lógicos realizar la construcción de la Tabla de Certidumbre Derivada
respectiva por los métodos Directo y Reiterado
2. 1. 37.
2. 38.
3. 39.
4. 40.
5. 41.
6. 42.
7. 43.
8. 44.
9. 45.
10. 46.
11. 47.
12. 48.
13. 49. (
14. 50.
15. 51.
16. 52.
17. 53.
18. 54.
19. 55.
20. 56.
21. 57.
22. 58.
23. 59.
24. 60.
25. 61.
26. 62.
27. 63.
28. 64.
29. 65.
30. 66.
31. 67.
32. 68.
33. 69.
34. 70.
35. 71.
36. 72.
Tercera Parte: Dado los siguientes enunciados obtener el polinomio lógico respectivo y realizar la
construcción de la Tabla de Certidumbre Derivada correspondiente por los métodos Directo y
Reiterado
1. Juan partirá para Japón, si María se queda en Venecia. Rosa viajará a Luxemburgo o Juan no partirá
para Japón. O María no se queda en Venecia o Rosa no viajará a Luxemburgo. Por consiguiente, María
no se queda en Venecia.
2. Si la Luna es mayor que la Tierra, la Tierra es mayor que el Sol. Júpiter es mayor que Plutón, si la
Tierra es mayor que el Sol. Por tanto, si la Luna es mayor que la Tierra, Júpiter es mayor que Plutón.
3. 3. Cuando viajo me mareo. Siempre que me mareo, me entra un hambre atroz. Así pues, siempre que
me entra un hambre atroz, viajo.
4. El amor es ciego y los hombres no son conscientes del hecho de que el amor es ciego, o el amor es
ciego y las mujeres sacan ventaja de ello. Si los hombres no son conscientes de que el amor es ciego,
entonces el amor no es ciego. En conclusión, las mujeres sacan ventaja de ello.
5. Si Guillermo estudia, obtiene buenas notas. Si no estudia, lo pasa bien en el colegio. Si no saca buena
nota, no lo pasa bien en el colegio. Así pues, Guillermo obtiene buenas notas.
6. Cuando Eduardo no juega al baloncesto, juega al tenis; cuando juega al tenis, juega al fútbol; no
juega al fútbol. Por tanto, Eduardo juega al baloncesto.
7. Si la tormenta continúa o anochece, nos quedaremos a cenar o a dormir; si nos quedamos a cenar o
a dormir no iremos mañana al concierto; por consiguiente, iremos mañana al concierto.