Déduction

Version : 1.36.1 2913 (2024-02-13) 20240213220946

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