« Logique (mathématiques) » : différence entre les versions
Contenu supprimé Contenu ajouté
m Robot : Changement de type cosmétique |
mAucun résumé des modifications |
||
Ligne 15 :
| exo2 = {{Exo|Forme Normale Conjonctive|4|?}}
| exo3 = {{Exo|Méthode de Quine|4|?}}
| exo4 = {{Exo|Cohérence et formes clausales|
| exo5 = {{Exo|Méthode des tableaux|
| exo6 = {{Exo|Calcul naturel|
| exo7 = {{Exo|Calcul intuitionniste|0|?}}
| niveau = 15
|