« Logique minimale » : historique des versions

14 septembre 2022

• actudiff 14:3014 septembre 2022 à 14:30‎ 37.171.10.96 discuter‎ 11 304 octets 0‎ →‎Les règles communes : La règle d’*introduction* de la négation était écrite dans le mauvais sens. Un exemple de source pour vérifier : David, Nour, Raffali, Introduction à la logique annuler Balise : Éditeur visuel

25 avril 2020

• actudiff 09:2225 avril 2020 à 09:22‎ Theon discuter contributions‎ 11 304 octets −99‎ →‎Exemples de formules démontrables en logique minimale : rétablissement de la formule dont on donne la démo ensuite annuler

24 avril 2020

• actudiff 12:5624 avril 2020 à 12:56‎ 85.168.30.149 discuter‎ 11 403 octets −4‎ →‎Exemples de formules non démontrables en logique minimale : Suppression du "non" les exemples de cette section étant démontrables et même démontrés annuler Balise : Éditeur visuel

8 janvier 2020

• actudiff 08:148 janvier 2020 à 08:14‎ شتيفان discuter contributions‎ m 11 407 octets +1‎ Aucun résumé des modifications annuler

4 janvier 2020

• actudiff 11:044 janvier 2020 à 11:04‎ Theon discuter contributions‎ m 11 406 octets +1‎ →‎Présentation de la logique minimale : ortho annuler

3 janvier 2020

• actudiff 14:383 janvier 2020 à 14:38‎ PIerre.Lescanne discuter contributions‎ 11 405 octets +22‎ →‎Présentation de la logique minimale : amélioration annuler
• actudiff 14:353 janvier 2020 à 14:35‎ PIerre.Lescanne discuter contributions‎ 11 383 octets −15‎ →‎Présentation de la logique minimale : répétition inutile annuler
• actudiff 14:133 janvier 2020 à 14:13‎ PIerre.Lescanne discuter contributions‎ 11 398 octets −11‎ →‎Présentation de la logique minimale annuler
• actudiff 14:123 janvier 2020 à 14:12‎ PIerre.Lescanne discuter contributions‎ 11 409 octets −89‎ →‎Présentation de la logique minimale : Ça n'apporte rien annuler
• actudiff 14:113 janvier 2020 à 14:11‎ PIerre.Lescanne discuter contributions‎ 11 498 octets −71‎ →‎Présentation de la logique minimale : comme il n'y a pas de logique a zéro connecteur, c'est évident; annuler
• actudiff 14:103 janvier 2020 à 14:10‎ PIerre.Lescanne discuter contributions‎ 11 569 octets −243‎ →‎Présentation de la logique minimale : n'apporte rien annuler
• actudiff 08:263 janvier 2020 à 08:26‎ Theon discuter contributions‎ 11 812 octets +8‎ →‎Présentation de la logique minimale annuler
• actudiff 00:573 janvier 2020 à 00:57‎ PIerre.Lescanne discuter contributions‎ 11 804 octets −15‎ →‎Présentation de la logique minimale annuler

2 janvier 2020

• actudiff 17:572 janvier 2020 à 17:57‎ Ne0onix discuter contributions‎ 11 819 octets +811‎ Ajout de la présentation annuler Balise : Éditeur visuel

23 novembre 2019

• actudiff 12:0123 novembre 2019 à 12:01‎ Pautard discuter contributions‎ m 11 008 octets −21‎ logiques mathématiques annuler
• actudiff 11:5823 novembre 2019 à 11:58‎ Pautard discuter contributions‎ m 11 029 octets +1‎ trois types annuler

4 novembre 2019

• actudiff 06:164 novembre 2019 à 06:16‎ WikiCleanerBot discuter contributions‎ m 11 028 octets −21‎ v2.02b - T3 - Correction syntaxique (Lien interne avec cible identique au texte) annuler Balise : WPCleaner

25 octobre 2019

• actudiff 18:1525 octobre 2019 à 18:15‎ PIerre.Lescanne discuter contributions‎ 11 049 octets +268‎ →‎Bibliographie annuler
• actudiff 18:0625 octobre 2019 à 18:06‎ PIerre.Lescanne discuter contributions‎ 10 781 octets +280‎ Aucun résumé des modifications annuler
• actudiff 17:5825 octobre 2019 à 17:58‎ PIerre.Lescanne discuter contributions‎ 10 501 octets +6‎ →‎Exemples : a ce niveau on ne parle pas de sémantique annuler
• actudiff 17:5625 octobre 2019 à 17:56‎ PIerre.Lescanne discuter contributions‎ m 10 495 octets −1‎ →‎La traduction de Gödel : rajouter -> ajouter annuler
• actudiff 14:2525 octobre 2019 à 14:25‎ Fschwarzentruber discuter contributions‎ 10 496 octets +8‎ la logique minimale n'est pas une variante de la logique classique, car ce n'est pas une logique classique. annuler Balise : Éditeur visuel
• actudiff 11:4425 octobre 2019 à 11:44‎ Fschwarzentruber discuter contributions‎ 10 488 octets +53‎ j'ai remis le domaine annuler Balise : Éditeur visuel

24 octobre 2019

