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)\} \)