Does ∃ mean more than 1 or at least 1.?
For my CS class I was wondering if I use ∃ does that mean there has to be more than 1 value that makes it true? For example, the question is "For all values of x (∀) do values of y exist (∃) that make xy=0 true?" I know for only one than it would be "∃!" so then would it be false?
- husoskiLv 71 month ago
It means "at least one". The symbolic logic statement:
(∃y) (xy = 0)
...says "There exists a value y such that xy = 0." The statement only promises one value, but does not rule out multiple values.