es9

(define (both P)
  (lambda (a b)
    (and (P a)
         (P b) )))

(define (compose f g)
  (lambda (x)
    (f (g x))))

(define (neither P)
  (both (compose not P)))


;;esempio:
;;> ((neither not) #t #t)
;;true


;;both e' totale poiche' restituisce sempre un predicato. L'induzione qui non c'entra.