• actudiff 11:1824 octobre 2019 à 11:18‎ PIerre.Lescanne discuter contributions‎ m 10 435 octets +1‎ →‎Exemples de formules non démontrables en logique minimale : coquille annuler
• actudiff 11:1724 octobre 2019 à 11:17‎ PIerre.Lescanne discuter contributions‎ 10 434 octets +63‎ →‎Comparaison des différentes logiques : valide |-> démontrable annuler
• actudiff 11:1124 octobre 2019 à 11:11‎ PIerre.Lescanne discuter contributions‎ 10 371 octets −4‎ →‎Les règles communes annuler
• actudiff 11:1024 octobre 2019 à 11:10‎ PIerre.Lescanne discuter contributions‎ 10 375 octets −4‎ →‎Les règles communes annuler
• actudiff 07:0624 octobre 2019 à 07:06‎ Theon discuter contributions‎ m 10 379 octets −13‎ →‎La traduction de Gödel : telle que annuler

23 octobre 2019

• actudiff 17:4723 octobre 2019 à 17:47‎ PIerre.Lescanne discuter contributions‎ 10 392 octets −101‎ →‎Comparaison des différentes logiques annuler
• actudiff 17:2923 octobre 2019 à 17:29‎ PIerre.Lescanne discuter contributions‎ 10 493 octets +103‎ →‎Comparaison des différentes logiques annuler
• actudiff 17:2623 octobre 2019 à 17:26‎ PIerre.Lescanne discuter contributions‎ 10 390 octets +96‎ restructuration annuler
• actudiff 17:1023 octobre 2019 à 17:10‎ PIerre.Lescanne discuter contributions‎ 10 294 octets +230‎ →‎Les règles communes : J'ai mis les règles de façon formelle, mais je n'y comprends rien. annuler
• actudiff 17:0323 octobre 2019 à 17:03‎ Fanny.msic discuter contributions‎ 10 064 octets +1‎ Aucun résumé des modifications annuler Balise : Éditeur visuel
• actudiff 16:5623 octobre 2019 à 16:56‎ PIerre.Lescanne discuter contributions‎ 10 063 octets +40‎ →‎Les règles communes annuler
• actudiff 16:5523 octobre 2019 à 16:55‎ Fanny.msic discuter contributions‎ m 10 023 octets −8‎ →‎Comparaison des différentes logiques annuler Balise : Éditeur visuel
• actudiff 15:5923 octobre 2019 à 15:59‎ PIerre.Lescanne discuter contributions‎ 10 031 octets −39‎ La mise en page standard a été faite par des gens compétents annuler
• actudiff 14:2323 octobre 2019 à 14:23‎ Fanny.msic discuter contributions‎ 10 070 octets +324‎ problème de logique annuler Balise : Éditeur visuel
• actudiff 13:3923 octobre 2019 à 13:39‎ Fanny.msic discuter contributions‎ m 9 746 octets −30‎ mise en forme annuler Balise : Éditeur visuel
• actudiff 12:5823 octobre 2019 à 12:58‎ Fanny.msic discuter contributions‎ 9 776 octets +2‎ orthographe annuler Balise : Éditeur visuel
• actudiff 12:5623 octobre 2019 à 12:56‎ Fanny.msic discuter contributions‎ m 9 774 octets +29‎ reformulation annuler Balise : Éditeur visuel
• actudiff 12:4723 octobre 2019 à 12:47‎ Fanny.msic discuter contributions‎ 9 745 octets +28‎ →‎Notations annuler Balise : Éditeur visuel
• actudiff 12:4423 octobre 2019 à 12:44‎ Fanny.msic discuter contributions‎ m 9 717 octets +4‎ mise en page annuler Balise : Éditeur visuel
• actudiff 12:4323 octobre 2019 à 12:43‎ Fanny.msic discuter contributions‎ m 9 713 octets −14‎ mise en forme, clarification des notations utilisées annuler

31 octobre 2018

• actudiff 17:3431 octobre 2018 à 17:34‎ Speculos discuter contributions‎ 9 727 octets +46‎ section Notes et références annuler

29 octobre 2018

• actudiff 19:2329 octobre 2018 à 19:23‎ Fschwarzentruber discuter contributions‎ 9 681 octets +278‎ source annuler Balise : Éditeur visuel
• actudiff 19:2229 octobre 2018 à 19:22‎ Fschwarzentruber discuter contributions‎ 9 403 octets +30‎ Aucun résumé des modifications annuler Balise : Éditeur visuel
• actudiff 19:1929 octobre 2018 à 19:19‎ Fschwarzentruber discuter contributions‎ 9 373 octets +17‎ Aucun résumé des modifications annuler Balise : Éditeur visuel
• actudiff 18:0629 octobre 2018 à 18:06‎ Fschwarzentruber discuter contributions‎ 9 356 octets −9‎ Aucun résumé des modifications annuler Balise : Éditeur visuel

5 avril 2017

• actudiff 10:225 avril 2017 à 10:22‎ Theon discuter contributions‎ 9 365 octets +20‎ palette annuler

20 janvier 2017

• actudiff 20:1620 janvier 2017 à 20:16‎ WikiCleanerBot discuter contributions‎ m 9 345 octets +4‎ v1.41 - Lien magique ISBN obsolète - Catégorie:Pages utilisant des liens magiques ISBN annuler Balise : WPCleaner