« Déduction logique » : historique des versions

Filtrer les versionsaffichermasquer

Jusqu’au :

Filtrer les balises :

Inverser la sélection

Outils externes et statistiques

Autres discussions [liste]

Admissibilité
Neutralité
Droit d'auteur
Article de qualité
Bon article
Lumière sur
À faire
Archives
Commons

Légende : (actu) = différence avec la version actuelle - (diff) = différence avec la version précédente - m = modification mineure

actudiff 14:0822 novembre 2023 à 14:08‎ Ray.chantilly discuter contributions‎ 16 969 octets +4‎ Fonctionnalité de suggestions de liens : 1 lien ajouté. annuler Balises : Éditeur visuel Tâche pour novices Suggéré : ajouter des liens

actudiff 23:3630 octobre 2023 à 23:36‎ Escargot mécanique discuter contributions‎ m 16 965 octets −6‎ Robot : Correction modèle {{Lien web}} : retrait des http dans le paramètre site (requête) et indication des éventuels liens brisés. annuler

actudiff 18:0917 décembre 2022 à 18:09‎ PIerre.Lescanne discuter contributions‎ 16 971 octets +200‎ →‎Déduction non monotones : demande de recyclage + mise en forme annuler
actudiff 17:5217 décembre 2022 à 17:52‎ PIerre.Lescanne discuter contributions‎ 16 771 octets −44‎ →‎Déduction non monotones : mise en forme annuler
actudiff 17:4517 décembre 2022 à 17:45‎ PIerre.Lescanne discuter contributions‎ 16 815 octets +14‎ →‎Déduction non monotone : Lesquelles annuler
actudiff 17:4217 décembre 2022 à 17:42‎ PIerre.Lescanne discuter contributions‎ 16 801 octets −1 531‎ →‎Aspect modaux : La demande de source date de 2017 et elle n'a pas été satisfaite. Ça ressemble à un travail inédit annuler

actudiff 11:3127 février 2022 à 11:31‎ AméliorationsModestes discuter contributions‎ m 18 332 octets +3‎ →‎Aspect modaux annuler

actudiff 00:0815 février 2022 à 00:08‎ Lf(Lx(f)(x)x)Lx(f)(x)x discuter contributions‎ m 18 329 octets −43‎ la vérité logique est axiomatique et est différente, tant que le sixième problème de Hilbert n'est pas résolu, de la vérité scientifique extra mathématique qui est empirique. annuler

actudiff 21:4813 février 2022 à 21:48‎ Priper discuter contributions‎ 18 372 octets +23‎ Aucun résumé des modifications annuler

actudiff 13:2624 novembre 2020 à 13:26‎ 83.228.145.21 discuter‎ 18 349 octets +158‎ →‎Voir aussi annuler
actudiff 13:2324 novembre 2020 à 13:23‎ 83.228.145.21 discuter‎ 18 191 octets +29‎ Aucun résumé des modifications annuler

actudiff 21:465 novembre 2020 à 21:46‎ OrlodrimBot discuter contributions‎ m 18 162 octets −43‎ Remplacement de {{Lien}} par un lien interne, suite à la création de l'article correspondant annuler

actudiff 18:301 avril 2020 à 18:30‎ Eboireau discuter contributions‎ m 18 205 octets −12‎ 2 mots manquants annuler Balise : Éditeur visuel

actudiff 16:237 mars 2020 à 16:23‎ CodexBot discuter contributions‎ 18 217 octets +389‎ bot ⚠ [0.68/68] Amélioration bibliographique 17 : +lire en ligne, paramètre non corrigé... annuler

actudiff 18:1525 janvier 2020 à 18:15‎ JackBot discuter contributions‎ m 17 828 octets +21‎ Formatage, traduction des modèles de liens annuler

actudiff 15:3431 décembre 2019 à 15:34‎ Apokrif discuter contributions‎ m 17 807 octets −16‎ Aucun résumé des modifications annuler

actudiff 03:338 septembre 2019 à 03:33‎ Guillaume Le Conquistador discuter contributions‎ m 17 823 octets −5‎ mise en forme annuler

