Série d'exercices sur la logique mathématique - 1 BAC SM - Modes de raisonnements

belehsen said
10 minute read
0

Bienvenue dans mon article dédié à la logique mathématique ! Si vous êtes passionné par les défis intellectuels et la résolution de problèmes, vous êtes au bon endroit. Dans cet article, je vous propose une série d'exercices captivants qui vous plongeront dans le monde fascinant de la logique formelle. Que vous soyez un étudiant curieux, un amateur de mathématiques ou simplement un esprit logique avide de stimulation, ces exercices vous aideront à affûter vos compétences en raisonnement déductif, à maîtriser les lois logiques fondamentales et à explorer les subtilités de l'argumentation valide. Préparez-vous à embarquer pour un voyage captivant au cœur de la logique mathématique !




Série d'exercices sur la logique mathématique


  • Les Lois logiques
  • Ecriture avec quantificateurs
  • Négation d'une proposition mathématique
  • Raisonnement par le contre-exemple
  • Raisonnement par contraposée
  • Principe de récurrence
  • Raisonnement par l'absurde
  • Raisonnement par disjonction des cas
  • Raisonnement déductif
  • Raisonnement par équivalences successives

Exercice: Les Lois logiques

Les lois logiques jouent un rôle crucial en logique formelle et en mathématiques, où elles permettent d'effectuer des déductions et des raisonnements rigoureux. Elles servent de fondements pour la manipulation symbolique des expressions logiques et sont essentielles pour vérifier la validité des arguments et des démonstrations.

  1. Loi de double négation : (p)p
  2. Loi de tiers exclu : ppVrai
  3. Loi de De Morgan : (pq)pq ; (pq)pq
  4. Lois de contraposition : pqqp
  5. Loi de transitivité : Si pq et qr sont vraies, alors pr est vraie.

Exercice: Ecriture avec quantificateurs

Ecrire les propositions suivantes en langage mathématique( c'est à dire avec utilisations de symboles et quantificateurs logiques et )

  1. Pour tout entier naturel n, si n est pair, alors n2 est pair.
  2. Il existe un nombre réel x tel que x2=4.
  3. Pour tout réel x, si x>0, alors 1/x>0.
  4. Il existe un entier naturel n tel que n soit divisible par 3 et par 5.
  5. Pour tout nombre réel x, si x est rationnel, alors x est aussi rationnel.
  6. Il existe un entier naturel n tel que n2 soit supérieur à 100.
  7. Il existe un nombre réel x tel que x33x2+2x=0.
  8. Pour tout entier naturel n, n2+3n+2 est un nombre pair.
  9. Il existe un nombre entier n tel que n soit un carré parfait et n soit inférieur à 100.

Exercice: Négation d'une proposition mathématique

Soit P une proposition. La négation de P est la proposition notée (nonP) qui est vraie lorsque P est fausse et fausse lorsque P est vraie. Voici quelques questions pour pratiquer la négation logique.

Ecrire la négation de chacune des propositions logiques suivantes :

  1. (P1): xRaR/x2+2a=0
  2. (P2): xR(ϵ>0|x|<ϵx=0)
  3. (P3): xRyR/x2+y2=1
  4. (P4): nN n2+1 est premier ou 3n3+5 est impair
  5. (P5): aR,bR[(xR)a<xb<x](b<a)

Exercice: Raisonnement par le contre-exemple

  1. Montrer que la proposition suivante est fausse : (xR):x2x.
  2. Montrer que la proposition suivante est fausse : nN):n2 est pair.
  3. Montrer que la proposition suivante est fausse : (nN):n2+n+1 est un entier premier.

Exercice: Raisonnement par contraposée

