« Logique (mathématiques)/Exercices/Méthode des tableaux » : différence entre les versions

m
Robot : Remplacement de texte automatisé (-\n(==={0,3})(?: *)([^\n=]+)(?: *)\1(?: *)\n +\n\1 \2 \1\n)
m (Robot : Remplacement de texte automatisé (- n'est pas + n’est pas , - Aujourd'hui + Aujourd’hui , - d'euros + d’euros , - d'agir + d’agir , - l'apparence + l’apparence ))
m (Robot : Remplacement de texte automatisé (-\n(==={0,3})(?: *)([^\n=]+)(?: *)\1(?: *)\n +\n\1 \2 \1\n))
 
Voici 2 types d'exercices : un où la proposition est vraie et l'autre où la proposition est fausse.
=== Type 1 ===
Par temps d'hiver, pour passer en Andorre, il suffit d’avoir les pneus cloutés ou de mettre les chaînes à neige. L'hiver dernier Pierre n’est pas passé en Andorre. Sa voiture n'avait pas de pneus cloutés.
* Prouvez que Pierre n'a pas mis les chaînes à neige. Pour le faire, traduisez ces phrases en logique propositionnelle et utilisez la méthode des tableaux.
}}
 
=== Type 2 ===
Soit la conséquence suivante : <math>\{a,b \rightarrow \neg(a \or c)\} \models c \or \neg a</math>.
* Est-elle vraie ? Prouvez-le en utilisant la méthode des tableaux.
143 371

modifications