2 ms·

Yes we do. See my edit.

• Brian_K_White 3y ago
  Your edit merely shows that you are not not holding the tool of logic or reason by it's handle. Carry on mystic wanderer.
  • naasking 3y ago
    An unqualified "there is X" translates to an existential quantifier in logic, eg. "there exists an X". This is basic logic translation: https://en.wikipedia.org/wiki/Logic_translation#Problematic_expressions https://en.wikipedia.org/wiki/Logic_translation#Problematic_...