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 acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

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