Formalización de proposiciones, Formalización de inferencias y Análisis de inferencias.

Formalización de proposiciones.

Formalizar una proposición significa abstraer su formula lógica, es decir, relevar se estructura sintáctica a través del lenguaje formalizado de la lógica. En términos más sencillos, formalizar una proposición equivale a representarla simbólicamente.

Formalización de inferencias.

Una inferencia 8razonamiento, deducción, argumentación es una operación lógica que consiste en derivar a partir de la verdad de ciertas proposiciones conocidas como premisas le verdad de otra proposición conocida como conclusión.


Análisis de inferencias.

La lógica es fundamentalmente una teoría de la inferencia, es análisis formal de las inferencias. La lógica es una ciencia formal que estudia la validez de las inferencias. Para decidir su validez la lógica cuenta con procedimientos de varios tipos. Estos procedimientos o métodos pueden agruparse en dos clases: métodos sintéticos y métodos semánticos.