Proszę sprawdzić, czy następujące wyrażenie jest poprawnie sformułowaną formułą logiczną.
∃x P(x)
Tak, fraza jest poprawnie skonstroowaną formułon. Jest to oświadczenie, że istnieje x, dla którego zachodzi P(x).