« Prédicat (logique mathématique) » : historique des versions

24 mai 2023

• actudiff 10:2824 mai 2023 à 10:28‎ 176.157.130.89 discuter‎ 3 208 octets +4‎ Ajout d'un hyperlien. annuler Balises : Modification par mobile Modification par application mobile Modification avec l’application Android
• actudiff 10:2624 mai 2023 à 10:26‎ 176.157.130.89 discuter‎ 3 204 octets 0‎ Faute de frappe corrigée. annuler Balises : Modification par mobile Modification par application mobile Modification avec l’application Android

21 janvier 2023

• actudiff 09:3721 janvier 2023 à 09:37‎ Wart Dark discuter contributions‎ m 3 204 octets +21‎ →‎Bibliographie annuler

5 juillet 2022

• actudiff 00:325 juillet 2022 à 00:32‎ PIerre.Lescanne discuter contributions‎ 3 183 octets +191‎ reformulation annuler
• actudiff 00:245 juillet 2022 à 00:24‎ PIerre.Lescanne discuter contributions‎ 2 992 octets +7‎ mise en forme annuler
• actudiff 00:205 juillet 2022 à 00:20‎ PIerre.Lescanne discuter contributions‎ 2 985 octets −978‎ pas clair et hors sujet annuler
• actudiff 00:175 juillet 2022 à 00:17‎ PIerre.Lescanne discuter contributions‎ 3 963 octets −464‎ pas clair annuler
• actudiff 00:155 juillet 2022 à 00:15‎ PIerre.Lescanne discuter contributions‎ 4 427 octets −209‎ Cet article ne se place pas dans le théorie des types annuler
• actudiff 00:015 juillet 2022 à 00:01‎ PIerre.Lescanne discuter contributions‎ 4 636 octets +16‎ quoi ? annuler

4 juillet 2022

• actudiff 23:594 juillet 2022 à 23:59‎ PIerre.Lescanne discuter contributions‎ m 4 620 octets +3‎ mise en forme annuler
• actudiff 19:514 juillet 2022 à 19:51‎ Nihilistair discuter contributions‎ 4 617 octets +31‎ Fonctionnalité de suggestions de liens : 3 liens ajoutés. annuler Balises : Éditeur visuel Tâche pour novices Suggéré : ajouter des liens

30 mars 2022

• actudiff 19:5230 mars 2022 à 19:52‎ WikiCleanerBot discuter contributions‎ m 4 586 octets −18‎ v2.04b - Correction syntaxique (Espace insécable - Paramètre inutilisé) annuler Balise : WPCleaner

12 novembre 2020

• actudiff 21:4312 novembre 2020 à 21:43‎ CodexBot discuter contributions‎ 4 604 octets −3‎ bot [0.9] 📗 Amélioration bibliographique 1x : ++pages totales annuler

5 janvier 2018

• actudiff 20:215 janvier 2018 à 20:21‎ Mywiz discuter contributions‎ m 4 607 octets +31‎ + Catégorie:Concept logique annuler Balise : HotCats

28 août 2017

• actudiff 14:2028 août 2017 à 14:20‎ 192.54.145.146 discuter‎ 4 576 octets +1‎ Aucun résumé des modifications annuler

2 février 2017

• actudiff 16:442 février 2017 à 16:44‎ Anne Bauval discuter contributions‎ m 4 575 octets +1‎ Style+mep annuler
• actudiff 14:562 février 2017 à 14:56‎ 194.199.3.13 discuter‎ 4 574 octets +14‎ Modification de la formule définissant la relation d'ordre stricte sur les entiers (la formule précédente exprimait le relation d'ordre partiel). annuler Balise : Éditeur visuel

13 janvier 2017

• actudiff 20:5613 janvier 2017 à 20:56‎ 2a01:e35:2e6f:4990:cc6b:2298:8a06:28b4 discuter‎ 4 560 octets +1‎ correction linguistique: nombres--->nombreux annuler Balise : Éditeur visuel

14 novembre 2016

• actudiff 15:2614 novembre 2016 à 15:26‎ Ixnay discuter contributions‎ m 4 559 octets +16‎ Aucun résumé des modifications annuler

1 septembre 2016

• actudiff 21:241 septembre 2016 à 21:24‎ 109.209.89.241 discuter‎ 4 543 octets +1‎ correction de style annuler

11 août 2016

• actudiff 16:1111 août 2016 à 16:11‎ SniperMaské discuter contributions‎ m 4 542 octets −2‎ typographie annuler

18 janvier 2016

• actudiff 11:1518 janvier 2016 à 11:15‎ 2a01:cb04:10:1600:30bb:f011:268b:3eff discuter‎ 4 544 octets −43‎ "nomma" corrigé par "nommant" et suppression d'un doublon annuler Balise : Éditeur visuel

30 décembre 2015

• actudiff 20:3430 décembre 2015 à 20:34‎ Anne Bauval discuter contributions‎ m 4 587 octets −181‎ mef annuler
• actudiff 19:2330 décembre 2015 à 19:23‎ Proz discuter contributions‎ 4 768 octets +2 157‎ identité des prédicats mais pas des formules ; reprise avec exemples annuler

27 décembre 2015

• actudiff 13:3927 décembre 2015 à 13:39‎ Hpa discuter contributions‎ m 2 611 octets +151‎ →‎syntaxe ! annuler Balise : Éditeur visuel
• actudiff 13:2427 décembre 2015 à 13:24‎ Hpa discuter contributions‎ m 2 460 octets +13‎ →‎syntaxe ! annuler Balise : Éditeur visuel

