Déduction

Version : 1.36.1 867 (2013-12-5) 20131205081124

Auteurs :

Arthur Torossian

Résumé :

Ce modèle sert a définir une déduction.

{{Déduction|prémisses=|conclusion=}}

prémisses

conclusion

Exemple :

{{Déduction|prémisses=Γ ⊢ A<br/>Γ ⊢ A ⇒ B <br/>|conclusion=Γ ⊢ B}}
 

donnera :

Γ ⊢ A Γ ⊢ A ⇒ B Γ ⊢ B