« Logique classique » : historique des versions

18 septembre 2023

• actudiff 18:5318 septembre 2023 à 18:53‎ 2a01:cb00:dd0:4d00:2905:f7c5:74b5:2b74 discuter‎ 6 642 octets −1‎ →‎Logique classique et tables de vérité : Coquille annuler Balise : Éditeur visuel

25 octobre 2022

• actudiff 21:1325 octobre 2022 à 21:13‎ BiMiT discuter contributions‎ m 6 643 octets +1‎ Correction orthographique annuler Balise : Éditeur de source 2017

29 mars 2022

• actudiff 00:3529 mars 2022 à 00:35‎ WikiCleanerBot discuter contributions‎ m 6 642 octets −29‎ v2.04b - Correction syntaxique (Espace insécable - Orthographe et typographie) annuler Balise : WPCleaner

18 janvier 2022

• actudiff 23:4018 janvier 2022 à 23:40‎ Philibre discuter contributions‎ 6 671 octets +1‎ →‎(A ⇒ B) ∨ (B ⇒ A), la logique classique et la logique intuitionniste : ajout d'une virgule indispensable annuler
• actudiff 23:3818 janvier 2022 à 23:38‎ Philibre discuter contributions‎ m 6 670 octets +1‎ correction ortho annuler

2 novembre 2019

• actudiff 14:082 novembre 2019 à 14:08‎ PIerre.Lescanne discuter contributions‎ 6 669 octets +404‎ Aucun résumé des modifications annuler
• actudiff 12:452 novembre 2019 à 12:45‎ PIerre.Lescanne discuter contributions‎ 6 265 octets 0‎ Aucun résumé des modifications annuler
• actudiff 12:412 novembre 2019 à 12:41‎ PIerre.Lescanne discuter contributions‎ 6 265 octets +241‎ Aucun résumé des modifications annuler
• actudiff 12:322 novembre 2019 à 12:32‎ PIerre.Lescanne discuter contributions‎ 6 024 octets +453‎ →‎(A ⇒ B) ∨ (B ⇒ A), la logique classique et la logique intuitionniste : explications annuler
• actudiff 12:232 novembre 2019 à 12:23‎ PIerre.Lescanne discuter contributions‎ m 5 571 octets +2‎ Aucun résumé des modifications annuler
• actudiff 12:202 novembre 2019 à 12:20‎ PIerre.Lescanne discuter contributions‎ 5 569 octets +331‎ Aucun résumé des modifications annuler

12 juin 2019

• actudiff 21:2312 juin 2019 à 21:23‎ Belbernard discuter contributions‎ 5 238 octets +52‎ →‎Lien externe : autres logiques annuler

9 janvier 2019

• actudiff 12:269 janvier 2019 à 12:26‎ 37.171.239.76 discuter‎ 5 186 octets +2‎ intuionniste */ annuler Balise : Éditeur visuel

17 octobre 2018

• actudiff 13:0517 octobre 2018 à 13:05‎ Lectorina discuter contributions‎ 5 184 octets −4‎ Aucun résumé des modifications annuler

14 septembre 2018

• actudiff 17:1714 septembre 2018 à 17:17‎ Theon discuter contributions‎ m 5 188 octets −9‎ style annuler
• actudiff 17:1014 septembre 2018 à 17:10‎ Theon discuter contributions‎ 5 197 octets −198‎ remplacement "articles liés" par la palette "logique" annuler

19 août 2018

• actudiff 11:4019 août 2018 à 11:40‎ Texvc2LaTeXBot discuter contributions‎ m 5 395 octets +4‎ Bot: Mise à jour des codes texvc par des équivalentes LaTeX (documentation) annuler

19 avril 2018

• actudiff 02:5119 avril 2018 à 02:51‎ 93.92.207.220 discuter‎ 5 391 octets +2‎ Aucun résumé des modifications annuler Balise : Éditeur visuel : basculé

3 novembre 2017

• actudiff 11:413 novembre 2017 à 11:41‎ PIerre.Lescanne discuter contributions‎ 5 389 octets +584‎ remplacement de → par ⇒ annuler
• actudiff 11:263 novembre 2017 à 11:26‎ PIerre.Lescanne discuter contributions‎ 4 805 octets +123‎ →‎(A → B) ∨ (B → A), la logique classique et la logique intuionniste annuler
• actudiff 11:233 novembre 2017 à 11:23‎ PIerre.Lescanne discuter contributions‎ m 4 682 octets +18‎ →‎(A → B) ∨ (B → A), la logique classique et la logique intuionniste annuler

2 novembre 2017

• actudiff 15:012 novembre 2017 à 15:01‎ PIerre.Lescanne discuter contributions‎ 4 664 octets +181‎ →‎(A → B) ∨ (B → A) et la logique classique annuler
• actudiff 14:572 novembre 2017 à 14:57‎ PIerre.Lescanne discuter contributions‎ 4 483 octets +199‎ →‎(A → B) ∨ (B → A) et la logique classique annuler
• actudiff 14:542 novembre 2017 à 14:54‎ PIerre.Lescanne discuter contributions‎ 4 284 octets +1 624‎ Des explications sur (A -> B) V (B -> A) annuler

8 juin 2017

• actudiff 12:318 juin 2017 à 12:31‎ PIerre.Lescanne discuter contributions‎ 2 660 octets +9‎ mise en forme annuler
• actudiff 12:228 juin 2017 à 12:22‎ PIerre.Lescanne discuter contributions‎ m 2 651 octets −2‎ faute de grammaire annuler

