Modèle:Projet particulier : Différence entre versions
De wiki.gentilsvirus.org
| Ligne 1 : | Ligne 1 : | ||
__NOEDITSECTION__ | __NOEDITSECTION__ | ||
| − | |||
| − | |||
| − | |||
== Les [[Propriété formelle|propriété]]s de ''{{#titleparts: {{FULLPAGENAME}} | 1 | 1}}'' voulues par {{#titleparts: {{FULLPAGENAME}} | 1 | 2}} == | == Les [[Propriété formelle|propriété]]s de ''{{#titleparts: {{FULLPAGENAME}} | 1 | 1}}'' voulues par {{#titleparts: {{FULLPAGENAME}} | 1 | 2}} == | ||
{{Liste des propriétés}} | {{Liste des propriétés}} | ||
| Ligne 9 : | Ligne 6 : | ||
== Les conséquences que les propriétés ci-dessus impliquent == | == Les conséquences que les propriétés ci-dessus impliquent == | ||
| − | + | ||
| − | + | ||
{{Liste des conséquences}} | {{Liste des conséquences}} | ||
Version du 28 janvier 2013 à 19:25
Sommaire |
1 Les propriétés de Modèle:Projet particulier voulues par
Modifiez les propriétés existantes en les clarifiant
Argumentez vos modifications
Introduisez sous forme d'une assertion claire et précise, une nouvelle propriété que vous voulez que cette partie de la loi possède
2 Les conséquences que les propriétés ci-dessus impliquent
Introduisez sous forme d'assertion les conséquences impliquées par les propriétés de cette loi
Prouvez ces assertions à partir des propriétés ci-dessus ainsi que celles décrites dans les sous-objets (liens bleus)
| Aide |
3 Définition
Introduisez le texte de la définition de Modèle:Projet particulier conforme aux propriétés ci-dessus
