Can anyone tell me the difference, if any, of NO x is y versus x is NOT y?

tams2018

Tell me if I am translating them into lawgic properly:

No x is y = x ---->/y

X is not y = x ------>/y

Are they the same or are they different?

Help! Very much appreciate.

Seeking Perfection

They are the same, but no x is y will usually have x refer to a group of things.

No aligator ate Jim. A-->¬J
Sally's pet is an alligator. S-->A
You then combine to get Sally's pet didn't eat Jim or S-->¬J

In the other case, x is not y you are just told Sally's pet didn't eat Jim and immediately translate it to S-->¬J. You never get the information that no other gators ate Jim.

lTexlawz

~X-->Y

X-->~Y

akistotle

@tams2018 said:
Tell me if I am translating them into lawgic properly:

No x is y = x ---->/y

This is correct.

X is not y = x ------>/y

I think it depends on the context. I think if it means that X is always not Y, then this is correct.