È questo il punto: i quantificatori non sono una cosa da aggiungere a "conti fatti" o per rifinimento, come se fossero le ultime cose di cui occuparsi.
I quantificatori sono - o meglio quelli che interessano a te - due: $\forall$ (quantificatore universale, "per ogni") e $\exists$ (quantificatore esistenziale, "esiste almeno un"). Comprendi come funzionano e questo esercizio diventa un semplice esercizio. Rivedi le definizioni e ciascun passo. Smonta l'intero esercizio, se necessario.
Testo nascosto, perché contrassegnato dall'autore come fuori tema. Fai click in quest'area per vederlo.
Non insegnano più quei tre rudimenti di logica?