LI2013: Tableros semánticos de primer orden y equivalencias lógicas

PorJosé A. Alonso

En la primera parte de la clase de hoy del curso Lógica Informática se ha presentado un nuevo sistema deductivo: los tableros semánticos de primer orden como ampliación del presentado en el tema 3 para la lógica proposicional.

En la segunda parte, se ha demostrado por deducción natural las principales equivalencias en lógica de primer orden. Además, se ha mostrado cómo hacer las demostraciones en Pandora como se muestra en este vídeo.

Las transparencias de esta clase son las finales del tema 8 y las del tema 9 que se muestran a continuación
Read More “LI2013: Tableros semánticos de primer orden y equivalencias lógicas”

LI2013: Deducción natural en lógica de primer orden (2)

PorJosé A. Alonso

En la clase de hoy del curso Lógica Informática se ha continuado el estudio de la deducción natural en lógica de primer orden. Se han comentado distintas equivalencias lógicas y se han demostrado por deducción natural y mediante tableros semánticos las siguientes equivalencias:

  • ¬∀xP(x) ≡ ∃x¬P(x)
  • ∀x(P(x) ∧ Q(x)) ≡ ∀xP(x) ∧ ∀xQ(x)

Las transparencias de esta clase son las páginas 14 a 20 del tema 8 que se muestran a continuación
Read More “LI2013: Deducción natural en lógica de primer orden (2)”

LI2013: Semántica de la lógica de primer orden

PorJosé A. Alonso

En la clase de hoy del curso Lógica Informática se ha completado el estudio de la semántica de la lógica de primer orden introduciendo los conceptos de consistencia, consecuencia lógica y equivalencia. Se ha explicado la metodología de búqueda semántica de modelos y contramodelos.

Las transparencias de esta clase son las páginas 35 a 45 del tema 7:
Read More “LI2013: Semántica de la lógica de primer orden”