Différences entre les versions de « Modèle:Schémas Déduction »
De Wikip
m (1 version) |
|||
| Ligne 5 : | Ligne 5 : | ||
|}</includeonly><noinclude> | |}</includeonly><noinclude> | ||
{{Model | {{Model | ||
|class=log | |||
|texte=Ce modèle sert a définir des paragraphes de type déduction. | |texte=Ce modèle sert a définir des paragraphes de type déduction. | ||
|auteurs=Arthur Torossian | |auteurs=Arthur Torossian | ||
Version du 3 décembre 2013 à 12:07
Version : 1.36.1 904 (2013-12-3) 20131203120713
Auteurs :
Arthur Torossian
Résumé :
Ce modèle sert a définir des paragraphes de type déduction.
{{Schémas_Déduction|texte|id|[titre]}}
- texte
- id
- l'id est un identifiant unique dans la page.
- [titre]
- Le titre de la déduction.
Exemple :
{{Schémas_Déduction|{{Déduction|prémisses= |conclusion=Γ;A ⊢ B}} {{Déduction|prémisses=Γ ⊢ B|conclusion=Γ;A ⊢ B}}|ref1|Titre}}
{{clink|ref1}}
donnera :
| S1. | <atif a="Titre<br/>" b=""> Titre </atif>
|
Liens :
| name=S1. | id=ref1 |
N° des compteurs :
| deduction_count | 1 |
Logs :
| counterName=deduction_count num=1 id=ref1 name=S1. |
