« Logique (mathématiques) » : différence entre les versions
Contenu supprimé Contenu ajouté
m Ce sont des formes clausales et non causales, puisque l'on parle de clauses. |
|||
Ligne 15 :
| exo2 = {{Exo|Forme Normale Conjonctive|0|?}}
| exo3 = {{Exo|Méthode de Quine|0|?}}
| exo4 = {{Exo|Cohérence et formes
| exo5 = {{Exo|Méthode des tableaux|0|?}}
| exo6 = {{Exo|Calcul naturel|0|?}}
|