Está en la página 1de 1

Teoría de la demostración matemática

Logica clasica Definición Demostración


directa
Principio de inducción

Juicio Historia matemática


Demostración
de la La inducción a
trivial

Inferencia lógica saltos


Demostración
indirecta
Verdad Demostración por
Demostración Demostración contrarreciproca :
Lógica Binaria
vacía(prueba por por
vacuidad)
Lógica difusa **lógica contradicción

Conjunción Identificación de premisa y la


Demostración de la tabla de verda conclusión
Lógica proposicional Disyunción utilizando los conectivos logicos
Condicional validación de un
Conectivos Lógicos
argumento
Bi-condicional
Disyunción
exclusiva Negación

También podría gustarte