Page 1 sur 1

Logique

Posté : dim. 18 sept. 2016 10:46
par Juliette (Term S)
Bonjour,
Je bloque sur un exercice de logique:
Maths.png
Maths.png (6.8 Kio) Vu 4440 fois
Merci d'avance.

Re: Logique

Posté : dim. 18 sept. 2016 11:20
par SoS-Math(9)
Bonjour Juliette,

je ne comprends pas ton exercice ... c'est quoi P(e) ?

Si tu veux parler d'une partie de l'ensemble e, fais une récurrence par exemple.

SoSMath.

Re: Logique

Posté : dim. 18 sept. 2016 11:53
par Juliette (term S)
Maths.png
Maths.png (4.4 Kio) Vu 4437 fois
Le problème c'est queje ne sais pas comment m'y prendre.
Merci d'avance.

Re: Logique

Posté : dim. 18 sept. 2016 13:43
par SoS-Math(31)
La seule partie de l'ensemble vide est l'ensemble vide lui- même. Donc P(e)= e alors p(p(e)) = e et ainsi de suite.
Connais-tu la démonstration en appliquant le principe de récurrence ?

Re: Logique

Posté : dim. 18 sept. 2016 15:26
par Juliette (term S)
Merci de votre réponse.
Je connais le principe de récurrence pour les suites, mais je ne sais pas comment l'appliquer aux ensembles.
Par exemple pour l'initialisation, il faut que je commence à 0 mais je peux écrire P(0) ?
Merci d'avance.

Re: Logique

Posté : dim. 18 sept. 2016 17:16
par SoS-Math(31)
n est le nombre de p. e inclus dans p\(^{n}\)(e) où e ensemble vide.
Initialisation : pour n = 0, alors e =e donc la propriété vraie au rang n = 0.
Hérédité : Prenons un entier n tel que la propriété est vraie au rang n (on a e inclus P\(^{n}\)(e) = e). Il faut montrer la propriété au rang n + 1 càd on a e inclus P\(^{n+1}\)(e) = e

Re: Logique

Posté : dim. 18 sept. 2016 18:28
par Juliette (Term S)
Maths.png
Maths.png (2.58 Kio) Vu 4428 fois

Re: Logique

Posté : dim. 18 sept. 2016 18:55
par SoS-Math(31)
l'ensemble vide n'est pas un singleton. un singleton est un ensemble composé d'un élément donc il n'est pas vide.

Re: Logique

Posté : dim. 18 sept. 2016 19:06
par Juliette (Term S)
Maths.png
Maths.png (4.49 Kio) Vu 4426 fois
Merci d'avance.

Re: Logique

Posté : dim. 18 sept. 2016 19:16
par SoS-Math(31)
Effectivement je pense que \(\Phi\) n'est pas l'ensemble vide mais plutôt un élément d'où l'inclusion et non l'égalité.

Soit e un élément alors les parties de {e} sont {e} ou l'ensemble vide. Relis l'énoncé et revois les notations \(\Phi\) et P. Ce n'est pas très clair dans ce que tu me transmets.

Re: Logique

Posté : dim. 18 sept. 2016 19:16
par SoS-Math(31)
Effectivement je pense que \(\Phi\) n'est pas l'ensemble vide mais plutôt un élément d'où l'inclusion et non l'égalité.

Soit e un élément alors les parties de {e} sont {e} ou l'ensemble vide. Relis l'énoncé et revois les notations \(\Phi\) et P. Ce n'est pas très clair dans ce que tu me transmets.

Re: Logique

Posté : dim. 18 sept. 2016 19:32
par Juliette (Term S)
Maths.png
Maths.png (9.28 Kio) Vu 4423 fois

Re: Logique

Posté : lun. 19 sept. 2016 10:58
par SoS-Math(31)
Demande à ton enseignant des précisions sur ces notations :
* Que représente \(\Phi\) ? L'ensemble vide ne peut pas être n'est pas un élément, ni un singleton (ensemble qui possède exactement un élément) .
* Que représente P?

Re: Logique

Posté : lun. 19 sept. 2016 10:58
par SoS-Math(31)
Demande à ton enseignant des précisions sur ces notations :
* Que représente \(\Phi\) ? L'ensemble vide ne peut pas être n'est pas un élément, ni un singleton (ensemble qui possède exactement un élément) .
* Que représente P?