MATEMÁTICAS

Unidad II Elementos de lógica y teoría de conjuntos

Autor: Juan Antonio Torres Sepulveda

[email protected]

Fecha de entrega: 25 de octubre, 2022.

Tabla de Contenido

Introducción:...................................................................................................................................... 3
Contenido:.......................................................................................................................................... 4
Pregunta Nro. 01............................................................................................................................ 4
Pregunta Nro. 02............................................................................................................................ 5
Conclusiones:.................................................................................................................................... 7
Bibliografía:........................................................................................................................................ 8
Introducción:

El presente informe contiene el desarrollo integro de la Unidad de estudio número II elementos de

lógica y teoría de conjuntos donde se desarrollará un análisis respecto a la importancia del Sistema
Axiomático como herramienta para la construcción del conocimiento científico.

Por otra parte y basados en el análisis del Sistema Axiomático, se confeccionará una tabla de
elementos, para formalizar proposiciones que se deriven de las oraciones que se muestran para el
desarrollo de dicha actividad.
Contenido:

Pregunta Nro. 01
Realizar un análisis de la importancia del Sistema Axiomático como herramienta para la construcción
del conocimiento científico
El surgimiento del método axiomático se remonta a la época de los griegos, sin embargo los
conocimientos matemáticos prácticos tienen una antigüedad mayor, remontándose, seguramente a
los inicios de la historia de la humanidad.
Para poder analizar debemos conocer primero los conceptos asociados a dicha terminología:
La ciencia (del latín scientia ‘conocimiento’) corresponde al conjunto ordenado de conocimientos
estructurados de forma sistemática.
El conocimiento científico es un saber crítico, metódico, verificable, sistemático, unificado, ordenado,
universal, objetivo, comunicable, racional, provisorio y que explica y predice hechos por medio de
leyes. El conocimiento científico es crítico, y esto es porque trata de distinguir lo verdadero de lo falso.
Se distingue por justificar conocimientos, por dar pruebas de su verdad, por eso es fundamentado,
porque demuestra que es cierto.
Es sistemático porque es una unidad ordenada, donde los nuevos conocimientos se integran al
sistema, relacionándose con los que ya existían con anterioridad. Es ordenado porque no
corresponde a un agregado de informaciones aisladas, sino más bien a un sistema de ideas
conectadas entre sí.
A su vez, el lenguaje científico es la información eficaz, clara y sencilla del conocimiento científico,
mediante palabras de carácter o significado indudable.
Llamamos sistema axiomático a un conjunto de enunciados o proposiciones donde algunos de ellos
llamados axiomas o postulados son tomados como punto de partida tácitamente verdaderos y que no
se demuestran para deducir otros llamados teoremas, mediante la aplicación de las reglas de
deducción que garantizan que si los axiomas son auténticos los teoremas también lo serán.
Las principales propiedades que poseen los sistemas axiomáticos son los siguientes: consistencia,
independencia y completitud, dichas propiedades forjan que los sistemas sean útiles e interesantes
para la ciencia.
El sistema axiomático es primordial para la construcción del conocimiento científico, esto se debe a
que nos permite enunciar y demostrar con máximo rigor todo aquello que compone el discernimiento
científico, de tal manera, se entiende que la ciencia es la encargada de explicar y anunciar hechos
por medio de leyes, es por esto que debe ser un conocimiento claro e incuestionable, que no deje
lugar a dudas u objeciones, y que represente de la forma más objetiva y clara posible todo aquello
que solicita. Por lo que el sistema axiomático es el que conforma el lenguaje científico mediante
palabras de significado indudable. Si el lenguaje no es claro, la información que se entregue podría
ser mal interpretada en muchos ámbitos.
Pregunta Nro. 02
Basados en el análisis del Sistema Axiomático, construir la siguiente tabla según los elementos
contenido en ella, para formalizar las proposiciones que se deriven de las oraciones que se muestran
seguidamente

Nro. Oración Proposiciones Formula bien

identificadas formada
1 Si los gatos de mi hermana no soltaran tanto p: los gatos de mi p→ q
pelo me gustaría acariciarlos. hermana sueltan pelo
q: me gustaría acariciar
a los gatos
2 Si y sólo si viera un marciano con mis propios p: ver a un marciano p↔q
ojos, creería que hay vida extraterrestre con mis propios ojos
q: creer que hay vida
extraterrestre
3 Una de dos: o salgo a dar un paseo, o me p: salir a dar un paseo p˅q
pongo a estudiar como un energúmeno. q: estudiar como un
energúmeno

