Différences entre les versions de « Modèle:Schémas Déduction »
De Wikip
m (1 révision importée) |
|||
| Ligne 14 : | Ligne 14 : | ||
|class=log | |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= | |auteurs= | ||
|syntaxe=<nowiki>{{Schémas_Déduction|texte|id|[titre]}}</nowiki> | |syntaxe=<nowiki>{{Schémas_Déduction|texte|id|[titre]}}</nowiki> | ||
|specification= | |specification= | ||
Version du 14 janvier 2019 à 20:41
Version : 1.36.1 2450 (2019-01-14) 20190114204120
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 :
| Titre | |||
|
S1. |
|
||
Liens :
| name=S1. | id=ref1 |
N° des compteurs :
| deduction_count | 1 |
Logs :
| counterName=deduction_count num=1 id=ref1 name=S1. |
