« Formule propositionnelle » : historique des versions

9 mai 2024

• actudiff 10:279 mai 2024 à 10:27‎ PIerre.Lescanne discuter contributions‎ 47 050 octets +75‎ →‎Décomposition analytique de formules en logique classique annuler
• actudiff 10:229 mai 2024 à 10:22‎ PIerre.Lescanne discuter contributions‎ 46 975 octets −1‎ →‎Définition inductive : « classique » est ambigu annuler
• actudiff 10:209 mai 2024 à 10:20‎ PIerre.Lescanne discuter contributions‎ 46 976 octets −91‎ →‎Propositions : Ça dépend du contexte; ainsi (p,q,r => s) est une abréviation de p => (q => (r => s)) annuler

8 mai 2024

• actudiff 19:438 mai 2024 à 19:43‎ Drongou discuter contributions‎ 47 067 octets +50‎ Annulation de la modification de Bot de pluie (d) La parenthèse seule est le contenu de la cellule annuler Balise : Annulation

30 mars 2024

• actudiff 00:1030 mars 2024 à 00:10‎ Bot de pluie discuter contributions‎ m 47 017 octets −50‎ Typographie : espace fautive dans parenthèses. annuler Balises : AWB Révoqué

16 septembre 2023

• actudiff 11:1716 septembre 2023 à 11:17‎ Séba79 discuter contributions‎ 47 067 octets +12‎ Fonctionnalité de suggestions de liens : 3 liens ajoutés. annuler Balises : Éditeur visuel Tâche pour novices Suggéré : ajouter des liens

13 septembre 2023

• actudiff 21:1813 septembre 2023 à 21:18‎ Parisii1976 discuter contributions‎ m 47 055 octets −1‎ →‎Définitions annuler

11 septembre 2023

• actudiff 20:2111 septembre 2023 à 20:21‎ Luluxe moi discuter contributions‎ 47 056 octets +12‎ Fonctionnalité de suggestions de liens : 3 liens ajoutés. annuler Balises : Éditeur visuel Tâche pour novices Suggéré : ajouter des liens

7 août 2023

• actudiff 01:567 août 2023 à 01:56‎ Framawiki discuter contributions‎ m 47 044 octets −71‎ Bot: corrections syntaxiques ({{références}}, espace insécable) annuler

22 avril 2023

• actudiff 07:5922 avril 2023 à 07:59‎ WikiCleanerBot discuter contributions‎ m 47 115 octets −95‎ v2.05b - Bot T3 PCS#565 - Correction syntaxique (Balises <nowiki> - Orthographe et typographie - Espace insécable) annuler Balise : WPCleaner

11 avril 2023

• actudiff 11:0611 avril 2023 à 11:06‎ LearnToWritePlz discuter contributions‎ m 47 210 octets +112‎ espaces annuler Balises : Nowiki dans un article Éditeur visuel

12 juin 2022

• actudiff 17:2612 juin 2022 à 17:26‎ Fagairolles 34 discuter contributions‎ m 47 098 octets +1‎ →‎Connecteur: SI ... ALORS ... SINON ... : ajout d'un espace annuler Balise : Éditeur de source 2017

22 décembre 2021

• actudiff 02:2522 décembre 2021 à 02:25‎ 2a01:cb14:1c9:1b00:54:36df:2ee5:dfd6 discuter‎ 47 097 octets 0‎ Correction dans fbfs annuler Balises : Éditeur visuel Modification par mobile Modification par le web mobile

20 octobre 2021

• actudiff 07:4020 octobre 2021 à 07:40‎ Drongou discuter contributions‎ 47 097 octets +50‎ Annulation de la modification de Bot de pluie (d) La parenthèse seule est le contenu de la cellule annuler Balise : Annulation

19 septembre 2021

• actudiff 14:3919 septembre 2021 à 14:39‎ Bot de pluie discuter contributions‎ m 47 047 octets −50‎ Typographie : espace fautive dans parenthèses annuler Balises : AWB Révoqué

