Logica de predicados como modelo de datos

**Predicados**
Pxyzw	el alumno x cursó la materia y en el cuatrimestre z, obteniendo la nota w
Qxyzw	el alumno x rindió el examen integrador de la materia y correspondiente al cuatrimestre z, obteniendo la nota w
Rxyz	el alumno x aprobó la materia y en el cuatrimestre z

**Constantes**
a	Juan López, legajo 143/2
b	Roque Granata, legajo 201/9
c	Agustín Bal, legajo 322/8
d	José de Zer, legajo 128/1
e	Lucas E. Rito, legajo 131/4
f	Introducción a la Programación
g	Organización y Arquitectura I
m	1er cuatrimestre de 2008
n	2do cuatrimestre de 2008

Los hechos pueden describirse mediante estas fórmulas

  Pagm6    (Juan López cursó Orga 1 en el 1ro de 2008 y se sacó 6)
  Pbgm8
  Pcgm2
  Pdfm9
  Pefm5
  Qagm5

La condición de aprobación la puedo definir con esta fórmula

  ∀xyz ((∃w Pxyzw ∧ w ≥ 7) ∨ (∃w Qxyzw ∧ w ≥ 4)) ↔ Rxyz)