td1(logique raisonnement) · 2016. 9. 1. · Iz—ll— — i12 par pos On a bien l'équivalence...
5
td1(logique raisonnement) · 2016. 9. 1. · Iz—ll— — i12 par pos On a bien l'équivalence souhaitée. In 2 Correction 8 On pose a On suppo In 3 alors il existe p et q entiers,