Schémas Déduction

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.

{{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:Titre||}}

Titre
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.