Fonaments de la matemàtica. Resums, exercicis i problemes

摘要: -Commutativitat. a)∀ x∀ yP (x, y) és equivalent a∀ y∀ xP (x, y). b)∃ x∃ yP (x, y) és equivalent a∃ y∃ xP (x, y). c) En general, l’expressió∀ x∃ yP (x, y) i l’expressió∃ y∀ xP (x, y) no són equivalents. Concretament, sempre es pot deduir que∀ x∃ yP (x, y) a partir de∃ y∀ xP (x, y), però en general no es pot deduir∃ y∀ xP (x, y) a partir de∀ x∃ yP (x, y).