Index of Ehrenfeucht Fraïssé Games: Words Domain

Click an expression to play one.
(You may need a partner.)

1. ∀x B(j,x)

2. ∃x.B(j,x)

3. ∀x E(x,a)

4. ∃x.E(x,a)

5. ∀x ∀y (B(j,x) & E(j,y))

6. ∃x.∃y.(B(j,x) & E(j,y))

7. ∀x ∃y.E(x,y)

8. ∃x.∀y E(x,y)

9. ∀x ∀y ∃z.(B(z,x) & E(z,y))

10. ∀x ∀y ∃z.((L(x) & L(y)) → (B(z,x) & E(z,y)))