Complément du complément
Bonjour à tous
Je veux prouver que tout élément d’algèbre de [large]B[/large]oole est le complément de son complément c-à-d (x')' =x
Est-ce que c'est juste si je le fais avec les tables de vérité puisque pour une égalité x et (x')' auront la même table de vérité ?
Ou dois-je procéder autrement ?
Merci pour votre aide.
[George Boole (1815-1864) prend toujours une majuscule. AD]
Je veux prouver que tout élément d’algèbre de [large]B[/large]oole est le complément de son complément c-à-d (x')' =x
Est-ce que c'est juste si je le fais avec les tables de vérité puisque pour une égalité x et (x')' auront la même table de vérité ?
Ou dois-je procéder autrement ?
Merci pour votre aide.
[George Boole (1815-1864) prend toujours une majuscule. AD]
Réponses
-
Une démonstration, ça part d'axiomes. Quel langage et quels axiomes as-tu pour la théorie des algèbres de Boole ?
-
bonjour ;
Les propriétés sont : l'associativité, la commutativité, l'élément neutre, l'idempotence etc... -
Soit plus précis. En particulier, rien dans les mots que tu lâches en vrac ne parle du complément.
-
pour le complément :
on a x+x'=1 et xx'=0 -
Si pour tout $x$, on a $x'=1-x$ (probablement égal à $1+x$ aussi, non ?), il n'est pas difficile de calculer $(x')'$ (pour ces mêmes $x$).
-
Je croyais que tu avais tout ton temps, Math Coss ?
Il me semble que là, tu vas un peu vite en besogne. Es-tu sûr que le $+$ est bien la différence symétrique ? Quid de l'idempotence annoncée par liberty ? Que signifie ton $-$ ?
Pour liberty : tu as donc $x'+x''=1$ et $x'x''=0$. Essaie d'utiliser ça. pour montrer $x=x''$. Tu peux commencer par essayer de montrer une inégalité $x\leq x''$. -
Possible que ma réponse soit complètement fausse : j'ai interprété « algèbre de Boole » comme « algèbre sur $\mathbf{F}_2$, ça n'a peut-être rien à voir. En tout cas, ce n'est pas une question de temps.
-
Liberty, tu ne couperas pas à être plus précis sur tes axiomes d'algèbre de Boole (B majuscule).
-
Je suis d'accord avec GBZM: liberty se doit de donner une définition PARFAITEMENT précise*** de ce que signifie "algèbre de Boole" pour "mériter" une réponse précise et complète. La bi-interprétabilité** avec les anneaux de Boole est un théorème, et non dans la définition (** @Math Coss, ce que tu admets et qui est "toute la question" en quelque sorte)
*** il n'y a pas d'opérations initialement, une alg.Boole c'est un ordre qui a telles et telles propriétés.Aide les autres comme toi-même car ils sont toi, ils sont vraiment toi -
Premièrement , je n'oblige personne à me répondre, deuxièmement je sais très bien que Boole prend une majuscule, il s'agissait d'une faute de frappe.
Et troisièmement, arrêtez un peu avec votre arrogance à deux sous , je suis sur ce forum juste pour avoir de l'aide. vous ne voulez aider gardez vos critiques pour vous.
D'ailleurs j'ai réussi à avoir ma réponse à ma question initiale:
oui on peut utiliser les tables de vérité en transformant l'expression en forme propositionnelle.
et là , un philosophe va se pointer pour me dire : c'est quoi une forme propositionnelle?:-X -
À la limite, j'aurais aimé ça, comprendre ce que c'est qu'une algèbre de Boole.
-
C'est quoi une forme propositionnelle ?
-
Liberty: il n' y avait rien d'arrogant dans la demande de complément (sans jeu de mot) que je t'adressais pour pouvoir apporter une réponse plus adaptée. :-DAide les autres comme toi-même car ils sont toi, ils sont vraiment toi
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 65 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 69 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 314 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres