« Logique (mathématiques) » : différence entre les versions
Contenu supprimé Contenu ajouté
m Bot : Remplacement de texte automatisé (- {0,2}\| {0,1}exo(\d) {0,8}= {0,1}\[\[\/Exercices?\/(.*)\|(.*)\]\] + | exo\1 = {{Exo|\2|0|?}}) |
m Bot : Remplacement de texte automatisé (- {0,2}\| (\d) {0,12}= {0,1}\[\[\/(.*)\/?\|(.*)\]\] + | \1 = {{C|\2|0|?}}) |
||
Ligne 7 :
| 3 = {{C|Déduction naturelle|0|}}
| 4 = {{C|Autres formulations des principes de la logique du premier ordre|0|}}
| 5 =
| 6 =
| 7 =
| 8 =
| 9 =
| exo1 = {{Exo|Forme Normale Disjonctive|0|?}}
| exo2 = {{Exo|Forme Normale Conjonctive|0|?}}
|