« Équivalence logique » : historique des versions

Filtrer les versionsaffichermasquer

Jusqu’au :

Filtrer les balises :

Inverser la sélection

Outils externes et statistiques

Autres discussions [liste]

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

actudiff 17:361 octobre 2023 à 17:36‎ 105.66.3.211 discuter‎ 6 902 octets +1‎ Aucun résumé des modifications annuler Balises : Révoqué Modification par mobile Modification par le web mobile

actudiff 12:5622 janvier 2022 à 12:56‎ Anne Bauval discuter contributions‎ m 6 901 octets −1‎ Annulation de la modification de 2A01:E0A:4D8:72C0:8932:8121:72CE:A093 (d) l'équivalence est vraie même si y=0 annuler Balise : Annulation
actudiff 12:0422 janvier 2022 à 12:04‎ 2a01:e0a:4d8:72c0:8932:8121:72ce:a093 discuter‎ 6 902 octets +1‎ "Pour tous réels x non nul et y, on a" transformé en "Pour tous réels x et y non nuls, on a" annuler Balises : Révoqué Éditeur visuel

actudiff 09:4024 octobre 2021 à 09:40‎ Dibou discuter contributions‎ 6 760 octets +65‎ ajout d'une référence à la fonction coïncidence annuler Balise : Éditeur visuel

actudiff 00:2510 avril 2021 à 00:25‎ Lf(Lx(f)(x)x)Lx(f)(x)x discuter contributions‎ 6 691 octets +9‎ →‎Il faut et il suffit que : renommage en →‎Exemples de formulations usuelles : . Il y en a de nombreuses autres genre "p, si q", "p necéssite q", " p est nécessaire à q", etc où à chaque fois il faut réfléchir un peu pour savoir dans quel sens est l'implication, car le vocabulaire français utilisé ne donne pas d'indices annuler
actudiff 00:1510 avril 2021 à 00:15‎ Lf(Lx(f)(x)x)Lx(f)(x)x discuter contributions‎ 6 682 octets +26‎ →‎Il faut et il suffit que : correction a minima de l'écriture : "p->q->p" qui n'est pas une formule logique annuler

actudiff 17:469 avril 2021 à 17:46‎ HacHledj discuter contributions‎ 6 656 octets +986‎ Description explicite des notions "il faut que", "il suffit que", "condition nécessaire", "condition suffisante", "il faut et il suffit que" et "condition nécessaire et suffisante". annuler Balise : Éditeur visuel

actudiff 00:4011 septembre 2019 à 00:40‎ Anne Bauval discuter contributions‎ m 5 620 octets −3‎ Annulation de la modification de 80.12.63.158 (d) : correct aussi sans "la" annuler Balise : Annulation

actudiff 19:3610 septembre 2019 à 19:36‎ 80.12.63.158 discuter‎ 5 623 octets +3‎ Il manqué un "la" dans la phrase : P et Q ont ... même valeur de vérité. annuler Balises : Modification par mobile Modification par le web mobile

actudiff 19:5228 janvier 2019 à 19:52‎ Do not follow discuter contributions‎ m 5 620 octets +14‎ Révocation des modifications de 196.76.147.31 (retour à la dernière version de Michel Awkal) annuler Balise : Révocation
actudiff 19:5228 janvier 2019 à 19:52‎ 196.76.147.31 discuter‎ 5 606 octets −14‎ Aucun résumé des modifications annuler Balises : Modification par mobile Modification par le web mobile

actudiff 17:0525 novembre 2018 à 17:05‎ Michel Awkal discuter contributions‎ 5 620 octets +26‎ {{Palette|Règles de transformation}} annuler

actudiff 13:092 avril 2015 à 13:09‎ TomT0m discuter contributions‎ m 5 597 octets −10‎ corrections annuler
actudiff 13:062 avril 2015 à 13:06‎ TomT0m discuter contributions‎ 5 607 octets +268‎ précisions terminologique dans l'intro pour expliciter la redirection de "si et seulement si' dans un article sur la logique paracohérente annuler