Subscription pricing
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.
0
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.
3 comments
@akikookmt881 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.
~X-->Y
X-->~Y
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.