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 |
| Rxyz | el alumno x aprobó la materia y en el cuatrimestre z |
| 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 poner con una fórmula
∀x
