bonjour,
je ne comprends pas très bien comment on peut exprimer simplement un problème SAT et sa solution en calcul des prédicats ou en calcul des propositions.
en calcul des prédicats : un problème SAT c'estdonc une écriture très concise du théorème mais pour la preuve normalement on ne devrait faire que des déductions et on ne peut pas écrire simplement qu'on a trouvé une solution :
et en calcul des propositions on peut très bien écrire la solutionmais pour exprimer le problème on devra écrire
pour chaque
valeurs possibles pour les
ce n'est pas étrange comment façon de présenter la logique ?
-----