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 | <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 | <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 | {{{prémisses}}}<hr style='font-family: "Times New Roman", serif; height: 2px;'/>{{{conclusion}}} | ||
</td> | </td> | ||
</tr> | </tr> | ||
Version du 29 décembre 2022 à 14:42
Version : 1.36.1 2912 (2022-12-29) 20221229144225
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 |
