Logique
Voici une liste d'exercice portant sur le début du cours de compléments de mathématiques. Consigne : prendre les exercices dans l'ordre. Lorsque vous avez totalisé 30 points sur un exercice, vous pouvez passer au suivant. Si vous parvenez au bout de la feuille avant la séance, vous pouvez essayer d'autres exercices sur le même programme. Pour cela, taper logique dans le moteur de recherche de la page d'accueil.

Exercice 1. (Non-imprimable: Calcul Booléen)

Exercice 2. (Non-imprimable: Calcul Booléen)

Exercice 3. (Non-imprimable: Calcul Booléen)

Exercice 4.

Léa possède les caractéristiques suivantes :

Pour adhérer à un club de loisir féminin , Léa devrait remplir toutes les conditions ci-dessous.
Pour chacune d'entre elles, indiquez si Léa la vérifie ou pas :

1. elle est allemande ou elle joue du piano ___________
2. si elle ne se maquille pas et si elle n'est pas allemande alors elle ne roule pas en vélo ___________
3. elle ne se maquille pas et elle ne roule pas en vélo ___________
4. si elle joue du piano ou si elle roule en vélo alors elle est allemande ___________

Exercice 5.

Pour adhérer à un club de loisir masculin, tout candidat est censé remplir chacune des conditions suivantes :

  1. il est australien ou il surfe
  2. s' il surfe alors il porte une cravate
  3. s' il surfe ou s' il ne porte pas de cravate alors il est australien
  4. s' il est australien et s' il ne surfe pas alors il passe ses vacances à Bali
  5. s' il passe ses vacances à Bali ou s' il porte une cravate alors il n'est pas australien

Montrez que ces conditions sont incohérentes en prouvant que l'on peut en déduire une contradiction. C'est-à-dire qu'il existe une proposition A, dans la liste suivante, qui devrait être à la fois vraie et fausse et ce dans tous les interprétations possibles.

___________

Remarque : vous devez, tel Sherlock Holmes, savoir envisager tous les cas et pister toutes les déductions ...

Exercice 6. Donner la négation de la phrase suivante

Il existe un mathématicien qui est farceur

Exercice 7. Soient a et b deux entiers.

"ab est pair" est une condition ____________ pour que a+b soit impair.

Exercice 8. La propriété suivante est-elle vraie ?

(\forall x\in  \NN)  \  (\exists y\in  \QQ)\ ( \mid x-y\mid>1/2)

Exercice 9. La propriété suivante est-elle vraie ?

(\exists M\in \RR)  \  (\forall x \in \RR^*)\  (\forall n\in \NN^*) (|\ln(x/n)| <M)

Réponses

Réponse à l'exercice 4.

Réponse à l'exercice 5.

Réponse à l'exercice 6.

Réponse à l'exercice 7.

Réponse à l'exercice 8.

Réponse à l'exercice 9.