Alias vers connecteur implication

christophe c
christophe c
dans Fondements et Logique
Le présent fil est juste un alias vers un autre fil: http://www.les-mathematiques.net/phorum/read.php?43,2241078

c'est au cas où des étudiants ou autre se focaliseraient vers la rubrique F&L, cherchant ce sujet et ne le trouveraient pas. Ca me parait pas mal qu'il y ait deux pointeurs d'ailleurs dont un dans shtam puisque ça permet aux shtameurs de "tomber dessus" (ils ont une tendance, parmi d'autres, à violer la définition du signe "=>")


Pour les flemmard(e)s, je rappelle en quelques lignes:

100/ (vrai=>vrai) = (faux=>faux) = vrai du fait que $\forall x: (x\Rightarrow x)=vrai$

101/ (le serpent de mer) : (faux =>vrai) = (faux => (faux et vrai)) = (faux =>faux) = vrai

102/ Rappel: (A=>B) = (A=> (A et B))
Aide les autres comme toi-même car ils sont toi, ils sont vraiment toi

Réponses

  • Foys
    Foys
    pour 102, je préfère $A\Leftrightarrow (A \wedge B)$ ou encore $A=(A\wedge B)$ si le signe égal ne provoque pas de malentendu (c'est compatible avec l'intuitionnisme en plus; dans les topos ils définissent $\Rightarrow$ comme ça parfois).
    Une fonction est un ensemble $f$ de couples tel que pour tous $x,y,z$, si $(x,y)\in f$ et $(x,z)\in f$ alors $y = z$.
Cette discussion a été fermée.

Bonjour!

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

Connexion S'inscrire

Catégories

In this Discussion

Qui est en ligne 5

Cidrolin +4 Invités