18 juin 2015

• actudiff 09:4818 juin 2015 à 09:48‎ SniperMaské discuter contributions‎ m 2 653 octets +1‎ formatage annuler

31 août 2013

• actudiff 08:5331 août 2013 à 08:53‎ Gil.oque discuter contributions‎ 2 652 octets +130‎ →‎Lien externe annuler

25 juin 2013

• actudiff 01:0825 juin 2013 à 01:08‎ SniperMaské discuter contributions‎ m 2 522 octets +7‎ typographie (REM. : d. c.) annuler

13 mars 2013

• actudiff 17:0613 mars 2013 à 17:06‎ Addbot discuter contributions‎ m 2 515 octets −298‎ Retrait de 11 liens interlangues, désormais fournis par Wikidata sur la page d:q236975 annuler

13 février 2013

• actudiff 17:5813 février 2013 à 17:58‎ ZéroBot discuter contributions‎ m 2 813 octets +24‎ r2.7.1) (robot Ajoute : tl:Klasikong lohika annuler

5 janvier 2013

• actudiff 20:465 janvier 2013 à 20:46‎ Proz discuter contributions‎ 2 789 octets −46‎ on ne peut pas dire ça comme ça car la logique intuitionniste vérifie la non contradiction (mais cet article est à réécrire) annuler
• actudiff 20:445 janvier 2013 à 20:44‎ Proz discuter contributions‎ 2 835 octets −1‎ ébauche + pas d'opposition + intermédiaire signifie ce qui suit annuler
• actudiff 13:095 janvier 2013 à 13:09‎ Denispir discuter contributions‎ m 2 836 octets +50‎ ajout mention du principe de non-contradiction fondateur + lien logique intuitionniste annuler

29 novembre 2012

• actudiff 23:2229 novembre 2012 à 23:22‎ GrouchoBot discuter contributions‎ m 2 786 octets +28‎ r2.7.2) (robot Ajoute : et:Klassikaline loogika annuler

29 août 2012

• actudiff 02:1629 août 2012 à 02:16‎ Kasirbot discuter contributions‎ m 2 758 octets +29‎ r2.7.1) (robot Ajoute : fa:منطق کلاسیک annuler

23 juillet 2012

• actudiff 12:1023 juillet 2012 à 12:10‎ MerlIwBot discuter contributions‎ m 2 729 octets −9‎ robot Modifie : ja:古典数理論理学→ja:古典論理 annuler

27 novembre 2011

• actudiff 17:0627 novembre 2011 à 17:06‎ Lylvic discuter contributions‎ m 2 738 octets 0‎ La demande de réf date de juillet 2009, il faut faire le ménage un jour si personne ne cherche ! ;-) annuler
• actudiff 17:0327 novembre 2011 à 17:03‎ Lylvic discuter contributions‎ 2 738 octets +11‎ refnec : intermédiaire, quesaco ? annuler
• actudiff 13:5327 novembre 2011 à 13:53‎ Epsilon0 discuter contributions‎ m 2 727 octets −56‎ →‎Articles liés : Erreur d'emplacement des liens, je mets au bon endroit : implication (logique) annuler
• actudiff 13:4827 novembre 2011 à 13:48‎ Epsilon0 discuter contributions‎ 2 783 octets +491‎ Source pour la moitié. On ne suppr pas simplement car il n'y a pas de source, on en cherche ou infirme ! C'est très probablement vrai et sourçable. Le bandeau demande un complément, ce n'est pas une suspicion de fausseté. annuler
• actudiff 11:2827 novembre 2011 à 11:28‎ PIerre.Lescanne discuter contributions‎ 2 292 octets +56‎ →‎Liens annuler

26 novembre 2011

• actudiff 14:3126 novembre 2011 à 14:31‎ Lylvic discuter contributions‎ 2 236 octets −290‎ pas sourcé --> effacé annuler
• actudiff 14:3026 novembre 2011 à 14:30‎ Lylvic discuter contributions‎ 2 526 octets −97‎ mise en page annuler

17 décembre 2010

• actudiff 00:0317 décembre 2010 à 00:03‎ Scrabble discuter contributions‎ m 2 623 octets +1‎ espace annuler

3 mars 2010

• actudiff 20:473 mars 2010 à 20:47‎ VolkovBot discuter contributions‎ m 2 622 octets +202‎ robot Ajoute: de, it, ja, mk, nl, ru, zh annuler
• actudiff 11:143 mars 2010 à 11:14‎ Eusebius discuter contributions‎ m 2 420 octets +24‎ iw annuler

18 janvier 2010

• actudiff 08:5518 janvier 2010 à 08:55‎ Lregnier discuter contributions‎ 2 396 octets +93‎ clarifications et ajout de liens dans l'intro annuler

14 janvier 2010

• actudiff 00:5814 janvier 2010 à 00:58‎ Lregnier discuter contributions‎ 2 303 octets −5 634‎ Je persiste : annulation des modifications 48787504 de Salebot (d) annuler
• actudiff 00:5514 janvier 2010 à 00:55‎ Salebot discuter contributions‎ 7 937 octets +5 634‎ bot : révocation de 82.227.29.100 (modification suspecte : -23), retour à la version 48781406 de Kalki101 annuler