Bonjour à tous, j'aimerais un peu d'aide pour le Dm de MPSI. J'ai pas mal de difficultés sur ce premier chapitre de logique.
Voici le DM : http://img203.imageshack.ck.us/img203/2497/img001ge.jpg
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...
Bref je ne comprends pratiquement aucune question de la Partie 1, j'aimerais de l'aide pour au moins la page de gauche 