selfrespect
Expert sup
 Nombre de messages : 2514
Localisation : trou noir
Date d'inscription : 14/05/2006
 | | Sujet: non p Sam 07 Oct 2006, 13:36 | |
|  salut voici un petit exo de logique soit p l assertion P: Existe un element c de A et un seul telque R(c) determiner non P  | |
|
Ninja
Habitué
Nombre de messages : 15
Date d'inscription : 07/05/2006
| | Sujet: Re: non p Sam 07 Oct 2006, 14:25 | |
| Non(P) = (Il existe au moins deux éléments c1 et c2 de A tels que (R(c1) et R(c2))) ou (pour tout élément c de a on a: NonR(c)) | |
|
selfrespect
Expert sup
Nombre de messages : 2514
Localisation : trou noir
Date d'inscription : 14/05/2006
| | Sujet: Re: non p Sam 07 Oct 2006, 14:33 | |
| slt on peut simplifier P en remarquon que P <==> quelque soient (a,b) de A /P(a) et P(b)===> a=b puis conclure | |
|