2 juin 2021

• actudiff 17:442 juin 2021 à 17:44‎ Sorujop discuter contributions‎ m 47 097 octets 0‎ →‎Propositions : correction lien homonymie annuler

14 janvier 2021

• actudiff 15:4014 janvier 2021 à 15:40‎ 176.190.67.169 discuter‎ 47 097 octets −3‎ →‎Lois distributives annuler Balise : Éditeur visuel

29 octobre 2020

• actudiff 00:3129 octobre 2020 à 00:31‎ Drongou discuter contributions‎ 47 100 octets +10‎ →‎Décomposition analytique de formules en logique classique : Restauration des tableaux cassés par Bot de pluie le 26 juillet 2018 à 18:41 (suite) annuler
• actudiff 00:2729 octobre 2020 à 00:27‎ Drongou discuter contributions‎ 47 090 octets +40‎ Restauration des tableaux cassés par Bot de pluie le 26 juillet 2018 à 18:41 annuler

7 septembre 2020

• actudiff 19:037 septembre 2020 à 19:03‎ WikiCleanerBot discuter contributions‎ m 47 050 octets 0‎ v2.03b - Correction syntaxique (Espace manquant avant un lien) annuler Balise : WPCleaner

21 juillet 2020

• actudiff 12:3521 juillet 2020 à 12:35‎ PIerre.Lescanne discuter contributions‎ 47 050 octets −7‎ Aucun résumé des modifications annuler

19 juillet 2020

• actudiff 20:3519 juillet 2020 à 20:35‎ El Funcionario discuter contributions‎ 47 057 octets +15‎ catégorisation annuler

27 janvier 2020

