(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)
        (if (< num-falso 10)
        (digito-f-verd num-falso)
        (falso->verdadeiro (quotient num-falso 10)))))