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