« Logique (mathématiques)/Exercices/Méthode de Quine » : différence entre les versions
Contenu supprimé Contenu ajouté
m Robot : Changement de type cosmétique |
maintenance |
||
Ligne 1 :
{{Exercice
| idfaculté = mathématiques
| leçon = [[
| numéro = 3
| niveau = 15▼
| précédent = [[../Forme Normale Conjonctive/]]
▲|niveau=15
| suivant = [[../Cohérence et formes clausales/]]
}}
Ligne 36 :
<br />La forme normale conjonctive est donc :
<math>FNC \equiv (\neg A) \or B \or C</math>
}}
{{Bas de page
| idfaculté = mathématiques
| leçon = [[../../|Logique]]
| précédent = [[../Forme Normale Conjonctive/]]
| suivant = [[../Cohérence et formes clausales/]]
}}
| |||