You can convert to a single dyadic proof with (the well known, I'm ensuring)
verb~~ > From: Don Guinn <dongu...@gmail.com> > To: programm...@jsoftware.com > Subject: Re: [Jprogramming] Proofs in J > Message-ID: > <CAEcakcOrEg48v=g98kdfagptu3cv0lucjw_xhemx-k9kpqd...@mail.gmail.com> > Content-Type: text/plain; charset=UTF-8 > > Changing the thread. > > No. This is a way to check one's work in deriving a proof. And it is > not > too difficult to convert the tacit expression to explicit then make > the > proof. See example below. Interesting that you chose a monadic test. > Tacit > verb phrases are ambivalent. Therefore there must be two proofs. > Actually, > the monadic form is not an identity. ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
