« Implication (logique) » : historique des versions

7 janvier 2024

• actudiff 03:287 janvier 2024 à 03:28‎ Gastéropode unicorne discuter contributions‎ 17 827 octets +27‎ Fonctionnalité de suggestions de liens : 2 liens ajoutés. annuler Balises : Éditeur visuel Tâche pour novices Suggéré : ajouter des liens

2 novembre 2023

• actudiff 07:022 novembre 2023 à 07:02‎ Escargot mécanique discuter contributions‎ m 17 800 octets −13‎ Robot : Correction modèle {{Lien web}} : retrait des http dans le paramètre site (requête) et indication des éventuels liens brisés. annuler

27 avril 2023

• actudiff 08:3327 avril 2023 à 08:33‎ 2a01:e0a:1cc:a060:e8b1:f794:37b8:1d58 discuter‎ 17 813 octets −4‎ Aucun résumé des modifications annuler Balises : Modification par mobile Modification par le web mobile
• actudiff 08:3227 avril 2023 à 08:32‎ 2a01:e0a:1cc:a060:e8b1:f794:37b8:1d58 discuter‎ 17 817 octets −3‎ Aucun résumé des modifications annuler Balises : Modification par mobile Modification par le web mobile

13 février 2023

• actudiff 08:5913 février 2023 à 08:59‎ Theon discuter contributions‎ 17 820 octets −115‎ →‎Définition en logique classique : suppression d'une phrase sans grand rapport avec le sujet annuler

24 juin 2022

• actudiff 23:3324 juin 2022 à 23:33‎ Bbruet discuter contributions‎ m 17 935 octets +10‎ →‎Définition en logique classique annuler Balise : Éditeur visuel

7 juin 2022

• actudiff 00:507 juin 2022 à 00:50‎ Bot de pluie discuter contributions‎ m 17 925 octets 0‎ Orthographe annuler Balise : AWB

22 décembre 2021

• actudiff 02:4922 décembre 2021 à 02:49‎ Renardeau.arctique discuter contributions‎ 17 925 octets +4‎ Aucun résumé des modifications annuler

26 mars 2021

• actudiff 12:2826 mars 2021 à 12:28‎ Athanatophobos discuter contributions‎ 17 921 octets +1‎ Aucun résumé des modifications annuler Balises : Modification par mobile Modification par le web mobile

9 janvier 2021

• actudiff 08:509 janvier 2021 à 08:50‎ Anne Bauval discuter contributions‎ 17 920 octets 0‎ Annulation de la modification de 154.124.120.21 (d) ras le bol des gens qui croient mieux savoir et rendent faux les articles de maths sur WP annuler Balise : Annulation

8 janvier 2021

• actudiff 23:298 janvier 2021 à 23:29‎ 154.124.120.21 discuter‎ 17 920 octets 0‎ →‎Définition en logique classique annuler Balises : Révoqué Éditeur visuel

23 novembre 2020

• actudiff 15:5323 novembre 2020 à 15:53‎ Pautard discuter contributions‎ m 17 920 octets +1‎ une démonstration annuler

17 septembre 2020

• actudiff 20:5017 septembre 2020 à 20:50‎ Erretalam discuter contributions‎ 17 919 octets +8‎ Aucun résumé des modifications annuler Balise : Éditeur visuel : basculé

14 septembre 2020

• actudiff 14:0614 septembre 2020 à 14:06‎ Erretalam discuter contributions‎ m 17 911 octets +57‎ Aucun résumé des modifications annuler Balise : Éditeur visuel
• actudiff 14:0414 septembre 2020 à 14:04‎ Erretalam discuter contributions‎ 17 854 octets +222‎ Aucun résumé des modifications annuler Balise : Éditeur visuel

13 septembre 2020

• actudiff 18:5413 septembre 2020 à 18:54‎ Erretalam discuter contributions‎ m 17 632 octets +6‎ Aucun résumé des modifications annuler Balise : Éditeur visuel
• actudiff 18:4613 septembre 2020 à 18:46‎ Erretalam discuter contributions‎ m 17 626 octets +24‎ Source ajoutée annuler Balise : Éditeur visuel
• actudiff 18:3913 septembre 2020 à 18:39‎ Erretalam discuter contributions‎ m 17 602 octets +240‎ →‎Notes et références annuler Balise : Éditeur visuel
• actudiff 18:3513 septembre 2020 à 18:35‎ Erretalam discuter contributions‎ m 17 362 octets +588‎ Aucun résumé des modifications annuler Balise : Éditeur visuel
• actudiff 18:2913 septembre 2020 à 18:29‎ Erretalam discuter contributions‎ m 16 774 octets +2 554‎ Clarifie la définition de l'opérateur par rapport à 2 options qu'on trouve dans les livres et clarifie aussi les cas non intuitifs en donnant des exemples annuler Balise : Éditeur visuel

17 novembre 2019

• actudiff 11:1017 novembre 2019 à 11:10‎ Anne Bauval discuter contributions‎ m 14 220 octets −3‎ →‎Historique et applications de l'implication : pas de majuscule à pape + le Modèle:Citation {{Citation|ne doit être utilisé que pour des citations ! Dans le cas contraire, il faut plutôt insérer directement des guillemets ( « » ) dans le texte.}} annuler
• actudiff 10:4517 novembre 2019 à 10:45‎ PIerre.Lescanne discuter contributions‎ 14 223 octets +73‎ →‎Historique et applications de l'implication : précision annuler

15 novembre 2019

• actudiff 17:5815 novembre 2019 à 17:58‎ ولنتاین discuter contributions‎ 14 150 octets +339‎ Ajout d'une précision sur les raisonnements contre-factuel annuler Balise : Éditeur visuel

