L`objet x a la propriété P(x) s`exprime par une formule du calcul des prédicats. Pour exemples, - Le quantificateur existentiel ∃ est un opérateur de liaison, ou signe mutificateur ; la variable qui suit immédiatement le quantificateur est dite liée, ou muette dans l`expression. Ainsi l`...