Zusammenfassung der Ressource
Métodos de Demostración
- Método por
Construcción
- Consiste en una
técnica para tratar con
proposiciones que
contienen el
cuantificador "existe"
- Método por Selección
- Consiste en una
técnica para tratar
con proposiciones
que contienen el
cuantificador "para
todo"
- Método por Particularización
- Es cuando un predicado
se transforma en una
proposición verdadera
para todos los elementos
de un universo, entonces
es una proposición
verdadera en particular
para cada elemento del
universo.
- Método por Inducción
- Es un razonamiento
que permite
demostrar
proposiciones que
dependen de una
variable "n" que
toma una identidad
de valores enteros.
- Método Contrapositivo
- La contraposición de una
declaración condicional se
forma negando ambos
términos e invirtiendo la
dirección de la inferencia.
- Método Progresivo Regresivo
- Consiste en
trabajar con la
hipótesis y la tesis
de forma
simultanea
obteniendo
afirmaciones
equivalentes a
ambas y de alguna
forma llegar a
vincularlas
logicamente
- Método por Contradicción
- La hipotesis es
verdadera y que
lo contrario de la
tesis es
verdadero, y de
alguna manera
se debe usar esta
información para
obtener una
contradicción a
algo que se sabe
de manera
absoluta que es
verdadera.