Modèle logique des prédicats

[CurryDoux]

À toi de voir

Il me semble que oui parce pour ce qui est des entiers naturels, il n'existe pas de dernier élément, et donc il existe toujours un élément y de telle sorte que l'on ait : Rxy.
Deuxièmement cette relation n'est pas réflexive.
Et troisièmement, cette relation est transitive puisque si par exemple 3<4 et 4<5, alors 3<5.

[GaBuZoMeu]

D'accord, tu prends x<y comme interprétation de Rxy.

[CurryDoux]

D'accord, tu prends x<y comme interprétation de Rxy.

Euh je suis en train de me dire que ça ne marche peut être pas avec l'infériorité car il y a bien un premier élément. Par contre avec la supériorité il me semble que cela fonctionne par que pour tout x, il y a toujours un élément y qui est supérieur à lui.

[GaBuZoMeu]

Est-ce que tu ne serais pas en train de mélanger ta gauche et ta droite ?

Plutôt que de parler d'infériorité et de supériorité, écris plutôt x<y ou x>y, comme ça on verra mieux qui est plus petit que qui.

[CurryDoux]

Est-ce que tu ne serais pas en train de mélanger ta gauche et ta droite ?

Plutôt que de parler d'infériorité et de supériorité, écris plutôt x<y ou x>y, comme ça on verra mieux qui est plus petit que qui.

Haha malheureusement c'est possible que je mélange ma droite et ma gauche.

Ce que je veux dire, c'est qu'il me semble que dans les entiers naturels, pour tout x il existe un y tel que x < y.

[GaBuZoMeu]

Ça, je suis bien d'accord.