La recherche a retourné 7 résultats
Aller sur la recherche avancée
- 03/06/2009 - 12:45:19
- Forum : Mathématiques
- Sujet : tautologie à démontrer
- Réponses : 9
- Vues : 7085
Re: tautologie à démontrer
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...
- 02/06/2009 - 11:06:57
- Forum : Mathématiques
- Sujet : tautologie à démontrer
- Réponses : 9
- Vues : 7085
Re: tautologie à démontrer
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...
- 01/06/2009 - 21:26:59
- Forum : Mathématiques
- Sujet : tautologie à démontrer
- Réponses : 9
- Vues : 7085
Re: tautologie à démontrer
Pa le prédicat caractérisant l'ensemble A et Pb, bah je pense que tu as deviné.
- 01/06/2009 - 12:26:46
- Forum : Mathématiques
- Sujet : tautologie à démontrer
- Réponses : 9
- Vues : 7085
Re: tautologie à démontrer
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...
- 31/05/2009 - 20:58:27
- Forum : Mathématiques
- Sujet : tautologie à démontrer
- Réponses : 9
- Vues : 7085
Re: tautologie à démontrer
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...
- 31/05/2009 - 18:27:08
- Forum : Mathématiques
- Sujet : tautologie à démontrer
- Réponses : 9
- Vues : 7085
tautologie à démontrer
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 ...
- 27/01/2009 - 20:04:51
- Forum : Numérique
- Sujet : [News] Les ventes de jeux vidéo dépassent celles des films DVD / Blu-Ray
- Réponses : 9
- Vues : 24348