Aide:Liste des conséquences : Différence entre versions
De wiki.gentilsvirus.org
m (1 version) |
|||
| Ligne 1 : | Ligne 1 : | ||
== Pourquoi décrire les conséquences des propriétés d'un texte ? == | == Pourquoi décrire les conséquences des propriétés d'un texte ? == | ||
| − | Décrire certaines {{Wwf|conséquences des propriétés d'un texte}} permet d'expliciter de nouvelles {{Wwf|propriété}}s qui étaient jusque là implicites. | + | Décrire certaines {{Wwf|conséquences des propriétés d'un texte}} permet d'expliciter de nouvelles {{Wwf|propriété formelle|propriété}}s qui étaient jusque là implicites. |
Une conséquence concerne toutes les propriétés associées à un texte : les siennes propres et aussi celles des {{Wwf|concept}}s avec lesquels les propriétés de ce texte sont construites. | Une conséquence concerne toutes les propriétés associées à un texte : les siennes propres et aussi celles des {{Wwf|concept}}s avec lesquels les propriétés de ce texte sont construites. | ||
Version actuelle en date du 25 mars 2013 à 20:20
Sommaire |
[modifier] 1 Pourquoi décrire les conséquences des propriétés d'un texte ?
Décrire certaines conséquences des propriétés d'un texte permet d'expliciter de nouvelles propriétés qui étaient jusque là implicites.
Une conséquence concerne toutes les propriétés associées à un texte : les siennes propres et aussi celles des concepts avec lesquels les propriétés de ce texte sont construites.
Accessoirement, cela permet de mettre en évidence une contradiction.
[modifier] 2 Créer une nouvelle conséquence
Pour créer une nouvelle conséquence il suffit :
- de cliquer sur le bouton créer un nouvelle conséquence
- d'entrer le texte de la conséquence ainsi que sa preuve (si possible) comme expliqué ici, dans la zone Texte:
- cliquer sur publier pour terminer
Pour voir le nouveau texte dans la page principale, il suffit :
- de cliquer sur le lien le page principale en bleu en haut à gauche
- de cliquer sur réactualiser de l'onglet v, en haut à côté de la fenêtre de recherche du Wiki.
