Template:Individual-TLP-paragraph-pt-br-5.52

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 $N({\bar {\xi }})$ = ∼(∃x) . fx.