Quantifier shift

From Wikipedia, the free encyclopedia

A logical fallacy in which the quantifiers of a statement are erroneously transposed.

[edit] Definition

For every A, there is a B, such that C. Therefore, there is a B, such that for every A, C.

\forallx \existsy(Rxy) therefore \existsy\forallx(Rxy)
OR

There is an A, such that for every B, C. Therefore, for every B, there is an A, such that C.

\existsy\forallx(Rxy) therefore \forallx \existsy(Rxy)

[edit] Examples

Every person has a woman that is their mother. Therefore, there is a woman that is the mother of every person.

\forallx\existsy(Px \to (Wy & M(yx)) therefore \existsy\forallx(Wy \to (Px & M(yx))

Everybody has something to believe in. Therefore, there is something that everybody believes in.

\forallx\existsy Bxy therefore \existsy\forallx Bxy