« Logique (mathématiques) » : différence entre les versions

Contenu supprimé Contenu ajouté
Aleowyne (discussion | contributions)
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 causalesclausales|0|?}}
| exo5 = {{Exo|Méthode des tableaux|0|?}}
| exo6 = {{Exo|Calcul naturel|0|?}}