« Logique (mathématiques)/Exercices/Cohérence et formes clausales » : différence entre les versions
Contenu supprimé Contenu ajouté
m Robot : Remplacement de texte automatisé (- l'on + l’on ) |
m Robot : Remplacement de texte automatisé (-\n(==={0,3})(?: *)([^\n=]+)(?: *)\1(?: *)\n +\n\1 \2 \1\n) |
||
Ligne 9 :
Voici 2 types d'exercices pour les formes clausales.
=== Type 1 : À partir de la négation ===
Soit la conséquence suivante : <math>\models ((p \rightarrow q) \or (r \rightarrow s)) \rightarrow (p \and r \rightarrow q \or s)</math>.
* Est-elle vraie ? Prouvez-le en utilisant la méthode de résolution (appliquée aux formes clausales).
Ligne 46 :
}}
=== Type 2 : À partir de la contradiction ===
Soit la conséquence suivante : <math>\models (a \and b \or c \and d) \and (a \rightarrow \neg a) \and \neg c</math>.
* Est-elle vraie ? Prouvez-le en utilisant la méthode de résolution (appliquée aux formes clausales).
| |||