;; Implement (implies pa to return "pimplies q" (if p, then q): ripap implies a ;; TTT ;; IF IF ;; FTIT ;; FF IT ;; Type signature: (implies boolean boolean) -> boolean (define (implies p q) ("Replace everything in these parentheses with your code")) ;; Implement (implies pa to return "pimplies q" (if p, then q): ripap implies a ;; TTT ;; IF IF ;; FTIT ;; FF IT ;; Type signature: (implies boolean boolean) -> boolean (define (implies p q) ("Replace everything in these parentheses with your code"))