[nom] Quantificateur, . Exemple: `Le `quanteur` universel I.6 est un signe logique : une paire de parenthèses avec une variable à l’intérieur ; la partie de formule qui le suit et qui généralement contient cette variable sera délimitée par des parenthèses `ad hoc`, qui serviront à faire reconnaître l’é...