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

Contenu supprimé Contenu ajouté
m Bot : Remplacement de texte automatisé (-=\s?\[\[\/(.*)\/\]\] += {{C|\1|0|}})
m Bot : Remplacement de texte automatisé (- {0,2}\| {0,1}exo(\d) {0,8}= {0,1}\[\[\/Exercices?\/(.*)\|(.*)\]\] + | exo\1 = {{Exo|\2|0|?}})
Ligne 12 :
| 8 = [[/Égalité|L'égalité]]
| 9 = [[/Complétude de la logique du premier ordre|La complétude de la logique du premier ordre]]
| exo1 = [[/Exercice/{{Exo|Forme Normale Disjonctive|Forme Normale Disjonctive]]0|?}}
| exo2 = [[/Exercice/{{Exo|Forme Normale Conjonctive|Forme Normale Conjonctive]]0|?}}
| exo3 = [[/Exercice/{{Exo|Méthode de Quine|Méthode de Quine]]0|?}}
| exo4 = [[/Exercice/{{Exo|Cohérence et formes causales|Cohérence et formes causales]]0|?}}
| exo5 = [[/Exercice/{{Exo|Méthode des tableaux|Méthode des tableaux]]0|?}}
| exo6 = [[/Exercice/{{Exo|Calcul naturel|Calcul naturel]]0|?}}
| exo7 = [[/Exercice/{{Exo|Calcul intuitionniste|Calcul intuitionniste]]0|?}}
| niveau =
| titre = La logique