Template:Individual-TLP-paragraph-fr-5.52
5.52 Si les valeurs de ξ sont l'ensemble des valeurs d'une fonction fx pour toutes les valeurs de x, alors = ~(∃x) . fx.
5.52 Si les valeurs de ξ sont l'ensemble des valeurs d'une fonction fx pour toutes les valeurs de x, alors = ~(∃x) . fx.