4 Si los elefantes volaran o supieran tocar el p: los elefantes vuelan (p ˅ q) →(r

acordeón, pensaría que estoy como una q: los elefantes tocan el ∧ s¿
regadera y dejaría que me internaran en un acordeón
psiquiátrico. r: estar loco
s: internar en un
psiquiátrico
5 Prefiero ir de vacaciones o estar sin hacer nada p: ir de vacaciones (r ∧ s ¿ → ¿˅
si tengo tiempo para ello y no tengo que ir a q: no hacer nada q)
trabajar. r: tener tiempo para ello
s: ir a trabajar
6 Si viene en tren, llegará antes de las seis. Si p: venir en tren p → q, r → q
viene en automóvil, llegará antes de las seis. q: venir en automóvil l- (p ˅ r) → q
Luego, tanto si viene en tren como si viene en r: llegar antes de las 6
automóvil, llegará antes de las seis.
7 Si tuvieran que justificarse ciertos hechos por su p: justificar hechos por p→((q
enorme tradición entonces, si estos hechos son su tradición ∧r ∧ s ¿ → t ¿ ∧
inofensivos y respetan a todo ser viviente y al q: ser inofensivo ¿ ˅ ¿ ˅s)→ ¿ ˅
medio ambiente, no habría ningún problema. r: ser respetuoso con v ¿)
Pero si los hechos son bárbaros o no los seres vivos
respetuosos con los seres vivientes o el medio s: ser respetuoso con
ambiente, entonces habría que dejar de el medio ambiente
justificarlos o no podríamos considerarnos t: tener problema
dignos de nuestro tiempo. u: ser bárbaro
v: ser digno de nuestro
tiempo

8 Si los habitantes de Venus invaden la Tierra, p: habitantes de venus p→ ¿˅r) l- (p

entonces los hombres se pondrán nerviosos o invaden la tierra ∧r ¿ p→r
las mujeres se entusiasmarán: si los hombres q: Los hombres se
se ponen nerviosos, las mujeres se pondrán nerviosos
entusiasmarán. Por lo tanto, si los habitantes de r: Las mujeres se
 Venus invaden la Tierra, las mujeres se entusiasmarán
entusiasmarán.
9 Si los filósofos callasen, la nieve quemaría y los p: Los filósofos p→((q
círculos serían cuadrados. Si los círculos fuesen callasen ∧r ∧ s ¿ → t ¿ ∧
cuadrados, entonces los matemáticos se q: La nieve quemaría
dedicarían a cazar brujas, ni las abejas a r: Los círculos serían
fabricar acero. Por tanto, los filósofos no cuadrados
callarán. s: Los matemáticos se
dedicarían
t: Las abejas se
dedicarían
10 Si el toro tuviese sentido del humor o fuese un p: El toro tuviese p→((q
animal vengativo, se sentaría en medio de la sentido del humor ∧r ∧ s ¿ → t ¿ ∧
plaza y dormiría una plácida siesta. Si el toro se q: Se sentaría en ¿ ˅ ¿ ˅s)→ ¿ ˅
sentase en medio de la plaza, entonces los medio de la plaza v ¿ w)
espectadores se marcharían decepcionados o r: Dormiría una siesta
el torero se sentiría ridículo. Ni el torero se s: Los espectadores se
siente ridículo, ni los espectadores se marchan marchan
decepcionados. Así que le toro no tiene sentido t: El toro se Sentiría
del humor y dormiría una plácida siesta. ridículo
u: El torero no se siente
ridiculo
v: Los espectadores no
se marchan
w: El toro no tiene
sentido del humor
Conclusiones:

Finalmente el presente trabajo nos ayuda a lograr entender que para las matemáticas y para que una
afirmación sea considerada válida debe estar contenida dentro de una base de afirmaciones. Los
axiomas son por tanto corresponden a los pilares fundamentales de toda rama de las matemáticas,
donde a partir de ellos y por intermedio de demostraciones matemáticas, se deduce la veracidad de
cualquier afirmación.

Es por ello que los axiomas serán afirmaciones que se aceptan como verdaderas y cuya autenticidad
no puede ser demostrada a partir de otros axiomas. De igual forma otro tipo de afirmaciones a las que
se puede hacer referencia corresponde a los teoremas, en las que dichas afirmaciones deben ser
demostradas usando los axiomas u otros teoremas ya demostrados.

Muchas partes de la matemática están axiomatizadas, lo que significa que existe un conjunto de
axiomas de los cuales es posible deducir todas las verdades de esa parte de la matemática. Por
ejemplo, de los axiomas de Peano es posible deducir todas las verdades de la aritmética (y por
extensión, de otras partes de la matemática).

Es por esto que el programa de Hilbert hizo creer la posibilidad de unas matemáticas en donde la
propia consistencia de axiomas elegidos fuera demostrable de manera relativamente simple. Sin
embargo, el teorema de incompletitud de Gödel y otros resultados mostraron la inviabilidad del
programa de Hilbert para los fines con los que fue propuesto
Bibliografía:

 Cuaderno de aprendizaje I “Pensamiento lógico de las matemáticas”

 Cuaderno de aprendizaje II “Elementos de lógica y teorías de conjunto”

 Cuaderno de aprendizaje III “Números Reales”

 Baldor, A. 1997. Álgebra. Publicaciones Culturales. México

 Baldor, A. 1997. Aritmética. Teórico práctico. Publicaciones Culturales. México

 Barnett, R. 1994. Álgebra. McGraw Hill. México

 Barnett, R. 1995. Álgebra elemental. Serie Schaum. McGraw Hill. México.