¿Qué regla matemática dice que si [matemática] A = B [/ matemática] y [matemática] B = C [/ matemática], entonces [matemática] A = C [/ matemática]?

¿Qué regla matemática dice que si [matemática] A = B [/ matemática] y [matemática] B = C [/ matemática] , entonces [matemática] A = C [/ matemática] ?

La igualdad es una de las relaciones de equivalencia más fundamentales, lo que significa que tiene tres propiedades clave:

  1. Reflexivo : para todos [matemática] A \ colon A = A [/ matemática]
  2. Simétrico : para todos [matemática] A, B \ colon A = B [/ matemática] si y solo si [matemática] B = A [/ matemática]
  3. Transitivo : para todos [matemática] A, B, C \ colon A = B [/ matemática] y [matemática] B = C [/ matemática] implica [matemática] A = C [/ matemática]

Entonces, la “regla” que busca es la propiedad transitiva de la igualdad.

Estas propiedades de igualdad son casi fundamentales para cualquier lógica de primer orden, aunque precisamente lo que usted considera fundamental se convierte en una cuestión de filosofía en ese momento.

Como está pidiendo una regla matemática, la respuesta sería que es una consecuencia del cuarto de los axiomas de Peano:

Si [matemáticas] S (A) = \ alpha [/ matemáticas] y [matemáticas] S (B) = \ alfa [/ matemáticas] entonces [matemáticas] A = B [/ matemáticas].

Una consecuencia obvia es que si [matemática] S (C) = \ alpha [/ matemática], entonces [matemática] B = C [/ matemática] y [matemática] A = C [/ matemática]

En un lenguaje común, pensarías en [matemáticas] S (A) [/ matemáticas] como [matemáticas] A + 1 [/ matemáticas].

¿Puedo recomendar la Introducción de Russel a la Filosofía Matemática si quiero profundizar más en esto?

Esta es la primera de las “nociones comunes” de Euclides. Vea Elementos de Euclides, Nociones comunes para una excelente explicación de David Joyce.

Se llama la propiedad transitiva.

También se puede aplicar a otras relaciones como,

>, o <, o, "es paralelo" a las relaciones transitivas.

No funciona para todas las relaciones,

P.ej ; “Es perpendicular a” no es una relación transitiva.

Se llama ley transitiva.

Lea más sobre esto aquí.

More Interesting

¿Es una prueba matemática de que si A = 0 y B = 0, entonces A = B?

Matemáticos, ¿cuál es su opinión sobre el constructivismo matemático?

¿Cuál es el significado de los monoides en la teoría de categorías?

Si [math] 100 \ circ200 = 12, 200 \ circ400 = 10, 300 \ circ600 = 12 [/ math] y [math] 400 \ circ800 = 13 [/ math] entonces cuál es el valor de [math] 500 \ circ900 [/matemáticas] ?

Cómo obtener información sobre los mejores profesores para JEE Maths en Patna

¿De qué manera se pueden organizar 4 hombres y 3 mujeres en una mesa redonda si las 3 mujeres nunca se sientan juntas?

¿Cómo y cuándo te diste cuenta de qué rama de las matemáticas era la que más te gustaba?

¿Las personas con un alto coeficiente intelectual no necesitan practicar matemáticas para "entenderlo"? (Siempre y cuando conozcan las leyes, normas, etc.)

¿Qué equivale a $ 8.98 más 10% igual?

Cómo calcular la cuarta raíz de -16 y trazarla en un diagrama de diagrama

¿Por qué es 0 plural?

Cómo encontrar [matemáticas] \ sum_ {r = 0} ^ {n} {n \ elegir r} \ left (\ cos {r \ theta} \ right) [/ math]

¿Hay algo de cierto en la historia sobre un doctorado en matemáticas que escribió una tesis sobre objetos que no pueden existir?

Si [math] \ dfrac {7 + x} {14 + x + y} = \ dfrac {3} {8} [/ math] y [math] x + y \ gt 0 [/ math], ¿cómo muestro que cada par de enteros que admite esto viene dado por [math] (3n + 2, 5n + 8) [/ math] donde n es cualquier entero mayor que -1?

¿Cómo se puede entender la ley de la oferta en un sentido intuitivo?