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
Pages : 1
#1 21-07-2010 20:59:12
- pokkiri
- Membre
- Inscription : 05-09-2009
- Messages : 24
Logique
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+
Hors ligne
#2 21-07-2010 21:04:32
- Fred
- Administrateur
- Inscription : 26-09-2005
- Messages : 7 348
Re : Logique
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.
Hors ligne
Pages : 1