¿Qué es la prueba por contraposición?

Tabla de contenido:

¿Qué es la prueba por contraposición?
¿Qué es la prueba por contraposición?
Anonim

En matemáticas, la prueba por contraposición, o prueba por contraposición, es una regla de inferencia utilizada en pruebas, donde se infiere un enunciado condicional a partir de su contraposición. En otras palabras, la conclusión "si A, entonces B" se infiere construyendo una prueba de la afirmación "si no B, entonces no A".

¿Cómo se prueba por contradicción?

Los pasos que se siguen para una prueba por contradicción (también llamada prueba indirecta) son:

  1. Suponga lo contrario de su conclusión. …
  2. Use la suposición para derivar nuevas consecuencias hasta que una sea lo opuesto a su premisa. …
  3. Concluya que la suposición debe ser falsa y que su opuesto (su conclusión original) debe ser verdadera.

¿Cómo se demuestra la ley de la contraposición?

"Si llueve, me pongo el abrigo" - "Si no me pongo el abrigo, entonces no llueve". La ley de la contraposición dice que un enunciado condicional es verdadero si, y solo si, su contrapositivo es verdadero.). Esto a menudo se llama la ley de la contrapositiva, o la regla de inferencia del modus tollens.

¿Cómo se prueba el agotamiento?

Para el caso de Prueba por agotamiento, mostramos que un enunciado es verdadero para cada número en consideración. La prueba por agotamiento también incluye pruebas en las que los números se dividen en un conjunto de categorías exhaustivas y se demuestra que la afirmación es verdadera para cada categoría.

¿Cuándo se debe usar una prueba por contradicción?

Las pruebas de contradicción se usan a menudo cuando hay alguna elección binaria entre las posibilidades:

  1. 2 \sqrt{2} 2 es racional o irracional.
  2. Hay un número infinito de números primos o hay un número finito de números primos.

Recomendado:

Articulos interesantes
¿Por qué disyuntor hystrix?
Lee mas

¿Por qué disyuntor hystrix?

Patrón de disyuntor evita fallas en cascada y proporciona un comportamiento predeterminado cuando los servicios fallan. Netflix Hystrix nos permite introducir la tolerancia a fallas y la tolerancia a la latencia aislando las fallas y evitando que caigan en cascada en la otra parte del sistema creando una aplicación distribuida más sólida.

¿Puede lars ulrich hablar danés?
Lee mas

¿Puede lars ulrich hablar danés?

Ulrich nació en Gentofte, Dinamarca en 1963 y se mudó a Los Ángeles a la edad de dieciséis años antes de unirse a la banda de metal. Hablando con Ekstra Bladet de Dinamarca, Ulrich dijo: "Soy cien por ciento ciudadano danés, pago impuestos en los EE.

¿Cómo hacer triple espacio entre párrafos?
Lee mas

¿Cómo hacer triple espacio entre párrafos?

Espaciado triple en su documento Guarde su documento. Presione Ctrl+A para seleccionar todo el documento. Muestra la pestaña Inicio de la cinta. Haga clic en el ícono pequeño en la parte inferior derecha del grupo Párrafo. … En el área Espaciado, seleccione Múltiple en la lista desplegable Espaciado entre líneas.