Différences entre les versions de « Modèle:Déduction »
De Paint
m (1 révision importée) |
m (1 version importée) |
||
| (4 versions intermédiaires par 2 utilisateurs non affichées) | |||
| 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> | ||
| Ligne 10 : | Ligne 10 : | ||
|class=log | |class=log | ||
|texte=Ce modèle sert a définir une déduction. | |texte=Ce modèle sert a définir une déduction. | ||
|auteurs= | |auteurs= | ||
|syntaxe=<nowiki>{{Déduction|prémisses=|conclusion=}}</nowiki> | |syntaxe=<nowiki>{{Déduction|prémisses=|conclusion=}}</nowiki> | ||
|specification= | |specification= | ||
Version actuelle datée du 13 février 2024 à 22:09
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 |
