Forum de mathématiques - Bibm@th.net
Vous n'êtes pas identifié(e).
- Contributions : Récentes | Sans réponse
- Accueil
- » Entraide (supérieur)
- » algébre(elements de logique)
- » Répondre
Répondre
Résumé de la discussion (messages les plus récents en premier)
- freddy
- 22-12-2009 12:06:37
Salut,
pour le second exo, il n'y a pas d'équivalence, mais simplement implication.
C'est grâce au principe du tiers exclu qu'on a pu construire le raisonnement par l'absurde. Autrement dit, ce dernier n'a aucun sens si le premier n'existe pas.
Un peu de lecture ?
http://fr.wikipedia.org/wiki/Principe_du_tiers_exclu
Bon courage !
- adnane
- 21-12-2009 15:13:19
merci beaucoup pour l'aide dans le premier exo
- freddy
- 21-12-2009 13:18:55
Re salut,
quant à l'exo 2, je pense qu'il y a confusion : le raisonnement par l'absurde repose sur le principe du tiers exclu.
Cela te va ?
- freddy
- 21-12-2009 13:07:23
Re,
tu ne sais pas par où commencer, ou tu ne sais pas chercher ?
Ci après un lien qui répond à ta première question (dont l'énoncé est par conséquent faux!)
- adnane
- 21-12-2009 12:23:39
je nai pas d'idées pour debuter avec;
- freddy
- 21-12-2009 11:23:16
Salut,
c'est un ordre, un devoir, ou une demande d'aide ?
Si oui à la dernière question, où est ton problème ?
A te relire.
- adnane
- 21-12-2009 00:52:00
exo1 :montrer en utilisant le principe du tiers exclusqu'il existe un couple (a,b)d'irrationnels strictement positifs tel que:a^b soit rationnel.
exo2 :montrer que le principe du tiers exclus (pour toute proposition P ,on a P ou nonP) et le raisonnement par l'absurde(pour toute propriété P ,non nonP entraine P )sont equivalents.
Et merci d'avance pour l'aide