Quantificador universal e condição universal