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.