Comparaisons d'implications

Light*
Light*
dans Fondements et Logique
Bonjour à toutes et à tous,

Désolé pour ce titre peu révélateur mais bon. Pouvez-vous m'expliquer la différence entre ces deux implications svp, sachant que $P(a)$ est vraie :
$$ P(n) ~~\Rightarrow ~~ n=ab ~~~~~~~~ P(ab) ~~\Rightarrow ~~ b=1 $$
$$ P(n) ~~\Rightarrow ~~ n=ab ~~~~~~~~ P(ab) ~~\Rightarrow ~~ b \mbox{ n'existe pas } $$

Merci :)

Réponses

  • Shah d'Ock
    Shah d'Ock
    Je devrais peut-être chausser mes bésicles, mais je vois quatre implications ici.
  • Light*
    Light*
    Certes !

    Mais j'en ai mis deux par ligne car elles "vont ensemble".
  • Shah d'Ock
    Shah d'Ock
    J'ai du mal à comprendre comment est quantifié tout ça aussi.
  • Dom
    Dom
    Cela me rassure, je ne comprends pas grand chose non plus.
  • Light*
    Light*
    Ah... Bon je m'explique.

    $a,b$ et $n$ sont des entiers naturels. Je sais que $P(a)$ est vraie. Si on a $P(n)$, alors $n$ est en fait un multiple de $a$ : $n=ab$. Mais $P(ab)$ implique que $b=1$ (un exemple bidon : $ab=a$ implique que $b=1$). Çà c'est pour la première.

    Pour la seconde, on a une autre propriété $P'$ (j'aurais peut-être dû le préciser). Le début est le même, mais $P'(ab)$ implique que $b$ n'existe pas. Or $P'(a)$ est encore vraie !
  • Shah d'Ock
    Shah d'Ock
    M'enfin, 1 n'existe pas?
  • bisam
    bisam
    Je crois que la réponse est simple : Si P et P' sont des prédicats différents, il n'y a (a priori) aucune raison qu'en des mêmes valeurs ils impliquent les mêmes propriétés !
  • Light*
    Light*
    Bah pas forcément...

    Quand je définie $P(n)$ et $P'(n)$ par :
    $$ P(n) : f(n)=c ~~~~~~~~ P'(n) : g(n)=c' $$
    On peut avoir $f(1)=c$ et $g(1)\neq c'$... Tout dépend des fonctions et de ce qu'il y a à droite non ?
  • Shah d'Ock
    Shah d'Ock
    Encore une fois, tu devrais vraiment prendre la peine d'écrire des quantificateurs. Et tu n'a pas répondu à ma question: le nombre 1 n'existe-il donc pas?
  • Light*
    Light*
    Je ne vois pas où il devrait y avoir de quantificateurs, $a,b$ et $n$ sont des nombres entiers. Mais bon, j'ai fait une erreur de calcul donc je vais aller retournez à l'école :-D

    Merci ^^'
  • Shah d'Ock
    Shah d'Ock
    Sont-ils fixés, tes nombres entiers? Ou essayes-tu de définir une propriété sur tous les nombres $n$, avec $a$ et $b$ fixés? Ou encore... ?
Connectez-vous ou Inscrivez-vous pour répondre.

Bonjour!

Pour participer au forum, cliquer sur l'un des boutons :

Connexion S'inscrire

Catégories

In this Discussion

Qui est en ligne 23

BibixMatricule_63Vassilliafm_31stfjzeste +17 Invités