Dá para dizer isso? A noção de expressividade na lógica proposicional clássica.