Bonjour,
J'ai une démonstration à faire et je pense qu'elle est bonne, mais je serais rassuré par un avis extérieur.

Je cherche à prouver que : ( A => B ) => ( C => D )
J'arrive à : [( A => B ) et C ] => D

Ma démonstration est elle faite ? En gros, la deuxième ligne entraine-t-elle la première ?

Sinon, si vous avez un programme de vérification des propositions logiques, je suis preneur.