6 novembre 2015

• actudiff 12:406 novembre 2015 à 12:40‎ PIerre.Lescanne discuter contributions‎ 2 447 octets +6‎ retour à arité annuler

5 novembre 2015

• actudiff 12:295 novembre 2015 à 12:29‎ Speculos discuter contributions‎ 2 441 octets +46‎ section Notes et références (détection P:CS) annuler

4 novembre 2015

• actudiff 20:334 novembre 2015 à 20:33‎ Jackseg80 discuter contributions‎ 2 395 octets +954‎ Ajout de références universitaires annuler Balise : Éditeur visuel
• actudiff 18:214 novembre 2015 à 18:21‎ PIerre.Lescanne discuter contributions‎ 1 441 octets +29‎ demande de référence annuler
• actudiff 10:584 novembre 2015 à 10:58‎ Jackseg80 discuter contributions‎ 1 412 octets −1‎ Les arguments d'un prédicats sont appelé poids. L'arité est utilisé pour les fonctions. annuler

8 octobre 2015

• actudiff 21:228 octobre 2015 à 21:22‎ Anne Bauval discuter contributions‎ m 1 413 octets −76‎ Annulation des modifications de 2A01:E35:8A2D:ACF0:E40E:693C:E632:7FC3 (d) lire l'article au moins jusqu'à la 2e phrase annuler
• actudiff 21:088 octobre 2015 à 21:08‎ 2a01:e35:8a2d:acf0:e40e:693c:e632:7fc3 discuter‎ 1 489 octets +4‎ ajout d'un lien annuler
• actudiff 21:048 octobre 2015 à 21:04‎ 2a01:e35:8a2d:acf0:e40e:693c:e632:7fc3 discuter‎ 1 485 octets +24‎ ajout d'un lien vers un article connexe annuler Balise : Éditeur visuel

5 mai 2015

• actudiff 11:455 mai 2015 à 11:45‎ PIerre.Lescanne discuter contributions‎ 1 461 octets −36‎ →‎Articles connexes : on ne parle pas de la notionde prédicat en lingusitique annuler
• actudiff 00:115 mai 2015 à 00:11‎ Epsilon0 discuter contributions‎ 1 497 octets −92‎ Annulation des modifications 114737987 de Hlm Z. (d) Confusion avec le calcul propositionnel <-- qui peut être vu comme le calcul des prédicats d'arité-0 annuler
• actudiff 00:025 mai 2015 à 00:02‎ Hlm Z. discuter contributions‎ 1 589 octets +92‎ tout ça pour dire que prédicat est synonyme de condition... annuler

3 novembre 2014

• actudiff 16:283 novembre 2014 à 16:28‎ Bécassin discuter contributions‎ 1 497 octets −16‎ reformulation d'un prédicat comme symbole constant annuler Balise : Éditeur visuel

9 avril 2014

• actudiff 22:519 avril 2014 à 22:51‎ SniperMaské discuter contributions‎ m 1 513 octets −1‎ syntaxe + typographie (REM. : d. c. mais p.-ê. pas art.) annuler

12 mars 2013

• actudiff 21:0912 mars 2013 à 21:09‎ Addbot discuter contributions‎ m 1 514 octets −479‎ Retrait de 18 liens interlangues, désormais fournis par Wikidata sur la page d:q1144319 annuler

21 décembre 2012

• actudiff 11:2121 décembre 2012 à 11:21‎ MerlIwBot discuter contributions‎ m 1 993 octets +28‎ robot Ajoute : it:Predicato funzionale annuler

21 octobre 2012

• actudiff 22:4121 octobre 2012 à 22:41‎ Epsilon0 discuter contributions‎ m 1 965 octets +113‎ voir aussi, 2 articles connexes. annuler

13 juillet 2012

• actudiff 01:3113 juillet 2012 à 01:31‎ MerlIwBot discuter contributions‎ m 1 852 octets +24‎ robot Ajoute : ky:Предикат annuler

4 février 2012

• actudiff 23:534 février 2012 à 23:53‎ MystBot discuter contributions‎ m 1 828 octets +18‎ r2.7.1) (robot Ajoute : ar:محمول annuler

11 janvier 2012

• actudiff 03:1611 janvier 2012 à 03:16‎ Lipadon discuter contributions‎ m 1 810 octets +2‎ Ajout des espaces manquantes de chaque côté des opétateurs. annuler
• actudiff 03:1411 janvier 2012 à 03:14‎ Lipadon discuter contributions‎ m 1 808 octets −20‎ Un lien créait une redirection inutile. annuler

1 octobre 2011

• actudiff 18:311 octobre 2011 à 18:31‎ DSisyphBot discuter contributions‎ m 1 828 octets +15‎ Bot, remplace modèle obsolète annuler

8 juillet 2011

• actudiff 00:168 juillet 2011 à 00:16‎ EmausBot discuter contributions‎ m 1 813 octets +49‎ r2.6.4) (robot Ajoute: kk:Пропозициялық функция annuler

10 juin 2011

• actudiff 17:4710 juin 2011 à 17:47‎ Louperibot discuter contributions‎ m 1 764 octets +24‎ r2.5.2) (robot Ajoute: uk:Предикат annuler

13 mars 2011

• actudiff 08:4713 mars 2011 à 08:47‎ Ptbotgourou discuter contributions‎ m 1 740 octets +193‎ r2.6.5) (robot Ajoute: es, et, fa, fi, kaa, sk, sr Modifie: en annuler