Théorème de complétude du calcul propositionnel

Rediriger vers :

  • Théorème de complétude (calcul des propositions)