Mutifier

Définitions de « mutifier »

Mutifier - Verbe

• (Mathématiques) Convertir une variable libre en une variable muette en l'associant à des propriétés spécifiques.

  La variable x est muette : elle est mutifiée par le quantificateur .

Sources et ressources complémentaires

• Définitions du Wiktionnaire