Yes - that's why I'm not sweating this - but shouldn't

   A -: A

be the same as

   -:~A

or am I mis-understanding -:~ ?

Just trying to get my tautologies straight....


On Fri, Jul 1, 2011 at 6:57 AM, Raul Miller <[email protected]> wrote:

> On Fri, Jul 1, 2011 at 6:52 AM, Devon McCormick <[email protected]>
> wrote:
> > This seems inconsistent:
> >
> >   _. -: _.
> > 0
> >   -:~_.
> > 1
> >
> > Is the latter special-cased?
> >
> > I guess this re-enforces the advice (on
> > http://www.jsoftware.com/jwiki/Essays/Indeterminate) that _. "should be
> > removed...as soon as possible".
>
> _. is inconsistent, by definition.
>
> --
> Raul
> ----------------------------------------------------------------------
> For information about J forums see http://www.jsoftware.com/forums.htm
>



-- 
Devon McCormick, CFA
^me^ at acm.
org is my
preferred e-mail
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm

Reply via email to