FOM: Branching quantifiers

[Raatikainen Panu A K]

On 17 Mar 01, at 16:50, Andrzej Trybulec wrote:

> Raatikainen Panu A K wrote:
> 
> >
> > (Ef)(Eg)(x)(z) S(x, f(x), z, g(z)).
> >
> 
> It is rather
>   (x) (y) S(x,F(x),z,G(z))
> 
> isnt't it?
> 
> Andrzej Trybulec
> 

RE: No, my formulation should be correct. Indeed, in your 
"correction", you quantify y but only z occurs in the formula to be 
quantified ????
- Panu