Théorème de complétude du calcul des propositions

Rediriger vers :

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