Logica de predicados como modelo de datos
From Ibbddunq
| 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 |
| Rxy | el alumno x aprobó la materia y en el cuatrimestre z |
