On Mon, Apr 5, 2010 at 9:20 AM, Tracy Harms <[email protected]> wrote:
> 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

No number greater than 2 exists in the list _1 0 2

> given that
>
>   >&0 exists _1 0 2
> 1

A number greater than 1 exists in the list _1 0 2

>   >&_1 exists _1 0 2
> 1

A number greater than _1 exists in the list _1 0 2

> I don't know how to state a conventional there-exists proposition that
> matches the meaning of any of these examples.

Does the above help?

-- 
Raul
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm

Reply via email to