Quel est le nombre maximum de routes que le gouvernement_2

[Turbo]

Pour un entier , Literal Lily écrira au tableau une expression longue de symboles. Il commence par un symbole ou , puis l'une des variables ou , puis une autre de ces variables, etc. À la fin, elle aura écrit chaque variable exactement une fois. Elle va maintenant ajouter à la fin de l'expression, représentant une formule dans les variables . Supposons qu'il y ait des déclarations logiquement différentes que Literal Lily puisse écrire. Trouver le degré minimal d'un polynôme interpolant les points Notez que . Deux déclarations sont logiquement différentes s'il existe un prédicat qui en rend une vraie et une fausse.

[Turbo]

n'importe qui???

[Ben314]

Salut,
En ce qui me concerne, je ne comprend rien à l'énoncé.
- Au début du texte, l'entier semble fixé, sauf qu'il apparaît ensuite dans la liste des variables qui peuvent suivre un quantificateur (universel ou existentiel).
- Je ne comprend pas ce que c'est que ces ou intercallés entre les quantificateurs. Je suppose que c'est des "ET" et des "OU" (inclusifs), sauf que je ne vois pas quel sens ça peut avoir si on place de tels connecteurs entre deux quantificateurs.