RE: [racket-users] Re: recursive definition of a PROPOSITION

Do you mean the following? (define (a) (case (random 6) [(0) (string-append "P" "→" (a))] [(1) (string-append "R" "↔" (a))] [(2) (string-append "T" "∧" (a))] [(3) (string-append "Z" "⊕" (a))] [(4) (string-append "S" "q" (a))] [(5) "" ])) Jos -Original Message-

Re: [racket-users] Re: recursive definition of a PROPOSITION

You are not designing your code. You’re guessing. Is that what you want? > On Feb 19, 2016, at 7:23 AM, Aysenur Türk wrote: > > (define (a) > (case (random 6) >[(0) (string-append "P" (a)"→" )] >[(1) (string-append "R" (a) "↔")] >[(2) (string-append "T" (a)"∧" ) ] >[(3) (str