Rq6
Question
Donnez une expression qui retourne \(vrai\) si et seulement si on peut voir un film de Bergman à la salle "Gaumont Opéra".
Indice
On notera que l'ensemble résultat contiendra le n-uplet d'arité 0 \(\langle~\rangle\) si la formule logique est vraie, et sera vide sinon.
Solution
\(res=\{ \langle~\rangle \mid \exists x_t, x_s, x_h\ Film(x_t, "Bergman", x_a) \\ \land Film("Gaumont Opera", x_t, x_h)\} \)