I'd appreciate elaboration on these components of propositional logic. Not only do I not follow the meaning of >& in the adverb's argument, I don't see why
>&2 exists _1 0 2 0 given that >&0 exists _1 0 2 1 >&_1 exists _1 0 2 1 I don't know how to state a conventional there-exists proposition that matches the meaning of any of these examples. -- T On Mon, Apr 5, 2010 at 2:26 AM, Oleg Kobchenko <[email protected]> wrote: > Correction: e. is like "element of" in mathematics, > denoted by ∈. > > "Exists" in mathematics, denoted by upside-down E, > would be a predicate aggregate (Insert) with Or. > > exists=: (+./)@: NB. there exists yy e. y : 1 = u yy > > >&0 exists _1 0 2 > 1 > >&0 exists _1 0 _2 > 0 > > all=: (*./)@: NB. for all yy e. y : 1 = u yy > > >&0 all _1 0 2 > 0 > >&0 all 1 3 2 > 1 > > > ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
