Professional Documents
Culture Documents
Lucía López
Rafaela Andrade
Xavier Toapanta Páez
Verano 2015-2106
1 SISTEMAS FORMALES 3
3 BIBLIOGRAFÍA 17
TABLA DE GRÁFICOS
y Teorema.
AXIOMA
Axioma, palabra que surge del griego antiguo que significa “lo que parece justo” (Peter,
s/f). Es decir, que a un axioma en el pasado era considerado como algo “evidente” que se
los axiomas no son más que formulas de un “lenguaje” que son universalmente aceptados,
en otras palabras, son aquellas que son cumplidas en cualquier estructura o, a su vez, por
TEOREMA
Al contrario de los axiomas el teorema es una proposición que puede ser demostrada de
manera lógica a partir de axiomas o de otros teoremas que fueron demostrados con
inferencia (Saharí, 2014). En otras palabra, el teorema no es más que una verdad
partiendo de un supuesto (hipótesis), afirma una verdad (tesis) que no es evidente por sí
CONCEPTO PRIMARIO
Son los conceptos de geometría que no pueden ser definidos, pero pueden ser representados
concretamente, ya que estas son creadas en nuestra mente. Algunos de estos conceptos son
El punto puede tener solo posición, no tiene dimensiones, es decir, no puede ser medido
ya que no tiene altura ni grosor. Estos son representados con letras mayúsculas.
Las líneas son uniones de puntos, estas pueden ser rectas, curvas o mixtas dependiendo de
la organización de los puntos. Si estos siguen una misma dirección, reciben el nombre de
rectas, si estos tienen direcciones diferentes se denominan curvas y las mixtas son la mezcla
de las dos.
DEFINICIÓN
matemática viene dada a partir de la acumulación de ciertas características de un fenómeno matemático, que
se traducen en propiedades que el fenómeno debe cumplir. A diferencia de “definición” en un contexto léxico
donde un concepto se define mediante el análisis de cómo se usa la palabra, definición de un objeto
matemático viene dada por imposición de fundamentos matemáticos previamente estudiados. La definición
definición.
ejemplo de la misma.
Cualquier objeto matemático que cumple con la definición, viene de está lógicamente.
Hay que tener en cuenta, que la definición se puede expresar en diferentes maneras, pero que siempre deben
llegar a los mismos fundamentos lógicos y cumplir las propiedades dadas. La definición como se ha
mencionado previamente es enunciar formalmente con lenguaje matemático lógico la noción de un objeto
matemático, si bien existen definiciones enunciadas para algunos objetos matemáticos, estas no cumplen
1.2 Ilustre con un ejemplo cada uno de los conceptos descritos en la pregunta
1.
AXIOMA
Los axiomas en su gran mayoría son proposiciones sencillas, tales como: Los axiomas de
números reales. Las propiedades algebraicas sobre las dos operaciones de adición y de
multiplicación, propuestas por Richard Dedekind, son axiomas de gran importancia (Peter,
s/f).
𝐴𝑑𝑖𝑐𝑖ó𝑛 (+): 𝑌 𝑎, 𝑏 = 𝑎 + 𝑏
𝑀𝑢𝑙𝑡𝑖𝑝𝑙𝑜𝑐𝑎𝑐𝑖ó𝑛 (. ): 𝑌𝑎, 𝑏 = 𝑎. 𝑏
TEOREMA
Uno de los teoremas, o bien proposiciones, más conocidas fue elaborada por Pitágoras.
Este teorema establece que “en todo triángulo rectángulo, el cuadrado de la longitud de la
hipotenusa es igual a la suma de los cuadrados de las respectivas longitudes de sus catetos”
(Saharí, 2014)..
Un ejemplo de concepto primario son las rectas estas son infinitas porque sus extremos no
oblicuas. Se representan con pares de letras mayúsculas con una línea sobre ellas. La Figura
Otro ejemplo es el plano. “El plano es una superficie infinita” y sin dimensiones. “Es el
límite que separa a un cuerpo del espacio que lo rodea” (Cortes, 2013). Se pueden usar
semirectas y puntos para determinar límites a un plano y darle un nombre. Por ejemplo el
DEFINICIÓN
lim 𝐹(𝑥) = 𝐿
𝑥→𝑐
Es decir que el límite de una función F(x) cuando x tiende a una constante es igual a L. Por lo tanto se puede
acercar lo que más se pueda a C por la izquierda y la derecha, sin que el límite tome el valor preciso de C.
El problema con esta noción informal es el hecho de que el termino “valor preciso” o “acercarse por la
izquierda y la derecha” no es lo suficientemente exacto para ilustrar lo que es límite. Por lo tanto la definición
Este sistema formal consta, como todo sistema formal, de un alfabeto, un conjunto de
El sistema TDB consiste de palabras (teoremas) que pueden ser formadas con el alfabeto
a partir del axioma dado siguiendo las siguientes reglas de inferencia del sistema:
REGLAS
Regla 1
Si se posee una palabra cuya última letra es D se puede añadir una B al último.
Regla 2
Regla 3
Regla 4
-1ER TEOREMA
-2DO TEOREMA
-3ER TEOREMA
axioma inicial.
Si se posee una palabra cuya última letra es D se puede añadir una B al último.
Ahora bien, si a TDB tiene una estructura Tx, donde 𝒙 = 𝑫𝑩 entonces podemos
podemos obtener Txx, se obtendrá la regla TDD. Ahora bien, si se vuelve a aplicar la
regla 2 en el teorema TDD y se asume que x=DD, entonces Txx=TDDDD. Para deducir
el teorema TBDDB, se necesita aplicar por tercera vez la regla 1 al teorema TDDDD,
Al teorema TDDDDDDDD se aplica la regla 3, la cual dice que si DDD aparece en una
palabra se puede reemplazar DDD por B. Por lo tanto, a las 3 primeras y a las 3 últimas
secuencias triples de D´s se las cambiara por B´s en el teorema TDDDDDDDD y por
Deducir B
“T” en el axioma TD es una letra irrelevante, ya que ninguna de las reglas permite quitar,
REGLA 1
“Si se posee una palabra cuya última letra es D se puede añadir una B al último.”
aplicarla al axioma TD una vez. Esta regla no afecta la cantidad de D´s en la palabra pero
sí la cantidad de B´s
REGLA 2
Por otra parte, la regla 2 permite duplicar la cantidad de D´s y/o la cantidad de DB´s en
REGLA 3
Al igual que la regla 2 esta regla permite alterar la cantidad de D´ dentro de un teorema.
No obstante, esta regla al contrario de la 2 permite reducir la extensión del teorema. Tal
y como se puede observar esta regla solo permitirá reducir toda la cantidad de D´s
REGLA 4
la extensión de un teorema en dos letras, si es que este cumple con los requisitos.
C.- Deducir TB
D´s. Primero habrá una D, después 2 D´s, cuatro D´s y así sucesivamente la cantidad de
la aplicación de la tercera regla se podría eliminar todas las D´s. No obstante, dado que 3
no puede dividirse para 2 y dado que 3 no puede dividir para n dada la propiedad de la
El piloto debe mantener una rapidez horizontal constante v a todo lo largo del
descenso.
P(0) = d
d = 0
b) Cuando el avión llega al suelo, deja de moverse en “y”, es decir, su velocidad vertical
es 0. Entonces P’(0) = 0.
P’(0) = c
c = 0
Entonces P’(L) = 0.
3aL2 + 2bL = 0
3aL2 = −2bL
2𝑏𝐿
𝑎=−
3𝐿2
2𝑏
𝑎=−
3𝐿
2𝑏𝐿2
ℎ=− + 𝑏𝐿2
3
𝑏𝐿2
ℎ=
3
3ℎ
𝑏=
𝐿2
Ahora reemplazamos “b” en la última ecuación del literal c) para obtener el valor de “a”
3ℎ
22
𝑎=− 𝐿
3𝐿
6ℎ
𝑎=−
3𝐿3
2ℎ
𝑎=−
𝐿3
2ℎ 3 3ℎ 2
𝑃(𝑥) = − 𝑥 + 2 𝑥 + (0)𝑥 + (0)
𝐿3 𝐿
2ℎ 3 3ℎ 2
𝑃(𝑥) = − 𝑥 + 2𝑥
𝐿3 𝐿
2.2 2. Use las condiciones ii) y iii) para demostrar que:
𝟔𝒉𝒗𝟐
≤𝒌
𝑳𝟐
Sabemos que:
𝑑𝑦 6ℎ 6ℎ
𝑣𝑒𝑙𝑜𝑐𝑖𝑑𝑎𝑑 = P’(x) = = − 3 𝑥2 + 2 𝑥
𝑑𝑥 𝐿 𝐿
derivada de la posición con respecto al tiempo en el eje “x”. De acuerdo a la dirección del
avión el en Gráfico 1, podemos decir que la velocidad en “x” es negativa ya que la distancia
del avión al punto de aterrizaje va disminuyendo cuando pasa el tiempo. Por lo tanto,
sabemos que:
𝑑𝑥
𝑣𝑥 = = −𝑣
𝑑𝑡
con respecto al tiempo en el eje “y”. Entonces, la aceleración vertical se representa como:
𝑑2𝑦
𝑎𝑦 =
𝑑𝑡 2
𝑑𝑦
𝑣𝑦 =
𝑑𝑡
𝑑𝑦 𝑑𝑦 𝑑𝑥
= ∗ (𝑃𝑜𝑟 𝑙𝑎 𝑟𝑒𝑔𝑙𝑎 𝑑𝑒 𝑙𝑎 𝑐𝑎𝑑𝑒𝑛𝑎)(𝑆𝑡𝑒𝑤𝑎𝑟𝑡, 2012, 𝑝. 199)
𝑑𝑡 𝑑𝑥 𝑑𝑡
𝑑𝑦 𝑑𝑥 6ℎ 6ℎ
𝑣𝑦 = ∗ = (− 3 𝑥 2 + 2 𝑥) (−𝑣)
𝑑𝑥 𝑑𝑡 𝐿 𝐿
6ℎ𝑣 2 6ℎ𝑣
𝑣𝑦 = 𝑥 − 2 𝑥
𝐿3 𝐿
Esta ecuación sirve únicamente desde que el avión empieza el descenso, es decir, cuando
x ≤ L.
12ℎ𝑣 2 𝑥 6ℎ𝑣 2
𝑎𝑦 = − + 2
𝐿3 𝐿
6ℎ𝑣 2
≤𝑘
𝐿2
Se despeja L de la ecuación del literal anterior y se reemplazan los valores para obtener la
𝑚𝑖
𝑘 = 860
ℎ2
ℎ = 35000 𝑝𝑖𝑒𝑠
𝑚𝑖
𝑣 = 300
ℎ
1 𝑚𝑖𝑙𝑙𝑎
ℎ = (35000 𝑝𝑖𝑒𝑠| ) = 6.63 𝑚𝑖𝑙𝑙𝑎𝑠
5280 𝑝𝑖𝑒𝑠
6ℎ𝑣 2
√ ≤𝐿
𝑘
6ℎ
𝑣∗√ ≤𝐿
𝑘
6 ∗ 6.63
300 ∗ √ ≤ 64.5 𝑚𝑖𝑙𝑙𝑎𝑠
860
Se reemplazan los datos del ejercicio anterior en la fórmula que obtuvimos en el primer
ejercicio:
2 ∗ 6.63 3 3 ∗ 6.63 2
𝑃(𝑥) = − 𝑥 + 𝑥
64.53 64.52
de https://prezi.com/jd2zjso4xqas/conceptos-primarios-de-geometria/
de 2016 de http://www.icarito.cl/2010/03/102-8675-9-espacio-punto-recta-y-
plano.shtml/
http://www.ecured.cu/Axioma