Can someone please help me formally translate the sentence "it is impossible for x to exist without y existing as well" into modal logic using ~◇? Or, similarly, the sentence "it is impossible for both x to be the case and not y to be the case." Thank you.

  • Do you have a predicate ‘E’ expressing ‘actually exists’ ? – Mauro ALLEGRANZA Jul 4 '18 at 8:19
  • No but what would that look like? – user34064 Jul 4 '18 at 8:42

I assume that we can treat x and y as constants (i.e. "names") :

~◊ (∃z(z=x) & ~∃w(w=y)).

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.