« Modus ponens » : historique des versions

3 novembre 2023

• actudiff 21:103 novembre 2023 à 21:10‎ Grondilu discuter contributions‎ 7 043 octets +44‎ utilisation systématique de l'italique annuler

25 octobre 2023

• actudiff 18:3325 octobre 2023 à 18:33‎ Grondilu discuter contributions‎ m 6 999 octets +1‎ →‎Formalisation : accord nombre annuler
• actudiff 18:3325 octobre 2023 à 18:33‎ Grondilu discuter contributions‎ 6 998 octets +114‎ précision, mention metamath annuler
• actudiff 17:5625 octobre 2023 à 17:56‎ Grondilu discuter contributions‎ 6 884 octets +147‎ →‎Formalisation : mention assistants de preuve annuler
• actudiff 17:4725 octobre 2023 à 17:47‎ Grondilu discuter contributions‎ 6 737 octets +39‎ →‎Formalisation : utilisant flèche simple et empilement vertical pour ce type de notation + parenthèses pour meilleure délimitation visuelle annuler
• actudiff 17:2925 octobre 2023 à 17:29‎ Grondilu discuter contributions‎ m 6 698 octets +3‎ →‎Formalisation : italique manquant annuler

10 juillet 2023

• actudiff 10:5410 juillet 2023 à 10:54‎ Atcheque discuter contributions‎ m 6 695 octets 0‎ mef annuler

5 novembre 2022

• actudiff 13:465 novembre 2022 à 13:46‎ Gabinstrument discuter contributions‎ 6 695 octets +248‎ →‎Formalisation : ajout d'un exemple concret annuler Balises : Modification par mobile Modification par application mobile Modification avec l’application Android

30 octobre 2022

• actudiff 17:3630 octobre 2022 à 17:36‎ Dimdle discuter contributions‎ m 6 447 octets 0‎ syllogisme annuler

9 mai 2022

• actudiff 11:029 mai 2022 à 11:02‎ JLM discuter contributions‎ m 6 447 octets −4‎ Révocation des modifications de Encelade-01 (retour à la version précédente de Encelade-01) annuler Balise : Révocation manuelle
• actudiff 10:469 mai 2022 à 10:46‎ Encelade-01 discuter contributions‎ m 6 451 octets +4‎ Aucun résumé des modifications annuler Balises : Révoqué Éditeur visuel
• actudiff 10:469 mai 2022 à 10:46‎ Encelade-01 discuter contributions‎ 6 447 octets +8‎ Fonctionnalité de suggestions de liens : 2 liens ajoutés. annuler Balises : Éditeur visuel Tâche pour novices Suggéré : ajouter des liens

26 novembre 2019

• actudiff 12:0626 novembre 2019 à 12:06‎ PIerre.Lescanne discuter contributions‎ 6 439 octets +139‎ →‎Systèmes de déduction annuler
• actudiff 12:0226 novembre 2019 à 12:02‎ PIerre.Lescanne discuter contributions‎ 6 300 octets −1‎ →‎Systèmes de déduction annuler
• actudiff 11:5926 novembre 2019 à 11:59‎ PIerre.Lescanne discuter contributions‎ 6 301 octets +15‎ →‎Formalisation annuler

25 novembre 2019

• actudiff 19:3525 novembre 2019 à 19:35‎ ولنتاین discuter contributions‎ 6 286 octets +158‎ lien entre modus ponens et implication dans une démonstration annuler Balise : Éditeur visuel
• actudiff 19:3125 novembre 2019 à 19:31‎ ولنتاین discuter contributions‎ 6 128 octets +63‎ rapport entre syllogisme/modus ponens annuler Balise : Éditeur visuel
• actudiff 19:2825 novembre 2019 à 19:28‎ ولنتاین discuter contributions‎ m 6 065 octets +2‎ Aucun résumé des modifications annuler Balise : Éditeur visuel
• actudiff 19:2525 novembre 2019 à 19:25‎ ولنتاین discuter contributions‎ 6 063 octets +144‎ ajout de 2 exemples d'utilisation du modus ponens annuler Balise : Éditeur visuel

17 novembre 2019

• actudiff 19:1617 novembre 2019 à 19:16‎ YANN92340 discuter contributions‎ 5 919 octets +3‎ Correction + Lien interne. annuler

15 novembre 2019

• actudiff 16:4715 novembre 2019 à 16:47‎ PIerre.Lescanne discuter contributions‎ 5 916 octets −1 320‎ →‎Illustration du Modus ponens : le principe d'explosion : L’exemple n'est pas bon : 1. il utilise d’autres règles que le modus ponens, 2. il se situe au niveau du calcul des prédicats du premier ordre : quantifications ∀ et ∃ annuler
• actudiff 15:3315 novembre 2019 à 15:33‎ ولنتاین discuter contributions‎ 7 236 octets +1 320‎ Ajout d'un paragraphe pour un exemple illustrant le role du modus ponens annuler Balise : Éditeur visuel

6 novembre 2019

• actudiff 12:166 novembre 2019 à 12:16‎ Salebot discuter contributions‎ 5 916 octets −5‎ bot : révocation de 41.229.86.194 (modification suspecte : -16), retour à la version 162722581 de 185.24.187.196 annuler
• actudiff 12:166 novembre 2019 à 12:16‎ 41.229.86.194 discuter‎ 5 921 octets +5‎ →‎Formalisation annuler Balise : Éditeur visuel

16 septembre 2019

• actudiff 14:3816 septembre 2019 à 14:38‎ 185.24.187.196 discuter‎ 5 916 octets +117‎ Aucun résumé des modifications annuler

26 août 2019

