« Introduction aux mathématiques/Rudiments de logique » : différence entre les versions
Contenu supprimé Contenu ajouté
Les prédicats sont basés sur la notion d'ensemble qui n'est définie qu'au chapitre suivant. Section Prédicats, quantificateurs déplacée en fin de chapitre Notion d'ensemble. Balise : blanchiment |
wikification |
||
Ligne 1 :
{{Chapitre
| idfaculté
| numéro
| précédent = [[../|sommaire]]
| suivant
| niveau = 14
}}
Ligne 124 :
* <math>\text{non} (P \Rightarrow Q) \Leftrightarrow (P \, \text{et non} \, Q)</math><br />
* <math>(P \Rightarrow Q) \Leftrightarrow (\text{non}\, Q \Rightarrow \text{non} \,P)</math> (c'est la [[w:Proposition contraposée|contraposition]] ou ''modus tollens''.)
{{Bas de page
| idfaculté = mathématiques
| précédent = [[../|sommaire]]
| suivant = [[../Notion d'ensemble/]]
}}
|