Annuler
connectez vous
logique en post-bac
- Description de mathématique formelle-termes et relations
- Théorèmes
- Théories logiques
- Équations différentielles : un Cours complet avec des exemples
- Généralités sur les matrices, applications linéaires, changement de base, rang d'une matrice - supérieur
- Ensemble et application Partie II
- Espaces vectoriels et Applications linéaires - supérieur
- Un best-of d'exos de probabilités (après le bac)
Inscription / Connexion Nouveau Sujet
Accueil l'île des mathématiques Forum de mathématiquesListe de tous les forums de mathématiques SupérieurOn parle exclusivement de maths, pour le supérieur principalement, les BTS, IUT, prépas... Maths sup LogiqueTopics traitant de logique [tout]Lister tous les topics de mathématiques
Niveau Maths sup
Application du calcul booléen au raisonnement logique
Posté par liberty20180
Bonjour à tous
Svp besoin de votre pour ce qui suit
On a les hypothéses suivantes :
a
b;cd;
b
d.
peut-on déduire les conclusions suivantes:
1)b; 2)ac; 3)ab; 4)a
b
En faisant la transformation de la forme disjonctive à une équation booléenne je trouve:
x1'x3'x2'+x1'x3'x4'+x1'x4'x2'+x2x3'x4' =1
et on doit arriver pour la première conclusion que x2=1 sachant que (x1 ,x2,x3,x4 sont a,b,c,d dans l'univers booléen
pour le premier cas je trouve comme contre exemple : b=0 a=0 d=0 et c=0 donc conclusion fausse
la deuxiÈme conclusion je dois trouver que :x1'+x3'=1
contre exemple : a=1;b=1;c=0;d=0
Est-ce que mes résultats sont bon?
pour 3 et 4 j'y arrive pas besoin de votre aide si possible
Merci
salut
Citation :
sachant que (x1 ,x2,x3,x4 sont a,b,c,d dans l'univers booléen
quel est l'intérêt de passer de a, b, c et d à des x_i ... surtout quand on ne sait même pas faire des indices ?sachant que (x1 ,x2,x3,x4 sont a,b,c,d dans l'univers booléen
J'ai mis les indices:
On a les hypothéses suivantes :
ab;cd;bd.
peut-on déduire les conclusions suivantes:
1)b; 2)ac; 3)ab; 4)ab
En faisant la transformation de la forme disjonctive à une équation booléenne je trouve:
x1'x3'x2'+x1'x3'x4'+x1'x4'x2'+x2x3'x4' =1
et on doit arriver pour la première conclusion que x2=1 sachant que (x1 ,x2,x3,x4 sont a,b,c,d dans l'univers booléen
pour le premier cas je trouve comme contre exemple : b=0 a=0 d=0 et c=0 donc conclusion fausse
la deuxiÈme conclusion je dois trouver que :x1'+x3'=1
contre exemple : a=1;b=1;c=0;d=0
Est-ce que mes résultats sont bon?
pour 3 et 4 j'y arrive pas besoin de votre aide si possible
Merci