Pour être honnête, elle est nouvelle pour moi aussi vu que j'ai appris à partir des articles de ce site spécialement pour faire cet exercice. Pour moi, un prédicat est une proposition (assertion avec une valeur de vérité {vrai;faux} ?) qui est généralisée. C'est une propriété P qui s'applique à un o...

L'équivalence étant immédiate il ne devrait pas y avoir grand chose à dire. Ce que tu as écrit me semble parfaitement correct, je vais résumer pour que ce soir plus clair et pour m'en convaincre surtout : redéfinir A-B avec Pa et Pb: pr tt x, Pa(x)= x€A pr tt x, Pb(x)= x€B pr tt x, Pa-b(x)= (Pa(x) E...

Pa le prédicat caractérisant l'ensemble A et Pb, bah je pense que tu as deviné.

UP Je conçois bien que la fréquence des visites sur ce forum ne soit pas élevée, ni le pourcentage de personnes en mesure de m'aider, mais il ne me reste que quelques jours et c'est vraiment très important, je ne peux pas me permettre de dire j'attends la réponse pour comprendre, après tout ça ne me...

Démontrer la tautologie "A c B" (l'ensemble A est inclut dans l'ensemble B) logiquement équivalent (le égal avec 3 barres) à "A - B = 0". C'est à dire la différence ensembliste de A et B est égal à l'ensemble vide. Pour le démontrer il est demandé de d'abord redéfinir A-B à l'aid...

Bonjour à tous, voici mon problème: redéfinir la différence ensembliste A - B en utilisant les prédicats caractérisant ces deux ensembles et démontrer qu'on a (A c B) logiquement équivalent à (A-B = 0). L'équivalence est immédiate et j'ai trouvé pas mal d'ensembles équivalents, mais je n'arrive pas ...

En effet, ceux qui utilisent encore un baladeur passe pour des ringards de nos jours, et il faut avouer que les lecteurs mp3 sont quand même bien plus pratiques.