input: ∃x P(x)
instruction: Ellenőrizze, hogy a következő mondat jól formázott formula-e
output: Igen, a bemeneti (∃x P(x)) egy jól formázott formula az elsőrendű logikában. A következőképpen hangzik: "Létezik egy olyan x, hogy P(x) igaz", ahol P(x) egy predikátum vagy egy tulajdonság, amelynek az x elemnek meg kell felelnie.