Développement #429

Titre : Théorème de compacité du calcul propositionnel

Contenu : On commence par démontrer qu'un produit dénombrable de métriques compacts est un métrique compact, puis on démontre le théorème de compacité du calcul propositionnel. Enfin on donne une application au pavage du plan.\rLe développement est trop long pour tenir en entier en 15 min : en maths, l'application au pavage n'est pas faite, et en info la compacité du produit de compact est admis.

Créé le : 23/07/2026 12:42

Mis à jour : 23/07/2026 12:42