Completitud de la logica proposicional.