Alias vers connecteur implication
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 )
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 )
Aide les autres comme toi-même car ils sont toi, ils sont vraiment toi
Réponses
-
pour 102, je préfère $A\Leftrightarrow (A \wedge $ ou encore $A=(A\wedge $ 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!
Catégories
- 163.1K Toutes les catégories
- 8 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres