Definicion de Inferencia:

Una inferencia es una evaluación que realiza la mente entre expresiones bien formadas de un
lenguaje, (EBF), que, al ser relacionadas intelectualmente como abstracción, permiten trazar una
línea lógica de condición o implicación lógica entre las diferentes EBFs. De esta forma partiendo de
la verdad o falsedad posible (como hipótesis), o conocida (como argumento) de alguna o algunas
de ellas puede deducirse la verdad o falsedad de alguna o algunas de las otras EBFs.

Reglas de Inferencia:

Algunas de las reglas de inferencia más conocidas son:

En la lógica proposicional:

 Modus ponens
 Modus tollens
 Silogismo hipotético
 Silogismo disyuntivo

En la lógica de primer orden:

 Regla de Generalización universal

En la lógica modal:

 Regla de Necesitación

Tabla de Verdad:

Una tabla de valores de verdad, o tabla de verdad, es una tabla que despliega el valor de
verdad de una proposición compuesta, para cada combinación de valores de verdad que se pueda
asignar a sus componentes.1

Fue desarrollada por Charles Sanders Peirce por los años 1880, pero el formato más popular es el
que introdujo Ludwig Wittgenstein en su Tractatus logico-philosophicus, publicado en 1921.
Metodos de demostración:
METODOS DE DEMOSTRACIÓN

La demostración es un razonamiento o serie de razonamiento que

prueba la validez de un nuevo conocimiento estableciendo sus
conexiones necesarias con otros conocimientos. Cuando un
conocimiento queda demostrado, entonces se le reconoce como válido y
es admitido dentro de la disciplina correspondiente. La demostración es
el enlace, entre los conocimientos recién adquiridos y el conjunto de los
conocimientos anteriores.

Estructura de la demostración
La demostración consta de tres partes:

a) El conocimiento que se trata de demostrar, es decir la proposición

(teorema) cuya validez se trata de probar.

b) Los fundamentos empleados como base de la demostración.

c) El procedimiento usado para lograr que el conocimiento quede

demostrado.

Los principales tipos de demostración son:

a) Demostración directa.

b) Demostración indirecta.

c) Demostración por recursión.