actudiff 18:2614 août 2019 à 18:26‎ PIerre.Lescanne discuter contributions‎ 17 828 octets −2 118‎ →‎Controverse sur l'utilité du raisonnement déductif : déjà inséré dans l'article raisonnement déductif annuler
actudiff 18:0014 août 2019 à 18:00‎ Pautard discuter contributions‎ 19 946 octets +2 087‎ /* Controverse sur l'utilité du raisonnement déductif annuler

actudiff 11:3227 juin 2019 à 11:32‎ Pelanch3 discuter contributions‎ 17 859 octets 0‎ →‎Voir aussi annuler

actudiff 01:3327 avril 2019 à 01:33‎ Rol8329 discuter contributions‎ m 18 333 octets +1‎ →‎Conséquence sémantique annuler Balise : Éditeur visuel

actudiff 10:552 décembre 2018 à 10:55‎ PIerre.Lescanne discuter contributions‎ 18 332 octets +45‎ →‎Voir aussi annuler

actudiff 02:0529 octobre 2018 à 02:05‎ Ideawipik discuter contributions‎ m 18 287 octets +92‎ v2.0 - Homonymies : Correction de 3 liens - Déduction, Formel -lié à Formalisme mathématique plus général mais aurait pu l'être à système formel, Modalité / Correction syntaxique (Orthographe et typographie) annuler Balise : WPCleaner

actudiff 11:259 juillet 2018 à 11:25‎ Vivarés discuter contributions‎ m 18 195 octets 0‎ typographie annuler

actudiff 17:1927 juin 2018 à 17:19‎ 82.66.249.15 discuter‎ 18 195 octets −2‎ →‎Conséquence sémantique : Correction grammar annuler Balise : Éditeur visuel

actudiff 21:5827 mars 2018 à 21:58‎ Pautard discuter contributions‎ m 18 197 octets −1‎ font appel annuler

actudiff 20:185 janvier 2018 à 20:18‎ Mywiz discuter contributions‎ m 18 198 octets +8‎ ± Catégorie:Logique->Catégorie:Concept logique annuler Balise : HotCats

actudiff 12:3821 octobre 2017 à 12:38‎ KolbertBot discuter contributions‎ m 18 190 octets +4‎ Bot: HTTP→HTTPS (v467) annuler

actudiff 09:4020 juin 2017 à 09:40‎ PIerre.Lescanne discuter contributions‎ 18 186 octets +21‎ lien annuler
actudiff 01:1720 juin 2017 à 01:17‎ 69.58.42.90 discuter‎ 18 165 octets +43‎ Modèle:Lien en:Logical truth = vérité logique nécessaire annuler

actudiff 17:493 mai 2017 à 17:49‎ Jrcourtois discuter contributions‎ m 18 122 octets +15‎ précision date modèle annuler

actudiff 17:4217 janvier 2017 à 17:42‎ Bob08 discuter contributions‎ m 18 107 octets +5‎ lien annuler

actudiff 12:257 septembre 2016 à 12:25‎ PIerre.Lescanne discuter contributions‎ 18 102 octets +54‎ →‎Preuves et modèles : article détaillé annuler

actudiff 18:3510 août 2016 à 18:35‎ SniperMaské discuter contributions‎ m 18 048 octets +18‎ coquille + gram. + syntaxe + typographie + formatage + wikif. + nettoyage annuler

actudiff 15:535 janvier 2016 à 15:53‎ Hpa discuter contributions‎ m 18 030 octets +1‎ →‎orthographe annuler Balise : Éditeur visuel

actudiff 21:3828 décembre 2015 à 21:38‎ LouisAlain discuter contributions‎ 18 029 octets +4‎ création lien suite à création article annuler

actudiff 12:1329 novembre 2015 à 12:13‎ LouisAlain discuter contributions‎ 18 025 octets +38‎ création lien suite à création article annuler

actudiff 22:5922 octobre 2015 à 22:59‎ Khwartz discuter contributions‎ 17 987 octets 0‎ →‎Vision formelle de la relation de déduction : Correction d'erreur de frappe annuler Balises : Modification par mobile Modification par le web mobile

actudiff 15:103 août 2015 à 15:10‎ Hukko discuter contributions‎ m 17 987 octets 0‎ →‎Vision formelle de la relation de déduction annuler

actudiff 12:423 juillet 2015 à 12:42‎ ContributorQ discuter contributions‎ m 17 987 octets +42‎ WPCleaner v1.35 - Homonymies : Correction de 2 liens - Algèbre booléenne, Proposition (logique mathématique), reste 2 à corriger - Formel, Modalité / Correction syntaxique (Orthographe et typographie) annuler

actudiff 14:031 juin 2015 à 14:03‎ Pautard discuter contributions‎ m 17 945 octets 0‎ tous les annuler

actudiff 06:4512 mai 2015 à 06:45‎ Foudebassans discuter contributions‎ m 17 945 octets +42‎ + Catégorie:Raisonnement mathématique annuler Balise : HotCats
actudiff 06:4312 mai 2015 à 06:43‎ Foudebassans discuter contributions‎ 17 903 octets −331‎ →‎Voir aussi : rassurez moi : je suis bien sur la page déduction? Du projet Logique ? Est elle où, je la vois pas! Ça va je sors --->[] annuler

22 novembre 2023

30 octobre 2023

17 décembre 2022

27 février 2022

15 février 2022

13 février 2022

24 novembre 2020

5 novembre 2020

1 avril 2020

7 mars 2020

25 janvier 2020

31 décembre 2019

8 septembre 2019

14 août 2019

27 juin 2019

2 juin 2019

27 avril 2019

2 décembre 2018

29 octobre 2018

9 juillet 2018

27 juin 2018

27 mars 2018

5 janvier 2018

21 octobre 2017

20 juin 2017

3 mai 2017

17 janvier 2017

7 septembre 2016

10 août 2016

5 janvier 2016

28 décembre 2015

29 novembre 2015

22 octobre 2015

3 août 2015

3 juillet 2015

1 juin 2015

12 mai 2015