A tradução da lógica proposicional clássica na lógica proposicional intuicionista – Parte I