Forum de mathématiques - Bibm@th.net
Bienvenue dans les forums du site BibM@th, des forums où on dit Bonjour (Bonsoir), Merci, S'il vous plaît...
Vous n'êtes pas identifié(e).
- Contributions : Récentes | Sans réponse
- Accueil
- » Entraide (supérieur)
- » Logique
- » Répondre
Répondre
Résumé de la discussion (messages les plus récents en premier)
- pokkiri
- 21-07-2010 21:11:29
Merci Fred, j'ai compris. Tu m'as répondu en moins de dix minutes. Merci
Pokkiri
- Fred
- 21-07-2010 21:04:32
Bonjour,
Il faut y aller en 2 étapes.
D'abord, la négation de [tex]A\implies B[/tex] est [tex]A\, et\, (non\, B)[/tex]
Ainsi, la négation de ton assertion est :
[tex](P\, et\, Q)\, et\, (non(R\implies S))[/tex]
Tu refais la négation à l'intérieur, et tu obtiens :
[tex](P\, et\, Q)\, et\, (R\, et\, non\, S)[/tex]
Tu peux même enlever les parenthèses à la fin.
Fred.
- pokkiri
- 21-07-2010 20:59:12
Bonjour à tous
Je bloque sur cet exercice:
Ecrire la négation de l'assertion suivante où P, Q , R et S sont des propositions :
[tex]\left(P\,et\,Q\right)\Rightarrow \left(R\Rightarrow S\right)[/tex]
Merci beaucoup de votre aide.
A+







