« Règle d'inférence » : 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 09:353 avril 2024 à 09:35‎ Tsinguidi discuter contributions‎ 11 268 octets +1‎ distinguées annuler Balises : Éditeur visuel Modification par mobile Modification par le web mobile Modification sur mobile avancée

actudiff 23:0815 juin 2023 à 23:08‎ Boustaki discuter contributions‎ 11 267 octets +4‎ Ajout lien hypertexte Wikipédia du terme "Modus Ponens" : https://fr.m.wikipedia.org/wiki/Modus_ponens annuler Balises : Éditeur visuel Modification par mobile Modification par le web mobile

actudiff 13:5418 décembre 2022 à 13:54‎ 94.110.16.237 discuter‎ 11 263 octets −5‎ Aucun résumé des modifications annuler Balises : Modification par mobile Modification par le web mobile
actudiff 13:5318 décembre 2022 à 13:53‎ 94.110.16.237 discuter‎ 11 268 octets +7‎ Aucun résumé des modifications annuler Balises : Modification par mobile Modification par le web mobile

actudiff 16:3919 juin 2022 à 16:39‎ Jilucorg discuter contributions‎ m 11 261 octets 0‎ typo annuler Balise : Éditeur de source 2017
actudiff 16:3919 juin 2022 à 16:39‎ Jilucorg discuter contributions‎ m 11 261 octets +21‎ résol homonymie annuler Balise : Éditeur de source 2017
actudiff 16:3219 juin 2022 à 16:32‎ 41.243.14.244 discuter‎ 11 240 octets −8‎ Correction d'erreur de frappe annuler Balises : Modification par mobile Modification par le web mobile

actudiff 18:558 octobre 2021 à 18:55‎ Eric.LEWIN discuter contributions‎ m 11 248 octets −1‎ →‎Définitions et représentations : nanotypo annuler Balise : Éditeur de source 2017

actudiff 16:5825 novembre 2018 à 16:58‎ Michel Awkal discuter contributions‎ 11 249 octets +38‎ {{Palette|Règles de transformation}} annuler

actudiff 16:1529 juillet 2018 à 16:15‎ Jaipasdepseudo discuter contributions‎ m 11 211 octets +15‎ v1.43 - Homonymies : Correction de 2 liens - Démonstration, Proposition (logique mathématique), reste 1 à corriger - Inférence annuler Balise : WPCleaner

actudiff 00:3529 avril 2018 à 00:35‎ Philogik discuter contributions‎ 11 196 octets +42‎ Aucun résumé des modifications annuler

actudiff 16:1419 septembre 2016 à 16:14‎ PIerre.Lescanne discuter contributions‎ 11 154 octets +35‎ →‎Définitions et représentations annuler

actudiff 08:2217 septembre 2016 à 08:22‎ Else If Then discuter contributions‎ 11 119 octets +39‎ →‎Admissibilité et dérivabilité annuler
actudiff 08:2117 septembre 2016 à 08:21‎ Else If Then discuter contributions‎ 11 080 octets −18‎ Aucun résumé des modifications annuler

actudiff 18:203 octobre 2015 à 18:20‎ Hukko discuter contributions‎ 11 098 octets +8‎ →‎Règles d'inférence et axiomes annuler

actudiff 10:0318 juin 2015 à 10:03‎ SniperMaské discuter contributions‎ m 11 090 octets +17‎ →‎Effectivité : syntaxe + typographie + formatage + wikif. annuler
actudiff 10:0118 juin 2015 à 10:01‎ SniperMaské discuter contributions‎ m 11 073 octets +1‎ →‎Règles d'inférence et axiomes : syntaxe annuler
actudiff 09:5918 juin 2015 à 09:59‎ SniperMaské discuter contributions‎ m 11 072 octets +24‎ →‎Définitions et représentations : typographie annuler

actudiff 16:3931 août 2013 à 16:39‎ Ange Gabriel discuter contributions‎ m 11 048 octets +35‎ HTML pour des caractères particuliers - Balise HTML <u> de soulignement - Orthographe et typographie (Correction syntaxique) (v1.29) annuler

actudiff 17:3529 août 2013 à 17:35‎ Denispir discuter contributions‎ m 11 013 octets +12‎ →‎Définitions et représentations : traduit en français ;-) annuler

