On Mon, Apr 11, 2011 at 5:27 PM, Boyko Bantchev <[email protected]> wrote: >> Unless 0=#y (which is explicitly treated), u/y necessarily has _1+#y >> instances of u. This follows immediately from the first sentence at >> http://www.jsoftware.com/help/dictionary/d420.htm > > In my understanding, it doesn't follow. Apparently we have differing > notions of logical deducibility.
I cannot imagine any interpretations which conflict with my statement which do not also conflict with the dictionary entry. But perhaps you can show me one? -- Raul ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
