Déduction

Version : 1.36.1 314 (2012-02-15) 20120215003502

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