« Logique (mathématiques)/Exercices/Cohérence et formes clausales » : différence entre les versions

Contenu supprimé Contenu ajouté
Aleowyne (discussion | contributions)
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 : AÀ 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 : AÀ 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).