Métodos de Demostración

Question 1

Método Directo

Answer 1

Si la hipótesis sea verdadera la única condición para que la implicación sea verdadera es que la conclusión sea verdadera.

Question 2

Método de prueba directo:

Answer 2

probar que, bajo el supuesto de que la hipótesis es verdadera, la conclusión es verdadera.

Question 3

Método Indirecto

Answer 3

Si la conclusión es falsa la única condición para que la implicación sea verdadera es que la hipótesis sea falsa.

Question 4

Método de prueba indirecto:

Answer 4

para ver que la implicación es verdadera, vea que bajo el supuesto de que la conclusión es falsa la hipótesis es falsa.

Question 5

Reducción al absurdo:
Recuerde la regla de inferencia vista en lógica proposicional:
p→F
∴ ¬p

Answer 5

Es decir, si la suposición de que p sea verdadera lleva a una contradicción (F) entonces p debe ser falsa, es decir ¬p debe ser verdadera.

Question 6

De esto se deriva el método de contradicción:

Para demostrar que p es verdadero, pruebe que el supuesto de que p sea falso lleva a una contradicción lógica.

Answer 6

Reducción a lo absurdo