Schémas Déduction

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>   Γ;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.