actudiff 15:1219 juin 2013 à 15:12‎ Cantons-de-l'Est discuter contributions‎ m 11 001 octets −21‎ →‎Voir aussi : Plus court. annuler
actudiff 15:1119 juin 2013 à 15:11‎ Cantons-de-l'Est discuter contributions‎ m 11 022 octets −13‎ Plus court. annuler

actudiff 21:4715 mars 2013 à 21:47‎ Addbot discuter contributions‎ m 11 035 octets −371‎ Retrait de 14 liens interlangues, désormais fournis par Wikidata sur la page d:q1068763 annuler

actudiff 12:0112 novembre 2012 à 12:01‎ Esnico30 discuter contributions‎ m 11 406 octets −25‎ Restauration des ancres brisées annuler

actudiff 20:249 juin 2012 à 20:24‎ Sisqi discuter contributions‎ m 11 431 octets +34‎ WPCleaner v1.13 - Correction syntaxique - DEFAULTSORT nécessaire manquant annuler

actudiff 15:052 mai 2012 à 15:05‎ STyx discuter contributions‎ 11 397 octets +4‎ m'enfin ! annuler

actudiff 17:489 août 2011 à 17:48‎ Laurent Verset discuter contributions‎ m 11 393 octets +12‎ wikification annuler

actudiff 21:523 août 2011 à 21:52‎ STyx discuter contributions‎ 11 381 octets −4‎ →‎Définitions et représentations : ne pas de sémantique aux valeurs de vérité. annuler

actudiff 01:4822 mai 2011 à 01:48‎ RibotBOT discuter contributions‎ m 11 385 octets 0‎ r2.6.5) (robot Modifie: fa:قواعد استنتاج annuler

actudiff 07:402 septembre 2010 à 07:40‎ PierreSelim discuter contributions‎ m 11 385 octets +24‎ Ajout rapide de {{portail}} : + Informatique théorique ; avec BandeauxPortails annuler

actudiff 15:155 juillet 2010 à 15:15‎ Epsilon0 discuter contributions‎ m 11 361 octets +45‎ →‎Articles connexes : ajout Catégorie:Théorie de la démonstration annuler

actudiff 03:055 mai 2010 à 03:05‎ Luckas-bot discuter contributions‎ m 11 316 octets +21‎ robot Ajoute: ko:추론 규칙 annuler

actudiff 08:5519 février 2010 à 08:55‎ TXiKiBoT discuter contributions‎ m 11 295 octets +27‎ robot Ajoute: ca:Regla d'inferència annuler

actudiff 20:014 mai 2009 à 20:01‎ GrouchoBot discuter contributions‎ m 11 268 octets +53‎ robot Ajoute: el:Συμπερασματικός κανόνας annuler

actudiff 23:4212 avril 2009 à 23:42‎ 86.66.231.170 discuter‎ 11 215 octets +1‎ →‎Définitions et représentations annuler

actudiff 01:4122 janvier 2009 à 01:41‎ Micbot discuter contributions‎ m 11 214 octets 0‎ Correction orthographique, grammaticale et/ou syntaxique annuler

actudiff 21:478 juin 2008 à 21:47‎ Deep silence discuter contributions‎ 11 214 octets −2‎ Restauration des ancres brisées annuler

actudiff 20:207 mai 2008 à 20:20‎ BOTarate discuter contributions‎ m 11 216 octets +33‎ robot Ajoute: fa:قواعد استنباط annuler

actudiff 21:119 mars 2008 à 21:11‎ Louperibot discuter contributions‎ m 11 183 octets +26‎ robot Ajoute: pl:Reguła dedukcyjna annuler

actudiff 13:4015 février 2008 à 13:40‎ Loveless discuter contributions‎ m 11 157 octets +19‎ transition vers le nouveau systeme de bandeaux; changement de type cosmétique annuler

3 avril 2024

15 juin 2023

18 décembre 2022

19 juin 2022

8 octobre 2021

25 novembre 2018

29 juillet 2018

29 avril 2018

19 septembre 2016

17 septembre 2016

3 octobre 2015

18 juin 2015

31 août 2013

29 août 2013

19 juin 2013

15 mars 2013

12 novembre 2012

9 juin 2012

2 mai 2012

9 août 2011

3 août 2011

22 mai 2011

2 septembre 2010

5 juillet 2010

5 mai 2010

19 février 2010

4 mai 2009

12 avril 2009

22 janvier 2009

8 juin 2008

7 mai 2008

9 mars 2008

15 février 2008

27 octobre 2007