help me to correct my exercise on nested quantifier

Printable View