Ensembles : Intersection Union

par **max06** » 13 Sep 2007, 19:40

Bonjour, j'ai un problème en ce qui concerne les relations entre intersection/union et quantificateurs. J'explique :

Je sais que par def:

Mais que se passe-t-il lorsque j'ai un truc comme ça par exemple :

??

je suppose qu'on commence en étape :

Mais après je vois pas trop...

Merci...

par **legeniedesalpages** » 13 Sep 2007, 19:42

max06 a écrit:Bonjour, j'ai un problème en ce qui concerne les relations entre intersection/union et quantificateurs. J'explique :

Je sais que par def:

Mais que se passe-t-il lorsque j'ai un truc comme ça par exemple :

??

je suppose qu'on commence en étape :

Mais après je vois pas trop...

Merci...

Bonsoir,
seconde étape:

par **max06** » 13 Sep 2007, 19:51

juste ça alors?
On remplace juste les symboles par leurs traductions en quantificateurs à la suite?

par **legeniedesalpages** » 13 Sep 2007, 20:01

Oui, tu le prouve grâce à tes deux définitions que t as donné au tout début.
Pour mieux voir tu peux poser

par **max06** » 13 Sep 2007, 20:04

okay merci...

par **Lierre Aeripz** » 13 Sep 2007, 21:03

L'un des intérèts des quantificateurs est que si l'on te dit qu'une expression A est équivalent à une expression B, alors tu peux remplacer A par B dans toute expression contenant A sans avoir peur de produire un non-sens.

Ensembles : Intersection Union

Ensembles : Intersection Union

Qui est en ligne