On Tue, Mar 8, 2022 at 6:52 PM Elijah Stone <elro...@elronnd.net> wrote: > The main point is that 1&- is not a consistent extension of logical > negation to the reals, given tolerant comparison.
1&- supports Bayesian logic. (AND is *, OR is *&.-.). Tolerant comparison was introduced to cope with the limitations of the ieee-754 representation. If that domain is not relevant to you, you should probably avoid using the ieee-754 representation (float and/or complex). I hope this helps, -- Raul ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
