« Logique (mathématiques)/Exercices/Méthode de Quine » : différence entre les versions
Contenu supprimé Contenu ajouté
m Robot : Remplacement de texte automatisé (-\n(==={0,3})(?: *)([^\n=]+)(?: *)\1(?: *)\n +\n\1 \2 \1\n) |
|||
Ligne 8 :
}}
=== L'exercice ===
Soit la formule : <math>\phi = (A \and (B \rightarrow \neg (A \or C))) \rightarrow (C \or \neg A)</math>.
|