Untitled

Conceptos básicos

Lógica Matemática

leyes de inferencia lógica

Razonamientos lógicos

Es un lenguaje matemático que abarca las herramientas necesarias por medio de las cuales se puede afirmar o negar un razonamiento matemático,la lógica es la disciplina de la matemática que se encarga de estudiar los razonamientos y demostraciones matemáticas, y de proporcionar las herramientas para ser capaces de inferir una conclusión correcta a partir de unas afirmaciones o proposiciones previas.

Consiste en una función que toma premisas, analiza su sintaxis y devuelve una conclusión

Una regla de inferencia es un esquema para construir inferencias válidas. Estos esquemas establecen relaciones sintácticas entre un conjunto de fórmulas llamados premisas y una aserción llamada conclusión.

Una inferencia puede ser

*Inductiva

*Transductiva

*Abductiva

Permite resolver problemas, extraer conclusiones y aprender de manera consciente de los hechos, estableciendo conexiones causales y lógicas necesarias entre ellos.

En un sentido restringido, se llama razonamiento lógico al proceso mental de realizar una inferencia de una conclusión a partir de un conjunto de premisas. La conclusión puede no ser una consecuencia lógica de las premisas y aun así dar lugar a un razonamiento, ya que un mal razonamiento aún es un razonamiento en sentido amplio, no en el sentido de la lógica.