• actudiff 11:4227 janvier 2020 à 11:42‎ Proz discuter contributions‎ 47 042 octets −6 498‎ →‎Connecteur: SI ... ALORS ... SINON ... : réduction (la table est assez illisible et de toute façon hors sujet sur l'article) annuler

27 novembre 2019

• actudiff 13:0627 novembre 2019 à 13:06‎ Epsilon0 discuter contributions‎ 53 540 octets +5‎ Annulation de la modification de 86.248.33.206 (d) ? ou "qu'à un seul" si on veut annuler Balise : Annulation
• actudiff 12:3627 novembre 2019 à 12:36‎ 86.248.33.206 discuter‎ 53 535 octets −5‎ →‎Définition inductive annuler Balise : Éditeur visuel

15 octobre 2019

• actudiff 16:3115 octobre 2019 à 16:31‎ PIerre.Lescanne discuter contributions‎ 53 540 octets −2 246‎ →‎Lois d'évaluation: Identité, nullité, et complément : incompréhensible annuler
• actudiff 16:2515 octobre 2019 à 16:25‎ PIerre.Lescanne discuter contributions‎ 55 786 octets +25‎ →‎Lois d'absorption  annuler
• actudiff 16:1915 octobre 2019 à 16:19‎ PIerre.Lescanne discuter contributions‎ 55 761 octets +34‎ →‎Lois d'absorption  annuler
• actudiff 14:1515 octobre 2019 à 14:15‎ PIerre.Lescanne discuter contributions‎ 55 727 octets +50‎ →‎Lois d'absorptions  annuler
• actudiff 14:0415 octobre 2019 à 14:04‎ PIerre.Lescanne discuter contributions‎ 55 677 octets +12‎ →‎Lois distributives annuler
• actudiff 14:0015 octobre 2019 à 14:00‎ PIerre.Lescanne discuter contributions‎ 55 665 octets +39‎ →‎Lois de De Morgan annuler
• actudiff 13:5715 octobre 2019 à 13:57‎ PIerre.Lescanne discuter contributions‎ 55 626 octets −35‎ →‎Lois distributives : NON est unaire annuler
• actudiff 13:5315 octobre 2019 à 13:53‎ PIerre.Lescanne discuter contributions‎ 55 661 octets −55‎ →‎Priorité de connecteur (rang des symboles) : ça ne fait pas partie du calcul propositionnel annuler
• actudiff 10:0215 octobre 2019 à 10:02‎ PIerre.Lescanne discuter contributions‎ 55 716 octets +5‎ →‎Formules bien formées (fbfs) annuler
• actudiff 09:4915 octobre 2019 à 09:49‎ PIerre.Lescanne discuter contributions‎ 55 711 octets +23‎ →‎Affectation de valeur de vérité, évaluations de formule annuler
• actudiff 09:4815 octobre 2019 à 09:48‎ PIerre.Lescanne discuter contributions‎ 55 688 octets +16‎ →‎Priorité de connecteur (rang des symboles) annuler
• actudiff 09:4515 octobre 2019 à 09:45‎ PIerre.Lescanne discuter contributions‎ 55 672 octets +21‎ →‎Décomposition analytique de formules annuler
• actudiff 09:4515 octobre 2019 à 09:45‎ PIerre.Lescanne discuter contributions‎ 55 651 octets +234‎ →‎Décomposition analytique de formules annuler
• actudiff 08:2115 octobre 2019 à 08:21‎ 92.184.99.199 discuter‎ 55 417 octets 0‎ →‎La barre de Sheffer : rectification d'une faute d'orthographe annuler Balise : Éditeur visuel

17 septembre 2019

• actudiff 08:4517 septembre 2019 à 08:45‎ 41.202.207.16 discuter‎ 55 417 octets −1‎ →‎Connecteurs de rhétorique, de philosophie et de mathématiques : Correction d’une erreur d’orthographe qui change la signification annuler Balises : Modification par mobile Modification par le web mobile

16 novembre 2018

• actudiff 18:0216 novembre 2018 à 18:02‎ PIerre.Lescanne discuter contributions‎ 55 418 octets −7‎ →‎Connecteurs logiques propositionnels : qu'ont-ils d'usuels ? annuler
• actudiff 14:2816 novembre 2018 à 14:28‎ 145.242.20.217 discuter‎ 55 425 octets +25‎ →‎Connecteurs logiques propositionnels annuler Balise : Éditeur visuel

22 septembre 2018

• actudiff 14:3822 septembre 2018 à 14:38‎ Nobrakal discuter contributions‎ m 55 400 octets 0‎ →‎Utilité des formules propositionnelles : typo annuler Balise : Éditeur visuel

26 juillet 2018

• actudiff 18:4126 juillet 2018 à 18:41‎ Bot de pluie discuter contributions‎ m 55 400 octets −113‎ Typographie : espace fautive dans parenthèses avec AWB annuler

16 juillet 2018

• actudiff 22:0016 juillet 2018 à 22:00‎ Jaipasdepseudo discuter contributions‎ m 55 513 octets +57‎ WPCleaner v1.34 - Homonymies : Correction de 3 liens - McCluskey, Propositions, William Hamilton, reste 1 à corriger - Vernaculaire annuler

22 mars 2018

• actudiff 19:5922 mars 2018 à 19:59‎ PIerre.Lescanne discuter contributions‎ 55 456 octets −2‎ →‎Propositions annuler
• actudiff 19:5722 mars 2018 à 19:57‎ PIerre.Lescanne discuter contributions‎ 55 458 octets −276‎ →‎Propositions : on parle de logique mathématique annuler
• actudiff 19:5522 mars 2018 à 19:55‎ PIerre.Lescanne discuter contributions‎ m 55 734 octets +47‎ →‎Propositions : mise en forme annuler

13 mars 2018

• actudiff 19:0013 mars 2018 à 19:00‎ PIerre.Lescanne discuter contributions‎ 55 687 octets +111‎ →‎Connecteur: SI ... ALORS ... SINON ... annuler
• actudiff 18:5813 mars 2018 à 18:58‎ PIerre.Lescanne discuter contributions‎ 55 576 octets −5 049‎ →‎IDENTITÉ et évaluation : travail indédit annuler