(define digito-f-verd
  (lambda (d-f)
    (cond ((= d-f 0) 0)
          ((= d-f 2) 1)
          ((= d-f 4) 2)
          ((= d-f 6) 3)
          ((= d-f 8) 4)
          ((= d-f 1) 5)
          ((= d-f 3) 6)
          ((= d-f 5) 7)
          ((= d-f 7) 8)
          ((= d-f 9) 9))))

(define falso->verdadeiro
  (lambda (num-falso)
    (letrec ( f->v
              (lambda (f x)
                (if (< f 10)
                    (digito-f-verd f)
                    (falso->verdadeiro (quotient num-falso 10)))))