Différences entre les versions de « Modèle:Schémas Déduction »
De astroWiki
m (1 révision importée) |
m (1 révision importée) |
||
| Ligne 1 : | Ligne 1 : | ||
<includeonly> | <includeonly> | ||
<table style='display: inline-block;border: 2px solid #E8FFE8;margin-top:0.1em; margin-bottom:0.1em;background-color:#FFFFFF;vertical-align:middle;'> | <table style='display: inline-block;border: 2px solid #E8FFE8;margin-top:0.1em; margin-bottom:0.1em;background-color:#FFFFFF;vertical-align:middle;'> | ||
{{# | {{#atIf:{{{3|}}}|<tr><td colspan=2 style='text-align:center;padding-left:0.5em;padding-right:0.5em;'>{{{3}}}</td></tr>|}} | ||
<tr> | <tr> | ||
<td style='background-color:FFFFFF;margin-left:0.1em;padding-left:0.1em;margin-right:0.1em;padding-right:0.1em;font-size:90%'> | <td style='background-color:FFFFFF;margin-left:0.1em;padding-left:0.1em;margin-right:0.1em;padding-right:0.1em;font-size:90%'> | ||
Version du 2 octobre 2018 à 23:55
Version : 1.36.1 750 (2018-10-2) 20181002235557
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 :
| Titre | |||
|
S1. |
|
||
Liens :
| name=S1. | id=ref1 |
N° des compteurs :
| deduction_count | 1 |
Logs :
| counterName=deduction_count num=1 id=ref1 name=S1. |
