Ejercicio · ZW-DEMOSTRACION-POR-CONTRADICCION-006 · ★★☆ Intermedio
Para probar por contradicción «si \(p\) entonces \(q\)», se supone:
Elige una opción.
Ver respuesta
- C. \(p\) y \(\neg q\)
Explicación
La negación de \(p\Rightarrow q\) es \(p\wedge\neg q\). Se supone eso y se busca un absurdo.
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-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-008 ¿Cuál de estas situaciones es una contradicción válida al final de la prueba?
- 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-005 ZW-DEMOSTRACION-POR-CONTRADICCION-007 →