Bonjour à tous. J'ai un DM en MPSI à faire et j'ai besoin de votre aide.
Tout d'abord voici le DM : *******************************

J'ai beaucoup de mal sur ce chapitre de logique.

I) 1) il suffit de remplacer B et C par A dans (2) c'est tout ?
2) a) A => (B => A) donc si on distingue A = B1 en utilisant (1) on a B1 => (B => B1) ou encore B1 => B1 et donc A => B1 (ça m'étonnerai que cela soit ça mais bon)
b) A => B1 donc on suppose que A => Bp et on doit montrer que A => Bp+1 mais comment ?

3) Je comprends plus les questions...

Je suis dans l'obscurité la plus totale et je demande votre aide :/
Je vous remercie d'avance.

Edit jamo : lien supprimé, merci de faire l'effort de recopier l'énoncé si tu veux une réponse.