2
La résolution propositionnelle est-elle un système de preuve complet?
Cette question concerne la logique propositionnelle et toutes les occurrences de «résolution» doivent être lues comme «résolution propositionnelle». Cette question est quelque chose d'extrêmement basique mais cela me dérange depuis un moment. Je vois des gens affirmer que la résolution propositionnelle est complète mais je vois aussi des gens affirmer …