Forum de mathématiques - Bibm@th.net
Vous n'êtes pas identifié(e).
- Contributions : Récentes | Sans réponse
Pages : 1
#1 21-12-2009 00:52:00
- adnane
- Membre
- Inscription : 21-12-2009
- Messages : 3
algébre(elements de logique)
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
Hors ligne
#4 21-12-2009 13:07:23
- freddy
- Membre chevronné
- Lieu : Paris
- Inscription : 27-03-2009
- Messages : 7 457
Re : algébre(elements de logique)
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!)
Hors ligne
#5 21-12-2009 13:18:55
- freddy
- Membre chevronné
- Lieu : Paris
- Inscription : 27-03-2009
- Messages : 7 457
Re : algébre(elements de logique)
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 ?
Dernière modification par freddy (21-12-2009 14:38:25)
Hors ligne
#7 22-12-2009 12:06:37
- freddy
- Membre chevronné
- Lieu : Paris
- Inscription : 27-03-2009
- Messages : 7 457
Re : algébre(elements de logique)
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 !
Hors ligne
Pages : 1