Logica Formal

Introducción

Educación en Grecia dividida en tres materias (Retorica, Gramática, Lógica) Trívium.

Verdad y Lógica:
¿Qué es la verdad?:
Es lo opuesto a la mentira, aquello que concuerda conla realidad.
Mentir es un acto racional (característica de seres racionales).
Otto Bismal: Nunca se dicen tantas mentiras como antes las elecciones, durante la guerra y luego de una fiesta.Ciencia Formal y Fáctica:
Fáctica = Natural ; habla de los hechos.
Importante la concordancia con los hechos (factos).
Ciencias Formales = Lógica y Matemática, creaciones de la humanidad (creacionesabstractas).
Razonamiento Lógico juzga a la verdad.
Ciencias Naturales no existe la verdad absoluta , solo la búsqueda de una verdad parcial hasta que sea mejorada. (Hipótesis que concuerde con loshechos).
Lógica es la formalización del método racional (Construir razonamientos)
Surgimiento del pensamiento matemático.

Pensamiento Matemático:
Pensamiento formal que define axiomas
Axioma =Verdad asumida (Ejemplo geometría Euclidiana).
Teoremas son formados por varios axiomas

Propiedades de los axiomas.-
- Consistencia = Que los axiomas no permitan encontrar que algo es verdad y sunegación igual sea verdad
- Solidez = Lo que se prueba es verdadero
- Exhaustividad (Completitud) = Cualquier verdad pueda ser deducida de a partir de los axiomas


Automatización delRazonamiento:
Problema 1) Xavier es tres veces mayor que Yolanda, si sumamos las edades de Xavier y Yolanda es 12 R:(9,3)

Si a la Mary le gusta el pan entonces le gusta el queso (1)
Si es lunes y llueve aMary le gusta el pan o el queso (2)
¿Si es lunes y llueve a Mary le gusta el queso? (3)
p  q (1)
m ^ r  p | | q (2)
m ^ r  q| | q
m ^ r  q (3)

Tecnología Lógica:
Lenguajes deLógica/Programación:
Bases de conocimientos (Verdad y comparaciones)
KIF
Prolog
Sistemas Computacionales Deductivos
Vampire



Aspectos Administrativos:

1. Calculo Proposicional (Informal):...