Enoncés logiques

[lynux]

Bonjour,

Je suis en train de m'initier aux éléments de logiques et je bloque sur une simplification :

((A et B)=>C) <=> ((A=>(B=>C))

(Le but est de démontrer l'équivalence)

Donc voici ce que j'ai fais :

((A et B)=>C)
((non A ou non B) ou C)
(non A ou C) ou (non B ou C)
(A=>C) ou (B=>C)
???


Merci de votre aide !

[zygomatique]

salut

à priori je ne vois pas pourquoi il y aurait équivalence ... mais admettons et vérifions le...

pour cela on peut faire les tables de vérité de chaque formule :
(a et b) => c
a => (b => c)
et vérifier qu'elles sont identiques

...

[lynux]

C'est bon enfaite j'ai trouvé je pense que c'est ça non ?

((non A ou non B) ou C) <=> (non A ou non B ou C) <=> (A=>(B=>C))

et oui pour les tables de vérités mais dans l'exercice il ne faut pas faire avec je crois