Quantificador existencial. Condição possível e condição impossível