3 novembre 2019

• actudiff 12:093 novembre 2019 à 12:09‎ Grepro155 discuter contributions‎ m 13 811 octets +1‎ correction faute orthographe logique des prédicat => s annuler

2 novembre 2019

• actudiff 12:072 novembre 2019 à 12:07‎ PIerre.Lescanne discuter contributions‎ 13 810 octets +25‎ homonyme annuler
• actudiff 12:052 novembre 2019 à 12:05‎ PIerre.Lescanne discuter contributions‎ 13 785 octets +1‎ →‎Définition annuler
• actudiff 12:052 novembre 2019 à 12:05‎ PIerre.Lescanne discuter contributions‎ 13 784 octets +115‎ →‎Définition annuler
• actudiff 11:582 novembre 2019 à 11:58‎ PIerre.Lescanne discuter contributions‎ 13 669 octets +169‎ →‎Définition : impliquant et impliqué annuler

25 novembre 2018

• actudiff 17:0425 novembre 2018 à 17:04‎ Michel Awkal discuter contributions‎ 13 500 octets +26‎ {{Palette|Règles de transformation}} annuler

6 août 2018

• actudiff 12:376 août 2018 à 12:37‎ 160.179.157.245 discuter‎ 13 474 octets +1‎ →‎Définition en logique classique annuler
• actudiff 12:366 août 2018 à 12:36‎ 160.179.157.245 discuter‎ 13 473 octets −1‎ →‎Définition en logique classique annuler

20 février 2018

• actudiff 16:3020 février 2018 à 16:30‎ PIerre.Lescanne discuter contributions‎ m 13 474 octets +10‎ →‎Définition en logique intuitionniste : espaces insécables annuler
• actudiff 16:2520 février 2018 à 16:25‎ PIerre.Lescanne discuter contributions‎ 13 464 octets −81‎ →‎Définition : phrase pas claire et manquant de généralité annuler
• actudiff 10:5620 février 2018 à 10:56‎ 78.197.179.35 discuter‎ 13 545 octets −54‎ Changement mise en forme de la table de vérité pour être semblable aux articles comme https://fr.wikipedia.org/wiki/%C3%89quivalence_logique annuler

17 octobre 2017

• actudiff 18:2417 octobre 2017 à 18:24‎ Bot de pluie discuter contributions‎ m 13 599 octets +1‎ Typographie : « etc. » avec AWB annuler

30 juillet 2017

• actudiff 22:4230 juillet 2017 à 22:42‎ Bertrand Labévue discuter contributions‎ 13 598 octets −89‎ Annulation de la modification de 86.242.8.92 (d) annuler
• actudiff 22:4230 juillet 2017 à 22:42‎ 86.242.8.92 discuter‎ 13 687 octets +89‎ Aucun résumé des modifications annuler Balises : Modification par mobile Modification par le web mobile

31 mars 2017

• actudiff 14:2831 mars 2017 à 14:28‎ 212.68.215.234 discuter‎ 13 598 octets +1‎ →‎Définition en logique intuitionniste : lettre i manquante dans le mot intuitionniste annuler Balise : Éditeur visuel

28 décembre 2016

• actudiff 15:0128 décembre 2016 à 15:01‎ SniperMaské discuter contributions‎ m 13 597 octets +22‎ →‎Historique et applications de l'implication : typographie + formatage annuler
• actudiff 14:5928 décembre 2016 à 14:59‎ SniperMaské discuter contributions‎ m 13 575 octets +1‎ →‎Définition en logiques modales : syntaxe annuler
• actudiff 14:5728 décembre 2016 à 14:57‎ SniperMaské discuter contributions‎ m 13 574 octets +23‎ →‎Définition : voc. (anglicisme) + syntaxe + typographie + formatage + nettoyage annuler

11 septembre 2016

• actudiff 15:4911 septembre 2016 à 15:49‎ SniperMaské discuter contributions‎ m 13 551 octets +15‎ typographie + formatage + wikif. annuler

1 septembre 2016

• actudiff 16:181 septembre 2016 à 16:18‎ Else If Then discuter contributions‎ 13 536 octets +21‎ Aucun résumé des modifications annuler

23 juin 2016

• actudiff 11:5823 juin 2016 à 11:58‎ ALDO CP discuter contributions‎ 13 515 octets −26‎ →‎Voir aussi annuler

22 juin 2016

• actudiff 00:4722 juin 2016 à 00:47‎ Else If Then discuter contributions‎ m 13 541 octets +48‎ →‎Voir aussi annuler Balise : Éditeur visuel

5 avril 2016

• actudiff 21:375 avril 2016 à 21:37‎ Anne Bauval discuter contributions‎ m 13 493 octets −48‎ implication matérielle redirige ici. Le lien vers en: est déjà plus bas annuler
• actudiff 21:225 avril 2016 à 21:22‎ Galanga discuter contributions‎ m 13 541 octets +27‎ mis lien "en" de l'implication matérielle et reformulé un peu ("déduction", "donc" est différent de "impliquer") annuler

18 février 2016

• actudiff 05:3218 février 2016 à 05:32‎ Grelot-de-Bois discuter contributions‎ 13 514 octets +186‎ →‎Historique et applications de l'implication annuler

26 décembre 2015

• actudiff 18:3226 décembre 2015 à 18:32‎ Eld-89 discuter contributions‎ m 13 328 octets +1‎ oublie d'un guillemet simple annuler Balise : Éditeur visuel

18 septembre 2015

• actudiff 19:4418 septembre 2015 à 19:44‎ Anne Bauval discuter contributions‎ 13 327 octets −84‎ →‎Définition en logique classique : non annuler