Ejercicio · ZW-DEMOSTRACION-POR-CONTRADICCION-008 · ★★☆ Intermedio
¿Cuál de estas situaciones es una contradicción válida al final de la prueba?
Elige una opción.
Ver respuesta
- D. Se obtiene un entero que es par e impar a la vez
Explicación
Una contradicción es una afirmación y su negación a la vez (aquí «par» e «impar»). Una igualdad trivial o un resultado verdadero no contradice nada.
Repasa el concepto: Demostración por contradicción
Una demostración por contradicción de un enunciado \(p\) supone que \(p\) es falso y deduce de ello algo absurdo, de modo que \(p\) debe ser verdadero.
\[\neg p\Rightarrow(r\wedge\neg r)\ \therefore\ p\]
Más ejercicios de demostración por contradicción
- ZW-DEMOSTRACION-POR-CONTRADICCION-001 Para probar p por contradicción, el primer paso es:
- ZW-DEMOSTRACION-POR-CONTRADICCION-002 Se quiere probar por contradicción «hay infinitos primos». ¿Qué se supone?
- ZW-DEMOSTRACION-POR-CONTRADICCION-003 Si la lista completa de primos fuera 2,3,5, ¿cuánto vale N=2·3·5+1?
- ZW-DEMOSTRACION-POR-CONTRADICCION-004 Se supone √2=a/b con a/b irreducible y se obtiene a^2=2b^2. ¿Qué se concluye de inmediato?
- ZW-DEMOSTRACION-POR-CONTRADICCION-005 En la prueba de la irracionalidad de √2, ¿dónde está la contradicción?
- ZW-DEMOSTRACION-POR-CONTRADICCION-006 Para probar por contradicción «si p entonces q», se supone:
- ZW-DEMOSTRACION-POR-CONTRADICCION-007 Para probar que la suma de un racional r y un irracional x es irracional, se supone r+x=s con s rac…
- ZW-DEMOSTRACION-POR-CONTRADICCION-009 Para probar que a^2-b^2=2 no tiene soluciones enteras, se supone una solución. Entonces (a-b)(a+b)=…
← ZW-DEMOSTRACION-POR-CONTRADICCION-007 ZW-DEMOSTRACION-POR-CONTRADICCION-009 →