Dénuméablement de nombreux types d'isomorphisme

cs.stackexchange https://cs.stackexchange.com/questions/24645

  •  31-10-2019
  •  | 
  •  

Question

Computabilité et logique par Boolos et Burgess dit que la formule $ gamma_d $ dans l'exemple 12.12

∀x∀y(∃u(u ≠ x ∧ u ≡ x) ∧ ∃v(v ≠ y ∧ v ≡ y)) → x ≡ y)

prend en charge les modèles, dont le domaine est partitionné en classes d'équivalence de toute taille, par exemple

enter image description here

est possible. Pourtant, je ne comprends pas comment cela est possible. Supposons que mon X soit le premier point. Ensuite, je peux vous trouver, qui est le deuxième point. De même, Soit Y le premier point de la deuxième classe d'équivalence et un autre point V est dans son compagnon dans la classe Eqivalence. La formule dit que X et Y doivent être dans la même classe d'équivalence. Mais ils ne le sont évidemment pas!

Essaient-ils de me tromper?

Pas de solution correcte

Licencié sous: CC-BY-SA avec attribution
Non affilié à cs.stackexchange
scroll top