Sentenças abertas e Quantificadores