Robert wrote: " Hey Raul, I thought that he had defined it, but perhaps I was confused about what the line below meant.
Cheers, bob On May 3, 2014, at 4:43 PM, Raul Miller <[email protected]> wrote: >> 'X Y'=. 'X' ; 'Y' " Right, that line defines the values of X and Y literally as their own pronouns. Thus, X X Y Y I wrote: "PS. J experts: I would appreciate if you point out any errors that you might find." Please, no one should underestimate himself or herself. In other words, anyone that can find a mistake in the tautologies on page three of the Cheatsheet is an expert in my opinion :) Symbolic verbs and nouns are useful for exploring general behavior of adverbs and conjunctions but proceed with caution. Here there is some food for thought... (X&(u @: v) -: u @: (X&v)) Y 1 X&(u @: v) Y (u (X v Y)) u @: (X&v) Y (u (X v Y)) (X&(u @: v)inv -: u @: (X&v)inv) Y |domain error | (X&(u@:v)inv-:u@:(X&v)inv)Y |[-6] u @: (X&v)inv Y (X v^:_1 (u^:_1 Y)) X&(u @: v)inv Y |domain error | X&(u@:v)inv Y |[-2] (i.999) (X&(u @:v) -: u @: (X&v)) Y 0 (i.4) X&(u @: v) Y Y (u (X v Y)) (u (X v (u (X v Y)))) (u (X v (u (X v (u (X v Y)))))) (i.4) u @: (X&v) Y ((((((((((((((((((( u Y (X v Y) (X v (X v Y)) (X v (X v (X v Y))) ))))))))))))))))))) (i.4) (X&v) Y Y (X v Y) (X v (X v Y)) (X v (X v (X v Y))) On Sat, May 3, 2014 at 7:47 PM, robert therriault <[email protected]>wrote: > Hey Raul, > > I thought that he had defined it, but perhaps I was confused about what > the line below meant. > > Cheers, bob > > On May 3, 2014, at 4:43 PM, Raul Miller <[email protected]> wrote: > > >> 'X Y'=. 'X' ; 'Y' > > ---------------------------------------------------------------------- > For information about J forums see http://www.jsoftware.com/forums.htm > ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
