How does embedding “there exists” (∃) and “for all” (∀) work? [closed]

StackOverflow https://stackoverflow.com/questions/5097667

  •  06-12-2019
  •  | 
  •  

题

I'm wondering how embedding works for "there exists" (∃) and "for all" (∀) in predicate calculus. Specifically, I'm trying to use existential instantiation (EI) and existential generalization (EG) to formally show that ∃x∃y(R(x,y)) --> ∃y∃x(R(x,y)).

Not looking for the whole proof. But some hints as to how embedding works with these entities (and how to get started with the proof) would be a huge help!

Thanks in advance.

有帮助吗？

解决方案

The statement reads "For some x and some y, if there is a relationship between them, then we can deduce that there is a relationship between some x and some y".

Hope that helps a bit

许可以下： CC-BY-SA 和 归因
不隶属于 StackOverflow
scroll top