Développement : Théorème de compacité du calcul propositionnel

Détails/Enoncé :

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.
Le 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.

Versions :

  • Auteur :
  • Remarque :
    Le Queffelec pour la première partie, le reste je n'ai pas de source…
  • Référence :
  • Auteur :
  • Remarque :
    Pour Tykhonoff dénombrable, on pourra voir chez Queffélec.
    Le PDF ci-joint, dû à Benjamin Dadoun (que je remercie !), donne la preuve du théorème de compacité et deux applications classiques.
  • Fichier :