Différences entre les versions de « Modèle:Déduction »

De Paint
m (1 version importée)
toross>WikiAdmin
Ligne 1 : Ligne 1 :
<includeonly>
<includeonly>
<table style='display: inline-block;border: 0px solid ;margin-top:0.1em; margin-bottom:0.1em;background-color:#D0D0D0;'>
<table style='display: inline-block;border: 0px solid ;margin-top:0.1em; margin-bottom:0.1em;'>
<tr>
<tr>
     <td style='font-family: "Times New Roman", serif; background-color:#FFFFFF;margin-left:1em;padding-left:1em;margin-right:1em;padding-right:1em;;margin-bottom:0em;'>
     <td style='font-family: "Times New Roman", serif; margin-left:1em;padding-left:1em;margin-right:1em;padding-right:1em;;margin-bottom:0em;'>
{{{prémisses}}}<hr style='font-family: "Times New Roman", serif; background-color:black;height: 2px;'/>{{{conclusion}}}
{{{prémisses}}}<hr style='font-family: "Times New Roman", serif; height: 2px;'/>{{{conclusion}}}
     </td>  
     </td>  
</tr>
</tr>

Version du 29 décembre 2022 à 15:42

Version : 1.36.1 2912 (2022-12-29) 20221229154225
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