Aide Svp

[ramzi12]

Je suis un etudiant en premiere anée maths/informatique et je suis bloqué, aide svp
question : Montrer que P→(Q→R) ≡ (P ∧ Q) → R

[Maxymyze]

(P => Q) équivaut à ((¬P) ou Q) (Les tables de vérité sont identiques)
Donc :
{(P =>[ Q => R]}
<=> {(¬P) ou ( Q => R)}
<=> {(¬P) ou [(¬Q) ou R]}
<=> {(¬P) ou (¬Q) ou R} (associativité quand il n'y a qu'un opérateur logique)
<=> {[(¬P) ou (¬Q)] ou R}
<=> {[¬(P et Q)] ou R}
<=> {(P et Q) => R}