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'est donc 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 solution mais 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 ?
-----