Modèle:Liste des conséquences : Différence entre versions
De wiki.gentilsvirus.org
(Page créée avec « __NOEDITSECTION__ <includeonly> {{ #vardefine: i | 1 }}{{ #while: | {{ #ifexist: {{PAGENAME}}/Conséquence_{{ #var: i }} | false}} |<nowiki/> {{Conséquence modifier... ») |
|||
Ligne 1 : | Ligne 1 : | ||
__NOEDITSECTION__ | __NOEDITSECTION__ | ||
<includeonly> | <includeonly> | ||
+ | '''Introduisez''' sous forme d'assertion les conséquences impliquées par les propriétés de cette loi<br> | ||
+ | '''Prouvez ces assertions''' à partir des propriétés ci-dessus ainsi que celles décrites dans les [[Sous-objet d'une loi|sous-objets]] (liens bleus) | ||
{{ #vardefine: i | 1 }}{{ | {{ #vardefine: i | 1 }}{{ | ||
#while: | #while: |
Version du 28 janvier 2013 à 20:25