Différences entre les versions de « Modèle:Déduction »
De Paint
m (1 version) |
m (1 révision importée) |
||
| 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;'> | |||
<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;'> | |||
{{{prémisses}}}<hr style='font-family: "Times New Roman", serif; background-color:black;height: 2px;'/>{{{conclusion}}} | |||
</td> | |||
</tr> | |||
</table></includeonly><noinclude> | |||
{{Model | {{Model | ||
|class=log | |class=log | ||
Version du 2 octobre 2018 à 23:55
Version : 1.36.1 1007 (2018-10-2) 20181002235536
Auteurs :
Arthur Torossian
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 |