• actudiff 00:2726 août 2019 à 00:27‎ Maëlan discuter contributions‎ m 5 799 octets +3‎ →‎Formalisation : plus d’espacement dans la règle de déduction pour clarifier sa lecture annuler

2 novembre 2018

• actudiff 12:152 novembre 2018 à 12:15‎ PIerre.Lescanne discuter contributions‎ 5 796 octets +6‎ →‎Systèmes de déduction annuler

15 septembre 2018

• actudiff 00:0915 septembre 2018 à 00:09‎ Epsilon0 discuter contributions‎ 5 790 octets −32‎ Annulation de la modification de 132.207.156.186 (d) vand. annuler Balise : Annulation

14 septembre 2018

• actudiff 15:2614 septembre 2018 à 15:26‎ 132.207.156.186 discuter‎ 5 822 octets +32‎ Aucun résumé des modifications annuler Balise : Éditeur visuel

19 avril 2018

• actudiff 16:2819 avril 2018 à 16:28‎ SniperMaské discuter contributions‎ m 5 790 octets +5‎ →‎Systèmes de déduction : typographie annuler

7 février 2018

• actudiff 14:037 février 2018 à 14:03‎ Proz discuter contributions‎ 5 785 octets +60‎ →‎Formalisation : utiliser pour quoi ? annuler
• actudiff 13:537 février 2018 à 13:53‎ Proz discuter contributions‎ 5 725 octets −1‎ version initiale, me semble plus claire annuler
• actudiff 12:087 février 2018 à 12:08‎ PIerre.Lescanne discuter contributions‎ 5 726 octets −213‎ Annulation de la modification de 145.242.20.58 (d) déplacé vers page de discussion annuler Balise : Annulation
• actudiff 11:427 février 2018 à 11:42‎ 145.242.20.58 discuter‎ 5 939 octets +213‎ →‎Formalisation : demande d'explication annuler Balise : Éditeur visuel

24 septembre 2017

• actudiff 14:0824 septembre 2017 à 14:08‎ Alphabeta discuter contributions‎ m 5 726 octets +433‎ →‎Bibliographie : + {{Autres projets | wiktionary = <!-- Wiktionary --> modus ponens }} annuler

8 octobre 2016

• actudiff 17:488 octobre 2016 à 17:48‎ Po'low discuter contributions‎ 5 293 octets 0‎ Aucun résumé des modifications annuler

19 septembre 2016

• actudiff 22:4719 septembre 2016 à 22:47‎ Else If Then discuter contributions‎ 5 293 octets +40‎ Aucun résumé des modifications annuler

17 septembre 2016

• actudiff 08:2017 septembre 2016 à 08:20‎ Else If Then discuter contributions‎ 5 253 octets −18‎ Aucun résumé des modifications annuler

6 mars 2016

• actudiff 22:596 mars 2016 à 22:59‎ Proz discuter contributions‎ 5 271 octets 0‎ Annulation des modifications de Verdy p (retour à la précédente version de 194.3.84.252) convention standard annuler
• actudiff 21:086 mars 2016 à 21:08‎ Verdy p discuter contributions‎ m 5 271 octets 0‎ →‎Formalisation : il manque la virgule séparatrice annuler

8 juillet 2015

• actudiff 17:008 juillet 2015 à 17:00‎ 194.3.84.252 discuter‎ 5 271 octets −2‎ À la lecture d'un texte sur le raisonnement logique, il y a un risque élevé que le lecteur interprète "or" comme étant "ou", ici il est important de comprendre "et". Cette modification devrait rendre la lecture plus simple. annuler Balise : Éditeur visuel

5 mai 2014

• actudiff 08:005 mai 2014 à 08:00‎ 2a01:e35:2eb3:bb10:db2:80c7:e630:87c4 discuter‎ 5 273 octets +5‎ →‎Systèmes de déduction annuler Balise : Éditeur visuel
• actudiff 05:465 mai 2014 à 05:46‎ 2a01:e35:2eb3:bb10:db2:80c7:e630:87c4 discuter‎ 5 268 octets +66‎ →‎Formalisation annuler

19 février 2014

• actudiff 00:5819 février 2014 à 00:58‎ SniperMaské discuter contributions‎ 5 202 octets +59‎ →‎Articles connexes : "Règle de résolution" (REM. : d. c. mais p.-ê. pas art.) annuler

19 août 2013

• actudiff 16:3819 août 2013 à 16:38‎ Jrcourtois discuter contributions‎ m 5 143 octets +25‎ voir homonymes annuler

14 mars 2013

• actudiff 08:2614 mars 2013 à 08:26‎ Addbot discuter contributions‎ m 5 118 octets −579‎ Retrait de 24 liens interlangues, désormais fournis par Wikidata sur la page d:q655742 annuler

23 juillet 2012

• actudiff 13:0423 juillet 2012 à 13:04‎ JYBot discuter contributions‎ m 5 697 octets +10‎ r2.7.1) (robot Modifie : fa:قیاس استثنایی annuler

21 mars 2012

• actudiff 08:4921 mars 2012 à 08:49‎ VonTasha discuter contributions‎ m 5 687 octets +20‎ WPCleaner (v1.13) Correction des liens vers des homonymies - Conjonction annuler

29 janvier 2012

• actudiff 00:0529 janvier 2012 à 00:05‎ Ursus discuter contributions‎ m 5 667 octets +45‎ →‎Bibliographie : +1 categorie annuler

28 janvier 2012

• actudiff 23:5928 janvier 2012 à 23:59‎ 138.231.145.124 discuter‎ 5 622 octets +2‎ →‎Systèmes de déduction annuler