Anonymous asked in Computers & InternetProgramming & Design · 1 month ago

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?

1 Answer

  • 1 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.

Still have questions? Get your answers by asking now.