Bonjour,

je découvre la logique mathématique et j'aurais aimé une petite démonstration expliquée la dessus :

question 3 et 4.

je n'ai pas le corrigé.

merci

Si p est premier au dessus de 5, il est impair.

Si p est impair, est il premier au dessus de 5 ?

pas forcément mais si p vaut 7 alors la réponse est oui ?

Pour la question 3 :

On suppose (4) vraie. Il existe b € B tq pour tout a € A, E(a,b). Ce b, notons-le b0.

Soit a € A quelconque. Alors E(a,b0). Donc il existe bien b € B tel que E(a,b). Comme a est quelconque, cela prouve que pour tout a € A, il existe b € B tq E(a,b). Donc (3) est vraie.

ook merci.

je me dis qu'il me faut un prof :x

j'espère que ça va me servir ces exos