- Métodos de demostración matemática.
- Definiciones básicas utilizadas en las demostraciones matemáticas.
- Aplicación de reglas de inferencia lógica matemática en la obtención de conclusiones a partir de las premisas dadas.
- Aplicación de los elementos de principio de inducción en la comprobación de una afirmación matemática.
-
3. AXIOMA
Esuna expresión que se acepta o aprueba más allá de la ausencia de una demostración de su
postulado. Se trata de una proposición que no se deduce de otras: es el primer paso para la
demostración de otras fórmulas a partir de un procesodeductivo.
EJEMPLO
4. TIPOS DE AXIOMAS
AXIOMA DE DISTRIBUIDAD
AXIOMA DE PRODUCTO
AXIOMA DE ADICION
AXIOMA DE COMPLETITUD
AXIOMA DE ORDEN
5. LEMA
Se llama lema a la proposición que ha logrado
demostrarse y sirve como axioma, siendo un teorema que
si r ve como base para probar otro teorema, que aún debe
demostrarse.
6. Término utilizado
en matemáticas y lógica par a
designar la evidencia de
un teorema o de
una definición ya demostrados,
sin necesidad de invertir
esfuerzo adicional en su
demostración.
COROLARIO
EJEMPLO
7. HIPÓTESIS
Son el conjunto de afirmaciones adicionales que son añadidas al conjunto de axiomas,
para determinar si la fórmula es deducible del conjunto formado por axiomas e hipótesis
mediante la aplicación de reglas de inferencia.
8. TESIS
Se trata de una proposición o conclusión que se mantiene con razonamientos. La tesis es una
afirmación de veracidad argumentada o justificada cuya legitimación depende de cada ámbito.
9. UN T E O R E M A ES UNA PROPOSICIÓN TEÓRICA,
ENUNCIADO O FÓRMULA QUE INCORPORA UNA
VERDAD, AXIOMA O POSTULADO QUE ES
COMPROBADA POR OTROS CONJUNTOS DE
TEORÍAS O FÓRMULAS.
TEOREM A
11. Modus Ponendo Ponens –MPP:
Modus Tollendo Tollens –MTT:
Modus Tollendo Ponens –MTP:
Regla de simplificación –RS:
Regla de adición –RA:
Regla de silogismo hipotético –RSH:
Regla del dilema constructivo –RDC:
Regla de simplificación disyuntiva –RSD:
Regla de unión o adjunción –RU:
Una inferencia lógica es el
proceso de obtención de
una proposición a partir de
otra u otras proposiciones
dadas, a las cuales se
aplican reglas de
inferencia, de tal manera
que la conclusión sea
consecuencia lógica de las
premisas.
INFERENCIALOGICA
