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.

es decir la proposición (teorema) cuya validez se trata de probar.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. . Estructura de la demostración La demostración consta de tres partes: a) El conocimiento que se trata de demostrar. entonces se le reconoce como válido y es admitido dentro de la disciplina correspondiente. c) Demostración por recursión. Los principales tipos de demostración son: a) Demostración directa. c) El procedimiento usado para lograr que el conocimiento quede demostrado. entre los conocimientos recién adquiridos y el conjunto de los conocimientos anteriores. b) Demostración indirecta. b) Los fundamentos empleados como base de la demostración. La demostración es el enlace. Cuando un conocimiento queda demostrado.

Sign up to vote on this title
UsefulNot useful