comenzar con [math] -14 = -14 [/ math] (¿es justo?)
[matemáticas] 4-18 = 49-63 [/ matemáticas]
[matemáticas] 2 ^ 2-2 * 9 = 7 ^ 2-7 * 9 [/ matemáticas]
[matemáticas] 2 ^ 2-2 * 2 * \ frac {9} {2} = 7 ^ 2-7 * 2 * \ frac {9} {2} [/ matemáticas]
- ¿Tomar una introducción formal al curso de lógica puede ayudarme a escribir mejores pruebas en matemáticas o la lógica en filosofía es diferente de la matemática pura?
- ¿Cuáles son los requisitos previos para estudiar cosas como la verificación formal (software y hardware), la teoría del aprendizaje formal, la demostración automatizada de teoremas y los fundamentos de los lenguajes de programación?
- ¿Qué tan centrales son las pruebas y el conocimiento de las técnicas de prueba para el tema de las matemáticas?
- ¿Sería posible codificar el lenguaje de las leyes para que una computadora pueda compilar y luego razonar sobre ellas?
- ¿Por qué es interesante el isomorfismo de Curry-Howard?
agregue [math] (\ frac {9} {2}) ^ 2 [/ math] a ambos lados
[matemáticas] 2 ^ 2-2 * 2 * \ frac {9} {2} + (\ frac {9} {2}) ^ 2 = [/ matemáticas] [matemáticas] 7 ^ 2-7 * 2 * \ frac {9} {2} + (\ frac {9} {2}) ^ 2 [/ matemáticas]
Utilice [math] (ab) ^ 2 = a ^ 2 – 2ab + b ^ 2 [/ math] identidad
[matemáticas] (2- \ frac {9} {2}) ^ 2 = (7- \ frac {9} {2}) ^ 2 [/ matemáticas]
[matemáticas] ({1 + 1} – \ frac {9} {2}) ^ 2 = (7- \ frac {9} {2}) ^ 2 [/ matemáticas]
[matemáticas] ({1 + 1} – \ frac {9} {2}) = \ pm (7- \ frac {9} {2}) [/ matemáticas]
Si toma signo +
[matemáticas] 1 + 1 = 7 [/ matemáticas] 😀
PD: No digas que no puedo usar el signo +, tengo que usar el signo -, hay una falla en esta prueba, bla, bla … Lo sé, amigo, pero si haces preguntas estúpidas / sin sentido, obtén respuestas estúpidas.