« 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. |
mAucun résumé des modifications |
||
Ligne 12 :
| 8 = {{C|Égalité|0|?}}
| 9 = {{C|Complétude de la logique du premier ordre|0|?}}
| exo1 = {{Exo|Forme Normale Disjonctive|
| exo2 = {{Exo|Forme Normale Conjonctive|
| exo3 = {{Exo|Méthode de Quine|
| exo4 = {{Exo|Cohérence et formes clausales|
| exo5 = {{Exo|Méthode des tableaux|0|?}}
| exo6 = {{Exo|Calcul naturel|0|?}}
|