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)/03%3A_T%C3%A9cnicas_de_Prueba_I/3.05%3A_Pruebas_a%C3%BAn_m%C3%A1s_directas%2C_por_casos_y_por_agotamientoLa prueba por agotamiento es el método de prueba menos atractivo desde una perspectiva estética. Una prueba exhaustiva consiste en verificar literal (y exhaustivamente) cada elemento del universo para...La prueba por agotamiento es el método de prueba menos atractivo desde una perspectiva estética. Una prueba exhaustiva consiste en verificar literal (y exhaustivamente) cada elemento del universo para ver si la afirmación dada es cierta para ello. Por lo general, por supuesto, esto es imposible porque el universo del discurso es infinito; pero cuando el universo del discurso es finito, ciertamente no se puede argumentar la validez de una prueba exhaustiva.
- https://espanol.libretexts.org/Matematicas/Logica_Matematica_y_Pruebas/Suave_Introducci%C3%B3n_al_Arte_de_las_Matem%C3%A1ticas_(Campos)/03%3A_T%C3%A9cnicas_de_Prueba_I/3.02%3A_Pruebas_m%C3%A1s_directasAl crear una prueba directa, necesitamos mirar nuestras hipótesis, considerar la conclusión deseada y desarrollar una estrategia para transformar A en B. Muy a menudo te resultará fácil hacer varias d...Al crear una prueba directa, necesitamos mirar nuestras hipótesis, considerar la conclusión deseada y desarrollar una estrategia para transformar A en B. Muy a menudo te resultará fácil hacer varias deducciones de las hipótesis, pero ninguna de ellas parece ir en dirección a la conclusión deseada. El consejo habitual en esta etapa es “Intenta trabajar hacia atrás desde la conclusión”.
- https://espanol.libretexts.org/Matematicas/Logica_Matematica_y_Pruebas/Suave_Introducci%C3%B3n_al_Arte_de_las_Matem%C3%A1ticas_(Campos)/03%3A_T%C3%A9cnicas_de_Prueba_I/3.01%3A_Pruebas_directas_de_declaraciones_universalesGeneralmente, lo primero que hay que hacer para probar una declaración universal es reformularla como condicional. La sentencia resultante es una Declaración Condicional Universal o un SCP. El motivo ...Generalmente, lo primero que hay que hacer para probar una declaración universal es reformularla como condicional. La sentencia resultante es una Declaración Condicional Universal o un SCP. El motivo para dar este paso es que entonces las hipótesis quedarán claras —forman el antecedente de la UCS—. Entonces, si bien realmente no habrás avanzado en la prueba tomando este consejo, al menos sabrás qué herramientas tienes a mano.