Le but de cet exercice est de donner des situations où le principe de Raisonnement par contraposée s'applique. en fait ce mode de Raisonnement est utilisé pour prouver des implications difficiles par l'intermédiaire d'autres implications un peu faciles. essayer de faire ces questions attentivement. Mais il ne faut pas confondre la réciproque et la contraposée.

  1. Soit nN, en utilisant la contraposée montrer que n2 est pair n est pair .
  2. Soit xR, montrer que x8x+2x+52
  3. Soit x,yR, prouver que xy(x+1)(y1)(x1)(y+1)
  4. Soit a un réel, prouver que Si a2 n'est pas un multiple entier de 16, alors a2 n'est pas un entier pair.
  5. Soit x,y]1;+[, montrer que xyx22xy22y
  6. Soit x,yR, prouver que (x12ety12)(xy2xy+212)

Exercice: Principe de récurrence

Dans cet exercice on vous propose des questions classiques sur l'utilisation du principe de récurrence, en faisant ces questions vous seriez capable de résoudre n'importe qu'il problème basé sur le raisonnement par récurrence.

  1. Montrer que nN;3n1+2n.
  2. Montrer par récurrence que :pour tout entier n5 ona 2n6n
  3. Montrer que pour tout nN, 1+2+3++n=n×(n+1)2
  4. Prouver que pour tout entier nN on a k=1nk2=12+22+32++n2=n×(n+1)×(2n+1)6
  5. Montrer que pour tout nN on a : k=1nk3=13+23+33++n3=n2×(n+1)24
  6. Montrer que pour tout nN: k=0k=n(2k+1)=1+3+5++(2n+1)=(n+1)2.
  7. Montrer que : nN;n3+2n est divisible par 3
  8. Montrer que pour tout nN: on a 23 divise 52n+1+2n+2+2n+1
  9. Montrer que : nN;4n+6n1 est divisible par 9
  10. Montrer que : nN ; le nombre 7n1 est divisible par 6
  11. Soient a et b deux nombres réels. Montrer par récurrence que nN on a (a+b2)nan+bn2
  12. Démontrer par récurrence que pour tout entier n1 , on a : 11×2+12×3+13×4++1n(n+1)=11n+1
  13. Démontrer par récurrence que pour tout entier naturel n, 32n1 est un multiple de 8

Exercice: Raisonnement par l'absurde

Le raisonnement par absurde est l'un des types de raisonnement les plus fort. Partant de la négation d'une proposition, on construit un raisonnement logique qui aboutit à la contradiction, on conclut finalement que la proposition en question est vraie. l'exemple le plus connu de ce raisonnement et l'irrationalité de racine de 2. En utilisant l'absurde Montrer que :

  1. 2Q
  2. 13D
  3. nN,n+1n+2N
  4. nN,n2+7n+12N
  5. Montrer que (xR):x2+1x211.
  6. Montrer que (xR):x2+1x+1.
  7. Montrer que (xR+):xx+2x+4.
  8. Montrer que 2Q.

Exercice: Raisonnement par disjonction des cas

Lorsque la démonstration d'une propriété dépend de la valeur de x, il est parfois utile de faire une disjonction de cas : on sépare le raisonnement suivant toutes les valeurs que peut prendre x. On peut, par exemple, séparer les cas où un entier est pair ou impair, ou encore séparer les cas où un réel est positif ou est strictement négatif.

Voici quelques questions à propos de ce mode de raisonnement :

  1. Montrer que, pour tout entier relatif n, n(n+1)2 est un entier.
  2. Démontrer que, pour tout entier naturel n, le nombre n(n2+5) est divisible par 3 .
  3. Résoudre dans R l'équation suivante |x|+|x+1|+|x1|=0
  4. Démontrer que, pour tout xR, |x1|x2x+1

Raisonnement par disjonction des cas

Voici un autre exercice sur ce mode de raisonnement (" disjonction des cas ")

  1. Résoudre dans R les inéquations suivantes : x2x5;|x1|+2x30x25x+62x3
  2. Résoudre dans R les équations suivantes : (a)32|x4|=2x+5 ; puis (b)|x2|+|x3|=x+2 ; et (c)|x1|+|x+1|=|x|
  3. Montrer que (xR):|x1|x2x+1
  4. Soit n,pN, montrer que n×p est pair ou n2p2 est un multiple de 8 .
  5. Montrer que (nN);n(n2+5) est multiple de 3 .

Exercice: Raisonnement déductif

Le raisonnement déductif est l'un des principaux types de raisonnement logique utilisé dans la résolution de problèmes. Il est basé sur le principe de déduction, qui consiste à tirer des conclusions spécifiques. Le raisonnement déductif suit une structure formelle, où les conclusions sont inévitables si les prémisses sont vraies. Dans ces questions vous allez voir comment fonctionne généralement le raisonnement déductif :

  1. Montrer que (xR):|x2|10<2x+3x+2<95
  2. Montrer que (a,bR):a2+b2=1|a+b|2
  3. Soient x et y deux réels tels que :|x|12 et |y|1 Montrer que |4x2yyx|1716
  4. Montrer que ((a,b)R2):a2+b2=0a=0 et b=0
  5. Soit xR+et yR+, montrer que : x+y+2=2x+2yx=y=1
  6. Montrer que (xRn+)x+1x2
  7. Soient x et p deux réels strictement positifs. montrer que x5x3+x=px62p1
  8. Soit xR,mq : |x1|12251x+123
  9. Soit xR,mq(x5 et x5)34+x21

Exercice: Raisonnement par équivalences successives

Le principe fondamental du raisonnement par équivalences successives est de démontrer l'équivalence entre deux énoncés en utilisant une série de transformations logiques valides. Le raisonnement repose sur l'idée que si deux énoncés sont équivalents, alors ils partagent la même valeur de vérité, c'est-à-dire qu'ils sont tous les deux vrais ou tous les deux faux.

  1. Soient a et b deux réels. Montrer que a2+b22ab.
  2. Montrer que xR:x2+1x22.

Si vous êtes satisfait par cette série d'exercices veillez la partager avec vos amis et merci !

Enregistrer un commentaire

0Commentaires

Enregistrer un commentaire (0)

#buttons=(Accept !) #days=(20)

Our website uses cookies to enhance your experience. Check Now
Accept !
Today | 4, April 2025