5.52 Sejam os valôres de ξ todos os valôres de uma função fx para todos os valôres de x, então [math]\displaystyle{ N (\bar{\xi}) }[/math] = ∼(∃x) . fx.