Question de logique... (implication,...)

par **fifiabdo** » 02 Déc 2006, 23:36

Bonjours a tous, j'ai un probleme qui me casse la tete ,pourtant il semble tres stupide ;

si j'ai :

P => Q => R
P => E => R

c'est suffisant pour confirmer que Q <=> E ?
Merci d'avances

par **Elsa_toup** » 02 Déc 2006, 23:40

Bonsoir,

J'ai envie de dire: NON !!!
Si P est "n est divisible par 6", Q : "n est divisible par 2", E: "n est divisible par 3" et R: "n est non premier".

On a bien les implications données, mais Q

E

par **fifiabdo** » 02 Déc 2006, 23:47

Elsa_toup , merci pour ta reponse! :) j'ai du pensé a ca , mais je tend a le prouver formellement... , commnet faire :( ?
merci de plus

par **Imod** » 02 Déc 2006, 23:54

Le contre-exemple n'est plus une preuve ?

Imod

par **fifiabdo** » 03 Déc 2006, 00:11

bien sur que oui , mais
si j'avais seulement , les bases de la theorie des ensembles et la methode des calcules des propositions , rien de plus, puis-je pas arriver a une demonstration plus formelle? sans utilisation d'exemples ou de contre exemples

par **Imod** » 03 Déc 2006, 00:45

Un exemple ne prouve rien mais un contre-exemple prouve sans ambiguïté et formellement qu'une propriété est fausse . Il n'y a pas de réticence à avoir de ce côté .

Imod

Question de logique... (implication,...)

Question de logique... (implication,...)

Qui est en ligne