Buscar
- Filtrar resultados
- Ubicación
- Clasificación
- Incluir datos adjuntos
- https://espanol.libretexts.org/Matematicas/Logica_Matematica_y_Pruebas/Suave_Introducci%C3%B3n_al_Arte_de_las_Matem%C3%A1ticas_(Campos)/06%3A_Relaciones_y_Funciones/6.03%3A_Relaciones_de_equivalenciaLa idea principal de una relación de equivalencia es que es algo así como la igualdad, pero no del todo. Por lo general hay alguna propiedad que podamos nombrar, por lo que esas cosas equivalentes com...La idea principal de una relación de equivalencia es que es algo así como la igualdad, pero no del todo. Por lo general hay alguna propiedad que podamos nombrar, por lo que esas cosas equivalentes comparten esa propiedad. Por ejemplo Albert Einstein y Adolf Eichmann eran dos seres humanos completamente diferentes, si consideras todos los diferentes criterios que se pueden utilizar para distinguir a los seres humanos hay poco que tienen en común.
- https://espanol.libretexts.org/Humanidades/Filosofia/Conjuntos_Logica_Computacion_(Zach)/02%3A_Logica_de_primer_orden/09%3A_Deduccion_natural/9.07%3A_Nociones_te%C3%B3ricas_de_pruebaAsí como hemos definido una serie de nociones semánticas importantes (validez, vinculación, satisfacción), ahora definimos nociones teóricas de prueba correspondientes.
- https://espanol.libretexts.org/Matematicas/Geometria/Geometr%C3%ADa_con_Introducci%C3%B3n_a_la_Topolog%C3%ADa_C%C3%B3smica_(Hitchman)/05%3A_Geometr%C3%ADa_Hiperb%C3%B3lica/5.02%3A_Figuras_de_Geometr%C3%ADa_Hiperb%C3%B3licaEl grupo de transformación euclidiana, E, que consiste en todas las rotaciones y traslaciones (euclidianas), es generado por reflexiones sobre las líneas euclidianas. De igual manera, las transformaci...El grupo de transformación euclidiana, E, que consiste en todas las rotaciones y traslaciones (euclidianas), es generado por reflexiones sobre las líneas euclidianas. De igual manera, las transformaciones en H son generadas por reflexiones hiperbólicas, que son inversiones sobre clinos que intersectan el círculo unitario en ángulo recto. Esto sugiere que estos clinos deberían ser las líneas de geometría hiperbólica.
- https://espanol.libretexts.org/Humanidades/Filosofia/Conjuntos_Logica_Computacion_(Zach)/02%3A_Logica_de_primer_orden/08%3A_El_Calculo_Secuente/8.08%3A_Nociones_te%C3%B3ricas_de_pruebaAsí como hemos definido una serie de nociones semánticas importantes (validez, vinculación, satisfacción), ahora definimos nociones teóricas de prueba correspondientes. Estos no se definen por la apel...Así como hemos definido una serie de nociones semánticas importantes (validez, vinculación, satisfacción), ahora definimos nociones teóricas de prueba correspondientes. Estos no se definen por la apelación a la satisfacción de las sentencias en las estructuras, sino por la apelación a la derivabilidad o no derivabilidad de ciertos secuentes. Fue un descubrimiento importante que estas nociones coincidan. Lo que hacen es el contenido del teorema de solidez e integridad.
