Ciao, amici! $\exists$ è un quantificatore, non una lettera predicativa.
Mi è capitato però di trovare scritto cose del tipo "$f$ si dice analitica quando \(\exists f'(z)\quad\forall z\in G\)" a proposito di funzioni definite in un aperto $G\in \mathbb{C}$.
Usi di questo genere sono da considerarsi di poco rigore o sono perfettamente lecite?
Come si scrive in simboli logici una proposizione "$A$ esiste", come si dice che $A$ è un elemento del'universo di interpretazione considerato?
$\infty$ grazie a tutti!