Schémas Déduction

Version : 1.36.1 323 (2015-08-17) 20150817220222

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 :

<atif a="<tr><td colspan=2 style='text-align:center;padding-left:0.5em;padding-right:0.5em;'>Titre</td></tr>" b="">1=Titre</atif>

S1.	Γ;A ⊢ B Γ ⊢ B Γ;A ⊢ B

↬S1.

Liens :

name=S1.

id=ref1

N° des compteurs :

deduction_count

1

Logs :

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