https://at.bht.fr/astroWiki/index.php?action=history&feed=atom&title=Mod%C3%A8le%3AD%C3%A9duction 2026-04-14T11:27:54Z Historique des révisions pour cette page sur le wiki MediaWiki 1.36.1 https://at.bht.fr/astroWiki/index.php?title=Mod%C3%A8le:D%C3%A9duction&diff=1507&oldid=prev 2021-09-04T07:48:42Z

<p>1 version importée</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <tr class="diff-title" lang="fr"> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">← Version précédente</td> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">Version du 4 septembre 2021 à 07:48</td> </tr><tr><td colspan="2" class="diff-notice" lang="fr"><div class="mw-diff-empty">(Aucune différence)</div> </td></tr></table>

WikiAdmin https://at.bht.fr/astroWiki/index.php?title=Mod%C3%A8le:D%C3%A9duction&diff=1506&oldid=prev 2019-03-08T12:43:27Z

<p>1 révision importée</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <tr class="diff-title" lang="fr"> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">← Version précédente</td> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">Version du 8 mars 2019 à 12:43</td> </tr><tr><td colspan="2" class="diff-notice" lang="fr"><div class="mw-diff-empty">(Aucune différence)</div> </td></tr></table>

toross>WikiAdmin https://at.bht.fr/astroWiki/index.php?title=Mod%C3%A8le:D%C3%A9duction&diff=1091&oldid=prev 2019-01-15T05:54:54Z

<p>1 révision importée</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <tr class="diff-title" lang="fr"> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">← Version précédente</td> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">Version du 15 janvier 2019 à 05:54</td> </tr><tr><td colspan="2" class="diff-notice" lang="fr"><div class="mw-diff-empty">(Aucune différence)</div> </td></tr></table>

WikiAdmin https://at.bht.fr/astroWiki/index.php?title=Mod%C3%A8le:D%C3%A9duction&diff=1090&oldid=prev 2019-01-14T19:41:07Z

<p></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="fr"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Version précédente</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Version du 14 janvier 2019 à 19:41</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l10">Ligne 10 :</td> <td colspan="2" class="diff-lineno">Ligne 10 :</td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|class=log  </div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|class=log  </div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|texte=Ce modèle sert a définir une déduction.  </div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|texte=Ce modèle sert a définir une déduction.  </div></td></tr> <tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>|auteurs=<del style="font-weight: bold; text-decoration: none;">Arthur Torossian  </del></div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>|auteurs=</div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|syntaxe=&lt;nowiki&gt;{{Déduction|prémisses=|conclusion=}}&lt;/nowiki&gt;  </div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|syntaxe=&lt;nowiki&gt;{{Déduction|prémisses=|conclusion=}}&lt;/nowiki&gt;  </div></td></tr> <tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|specification=   </div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>|specification=   </div></td></tr> </table>

88.191.71.115 https://at.bht.fr/astroWiki/index.php?title=Mod%C3%A8le:D%C3%A9duction&diff=715&oldid=prev 2019-01-14T19:24:25Z

<p>1 révision importée</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <tr class="diff-title" lang="fr"> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">← Version précédente</td> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">Version du 14 janvier 2019 à 19:24</td> </tr><tr><td colspan="2" class="diff-notice" lang="fr"><div class="mw-diff-empty">(Aucune différence)</div> </td></tr></table>

WikiAdmin https://at.bht.fr/astroWiki/index.php?title=Mod%C3%A8le:D%C3%A9duction&diff=714&oldid=prev 2018-10-02T22:55:36Z

<p>1 révision importée</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <tr class="diff-title" lang="fr"> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">← Version précédente</td> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">Version du 2 octobre 2018 à 22:55</td> </tr><tr><td colspan="2" class="diff-notice" lang="fr"><div class="mw-diff-empty">(Aucune différence)</div> </td></tr></table>

WikiAdmin https://at.bht.fr/astroWiki/index.php?title=Mod%C3%A8le:D%C3%A9duction&diff=287&oldid=prev 2015-08-17T21:02:14Z

<p>1 révision importée</p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <tr class="diff-title" lang="fr"> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">← Version précédente</td> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">Version du 17 août 2015 à 21:02</td> </tr><tr><td colspan="2" class="diff-notice" lang="fr"><div class="mw-diff-empty">(Aucune différence)</div> </td></tr></table>

WikiAdmin https://at.bht.fr/astroWiki/index.php?title=Mod%C3%A8le:D%C3%A9duction&diff=286&oldid=prev 2014-08-01T21:48:10Z

<p></p> <p><b>Nouvelle page</b></p><div>&lt;includeonly&gt;<br /> &lt;table style='display: inline-block;border: 0px solid ;margin-top:0.1em; margin-bottom:0.1em;background-color:#D0D0D0;'&gt;<br /> &lt;tr&gt;<br /> &lt;td style='font-family: &quot;Times New Roman&quot;, serif; background-color:#FFFFFF;margin-left:1em;padding-left:1em;margin-right:1em;padding-right:1em;;margin-bottom:0em;'&gt;<br /> {{{prémisses}}}&lt;hr style='font-family: &quot;Times New Roman&quot;, serif; background-color:black;height: 2px;'/&gt;{{{conclusion}}}<br /> &lt;/td&gt; <br /> &lt;/tr&gt;<br /> &lt;/table&gt;&lt;/includeonly&gt;&lt;noinclude&gt; <br /> {{Model<br /> |class=log <br /> |texte=Ce modèle sert a définir une déduction. <br /> |auteurs=Arthur Torossian <br /> |syntaxe=&lt;nowiki&gt;{{Déduction|prémisses=|conclusion=}}&lt;/nowiki&gt; <br /> |specification= <br /> ;prémisses <br /> : <br /> ;conclusion <br /> :<br /> }}<br /> Exemple : <br /> <br /> &lt;nowiki&gt;{{Déduction|prémisses=Γ ⊢ A&lt;br/&gt;Γ ⊢ A ⇒ B &lt;br/&gt;|conclusion=Γ ⊢ B}}&lt;/nowiki&gt;<br /> <br /> donnera :<br /> <br /> {{Déduction|prémisses=Γ ⊢ A&lt;br/&gt;Γ ⊢ A ⇒ B&lt;br/&gt;|conclusion=Γ ⊢ B}}<br /> <br /> &lt;/noinclude&gt;</div>

82.225.234.144