Déduction

Version : 1.36.1 1507 (2021-09-4) 20210904084842

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