Différences entre les versions de « Modèle:Schémas Déduction »

Version du 3 octobre 2018 à 00:55

Version : 1.36.1 1043 (2018-10-3) 20181003005557

Auteurs :

Arthur Torossian

Résumé :

Ce modèle sert a définir des paragraphes de type 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.

Γ;A ⊢ B

Γ ⊢ B

Γ;A ⊢ B

Liens :

name=S1.

id=ref1

N° des compteurs :

deduction_count

1

Logs :

counterName=deduction_count num=1 id=ref1 name=S1.

@@ Ligne 1 : / Ligne 1 : @@
-<includeonly>{| style='display: inline-block;border: 0px solid green;margin-top:0.1em; margin-bottom:0.1em;background-color:#E8FFE8;vertical-align:middle;'
+<includeonly>
-|-
+<table style='display: inline-block;border: 2px solid #E8FFE8;margin-top:0.1em; margin-bottom:0.1em;background-color:#FFFFFF;vertical-align:middle;'>
-|style='background-color:#E8FFE8;margin-left:0.1em;padding-left:0.1em;margin-right:0.1em;padding-right:0.1em;font-size:90%'| {{#atcount:deduction_count|S|.|{{{2|}}}}}
+{{#atIf:{{{3|}}}|<tr><td colspan=2 style='text-align:center;padding-left:0.5em;padding-right:0.5em;'>{{{3}}}</td></tr>|}}
-|style='width:expand'| {{#tag:atIf| {{{3|}}} |a={{{3}}}<br/>|b= }} {{{1}}}
+<tr>
-|}</includeonly><noinclude>
+  <td style='background-color:FFFFFF;margin-left:0.1em;padding-left:0.1em;margin-right:0.1em;padding-right:0.1em;font-size:90%'>
+{{#atcount:deduction_count|S|.|{{{2|}}} }}
+  </td>
+  <td style=''>
+{{{1}}}
+  </td>
+</tr>
+</table></includeonly><noinclude>
 {{Model
 |class=log