Salut,
J'ai trouvé un exo et je dois donner la négation de :
( A => non (B))

C'est l'exercice 3, question A5 : http://licence-math.univ-lyon1.fr/lib/exe/fetch.php?media=exomaths:exercices_corriges_logique.pdf

Il y a le corrigé, mais je ne comprends pas pourquoi ça devient : non(non (A) ou non(B))

Merci à vous

La negation de X => Y est X et non Y
Donc la négation de ton implication est A et B

En effet, merci !

Pour l'histoire du non(non (A) ou non(B)), j'imagine que ton cours a dû définir le symbole A => B comme un raccourcis pour dire (non(A) ou B), donc là il déplie juste la définition et il simplifie.

Pour le A7 c'est la même chose en fait, c'est quel "non" qui te gêne ?

Le 21 septembre 2016 à 18:30:19 AlphaCygni a écrit :
Pour l'histoire du non(non (A) ou non(B)), j'imagine que ton cours a dû définir le symbole A => B comme un raccourcis pour dire (non(A) ou B), donc là il déplie juste la définition et il simplifie.

Pour le A7 c'est la même chose en fait, c'est quel "non" qui te gêne ?

C'est bon, j'ai trouvé le problème.
Et oui, j'étais perturbé car dans mon cours, la démonstration n'était pas détaillée de la même manière. Merci quand même!

Par contre au brouillon pour A8, j'avais fait ça :

non ((A et B) => non (C))
non (non((A et B) ou non (C))
non(non A ou non B) ou non (C))
(A ou B) et C

Mais je ne trouve pas mon erreur.

T'as mal appliqué de morgan à la dernière ligne, tous les ou deviennent des et

Du coup ça me donne A et B et C ?

Oui

Ouais mais c'est pas la réponse du corrigé

Ah oui en effet, beh le corrigé dit des bêtises il y a un et à la place du ou au début