Déduction

Version : 1.36.1 4636 (2024-02-7) 20240207161538

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