« Logique (mathématiques)/Exercices/Cohérence et formes clausales » : différence entre les versions
Contenu supprimé Contenu ajouté
Création de l'exercice Balise : insanités |
m Robot : Correction syntaxique de type Règles orthographiques générales |
||
Ligne 9 :
Voici 2 types d'exercices pour les formes clausales.
=== Type 1 :
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 :
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).
|