Discrete Mathematics - How to Express the phrase "There is no one who did action y"

1.8k Views Asked by At

Let's say $P(x,y)$ means $x$ sent an e-mail to $y$.

If I want to say that no one has sent a message to Jean, then aren't there multiple ways to do this?

$\neg Ǝx(P(x, Jean))$

But I can also say

$∀x(\neg P(x, Jean))$ Aren't these equivalent? Or am I missing something?

1

There are 1 best solutions below

0
On

Yes. The "negative" of "there is" is the same as "all" who "haven't."