« Principe du tiers exclu » : historique des versions

Aller à la navigation Aller à la recherche

Sélection du diff : cochez les boutons radio des versions à comparer et appuyez sur entrée ou sur le bouton en bas.
Légende : (actu) = différence avec la dernière version, (diff) = différence avec la version précédente, m = modification mineure.

28 octobre 2024

  • actudiff 10:2228 octobre 2024 à 10:22 imported>Kreyp m 14 386 octets +14 386 Remplacement des implications mathématiques (⇒) par les implications logiques (→) dans les formules propositionnelles