calcul propositionel

[inviteb3b67682]

bonsoir;
dans un exercice de logique; on nous demande d'etablir que :
est valide
mais j'ai trouvé que ce n'est pas valide ???
Merci pour votre aide
-----

[invite899aa2b3]

Dès lors que tu as et tu as forcément . Que te donne le calcul?

[inviteb3b67682]

si on passe à la table de vérité
tout systeme(0-1) ne confere pas à cette formule la valeur 1

[inviteb3b67682]

désolé , j'ai du me tromper dans les calculs , c'est bon j'ai trouvé que c'est valide

[A voir en vidéo sur Futura]