Los sistemas axiomáticos son muy importantes como herramienta para la construcción del

conocimiento científico debido a que representan ambas ciencias formales en conjunto como
argumentos deductivos en los que algunos enunciados son tomados como punto de partida y los
demás, son obtenidos por inferencia. Dando así un análisis y desarrollo más satisfactorio y
ordenado.

Debido a que los axiomas reflejan condiciones, si no se tomaran ciertos enunciados como punto
de partida, se caería en una suerte de regresión infinita o circulo vicioso debido a que siempre se
necesitara un enunciado anterior al cual apelar, para justificar e que se está considerando.

Por ende, en matemáticas se le da importancia a la división y multiplicación para mantener un

orden jerárquico y así no caer en un sistema no deductivo.

Proposiciones
Ítem Oración Formula bien formada
identificadas
1 Si los gatos de mi hermana no saltaran p: si los gatos de mi ~p => q
tanto pelo me gustaría acariciarlos. hermana no
saltaran tanto pelo
q: me gustaría
acariciarlos.
2 Si y solo si viera un marciano con mis p: ver un marciano pq
propios ojos, creería que hay vida con mis propios
extraterrestre. ojos.
q: creer en los
extraterrestres
3 Una de dos: Salgo a dar un paseo, o me p: salir a dar un pvq
pongo a estudiar como un energúmeno. paseo.
q: estudiar como
energúmeno.
4 Si los elefantes volaran o supieran tocar p: los elefantes (p v q) => (i ^ t)
acordeón, pensaría que estoy como una vuelan
regadera y dejaría que me internaran en q: los elefantes
un psiquiátrico. tocan acordeón.
i: estar loco.
t: internar en un
psiquiátrico.
5 Prefiero ir de vacaciones o estar sin p: ir de vacaciones. (i ^~t) => (p v q)
hacer nada si tengo tiempo para ello y no q: no hacer nada.
tengo que ir a trabajar. i: tener tiempo.
t: ir a trabajar.

6 Si viene en tren, llegara antes de las seis. p: viene en tren. [(p=>q)^(r=>q)]=>[(p v r)=>q]
Si viene un automóvil, llegara antes de q: llegara antes de
las seis. Luego, tanto si viene en tren las 6.
como si viene en automóvil, llegara antes r: viene en coche.
de las seis.
7 Si tuviera que justificarse ciertos hechos p: Justificar hechos [(p^q)=>(r=>t)]^[(~r=>~p)v e]
por su enorme tradición entonces, si q: Enorme tradición.
estos hechos son inofensivos y respetan r: hechos
a todo ser viviente y al medio ambiente, inofensivos y
no habría ningún problema. Pero si los respetan a todo ser
hechos son barbaros o no respetuosos vivo y al medio
con los seres vivientes o el medio ambiente
ambiente, entonces habría que dejar de t: no hay problema
justificarlos o no podríamos e: dignos de nuestro
considerarnos dignos de nuestro tiempo. tiempo.