« Implication et équivalence/Contraposées » : différence entre les versions
Contenu supprimé Contenu ajouté
m Robot : Remplacement de texte automatisé (- *\|\s?leçon\s*=\s?\[\[([^\]]*)\]\] + | leçon = ../) |
m Robot : Remplacement de texte automatisé (- *\{\{[Dd]éfinition\n?\s*\|\s*titre\s*=\s*([^\|]*)\s*\|\s*contenu\s*=\s* +{{Définition\n | titre = \1\n | contenu =\n) |
||
Ligne 11 :
Soit '''''p''''' et '''''q''''' deux propositions.
{{Définition
| titre = Contraposée | contenu = Si <math>p \Rightarrow q</math>, alors <math>\overline q \Rightarrow \overline p</math>
}}
| |||