TEMA 2: Lógica  

Lógica

Tipo de ciencia formal

Lenguaje Natural

Lenguaje que una comunidad de hablantes utiliza habitualmente para comunicarse. Tiene conceptos ambiguos y se construye de forma involuntaria a lo largo del tiempo.

Lenguaje Artificial

Lenguaje que una comunidad no utiliza habitualmente para comunicarse. Tiene conceptos concretos y se construye de manera voluntaria.

Argumento

Conjunto de enunciados done deducimos una o mas oraciones a partir de otras

Premisas

Enunciados y oraciones desde las cuales deducimos

Conclusión

Resultado u oración que deducimos

Verdad

Un enunciado es verdadero cuando se corresponde con la realidad

Validez

Un argumento es válido cuando de las premisas se deduce correctamente la conclusión

Contenido

Es en un enunciado su correspondencia con la realidad

Forma

Tiene que ver con la validez de ese argumento

Definición de lógica

Ciencia formal que estudia los principios de inferencia formalmente válidos

Variable

Una variable es una letra que utilizamos para simbolizar o representar un enunciado del lenguaje natural

Tabla de verdad

Consiste en una tabla  donde representamos los posibles valores de verdad que tenemos para uno o más enunciados

Contradicción

Cuando una fórmula da en su tabla de verdad todos los valores F

Consistencia

Cuando el resultado es un número determinado de V y F

Tautología

Cuando el resultado da todo V