« Logique (mathématiques)/Exercices/Cohérence et formes clausales » : 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 :
}}
== Exercices ==
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>.
| |||