Professional Documents
Culture Documents
Cours 4 Logique Et Raisonnement
Cours 4 Logique Et Raisonnement
Cours 4:
Slim Bechikh
Nesrine AZOUZ ABDELADHIM 1 08/01/2013
12/10/2021July 16, 2014
METHODES DE RAISONNEMENT
Slim Bechikh
Nesrine AZOUZ ABDELADHIM 2 08/01/2013
12/10/2021July 16, 2014
Raisonnements
Slim Bechikh
Nesrine AZOUZ ABDELADHIM 3 08/01/2013
12/10/2021July 16, 2014
Raisonnements
Slim Bechikh
Nesrine AZOUZ ABDELADHIM 4 08/01/2013
12/10/2021July 16, 2014
Raisonnements
Slim Bechikh
Nesrine AZOUZ ABDELADHIM 5 08/01/2013
12/10/2021July 16, 2014
Raisonnements
• le principe d’identité ;
• le principe de non-contradiction ;
• le principe de tiers-exclu ;
• le principe de causalité.
Slim Bechikh
Nesrine AZOUZ ABDELADHIM 7 08/01/2013
12/10/2021July 16, 2014
la logique des prédicats
• le principe d’identité ;
Slim Bechikh
Nesrine AZOUZ ABDELADHIM 8 08/01/2013
12/10/2021July 16, 2014
la logique des prédicats
• le principe d’identité ;
• le principe de non-contradiction ;
Slim Bechikh
Nesrine AZOUZ ABDELADHIM 9 08/01/2013
12/10/2021July 16, 2014
la logique des prédicats
• le principe d’identité ;
• le principe de non-contradiction ;
• le principe de causalité.
Le principe de causalité énonce que : tout effet a une cause et dans les mêmes
conditions la même cause produit les mêmes effets.
Slim Bechikh
Nesrine AZOUZ ABDELADHIM 10 08/01/2013
12/10/2021July 16, 2014
Raisonnement naturel
C’est la méthode à laquelle vous êtes le plus habitué et la méthode la plus intuitive.
Exemple 1 :
Slim Bechikh
Nesrine AZOUZ ABDELADHIM 11 08/01/2013
12/10/2021July 16, 2014
Raisonnement naturel
Sachant de plus que l’implication est transitive, une démonstration prend très
souvent la forme suivante : P est vraie et P ⇒ Q ⇒ R ⇒ ... ⇒ S ⇒ T est vraie, et on
a donc montré que T est vraie.
Slim Bechikh
Nesrine AZOUZ ABDELADHIM 13 08/01/2013
12/10/2021July 16, 2014
Raisonnement naturel
Exemple : montrer que, pour tout n ∈ ℕ, si n est un entier impair alors 𝑛2 est
impair.
Slim Bechikh
Nesrine AZOUZ ABDELADHIM 14 08/01/2013
12/10/2021July 16, 2014
Raisonnement naturel
Exemple : montrer que, si 𝑚 et 𝑛 sont tous deux des carrés parfaits, alors 𝑛𝑚 est
aussi un carré parfait.
Rq: Un entier n est un carré parfait s'il existe un entier k tel que 𝑛 = 𝑘 2
Slim Bechikh
Nesrine AZOUZ ABDELADHIM 15 08/01/2013
12/10/2021July 16, 2014
Raisonnement naturel
Slim Bechikh
Nesrine AZOUZ ABDELADHIM 16 08/01/2013
12/10/2021July 16, 2014
Le raisonnement par disjonction des cas (cas par cas)
Si l’on souhaite vérifier une assertion P(x) pour tous les x dans un ensemble
E, on montre l’assertion pour les x dans une partie A de E, puis pour les x
n’appartenant pas à A. C’est la méthode de disjonction ou du cas par cas.
Slim Bechikh
Nesrine AZOUZ ABDELADHIM 17 08/01/2013
12/10/2021July 16, 2014
Le raisonnement par disjonction des cas (cas par cas)
Slim Bechikh
Nesrine AZOUZ ABDELADHIM 18 08/01/2013
12/10/2021July 16, 2014
Le raisonnement par disjonction des cas (cas par cas)
Exemple 1.
Montrer que, pour tout x ∈ R, 𝑥 − 1 ≤ 𝑥 2 − 𝑥 + 1.
Slim Bechikh
Nesrine AZOUZ ABDELADHIM 19 08/01/2013
12/10/2021July 16, 2014
Le raisonnement par disjonction des cas (cas par cas)
Exemple 2 :
𝑛(𝑛+1)
Montrer que, pour tout n ∈ ℕ, est un entier naturel.
2
Slim Bechikh
Nesrine AZOUZ ABDELADHIM 20 08/01/2013
12/10/2021July 16, 2014
Le raisonnement par l’absurde
Exemple 1 :
𝑎 𝑏
Soient 𝑎, 𝑏 ≥ 0. Montrons que si = alors 𝑎 = 𝑏.
1+𝑏 1+𝑎
Slim Bechikh
Nesrine AZOUZ ABDELADHIM 22 08/01/2013
12/10/2021July 16, 2014
Le raisonnement par l’absurde
Exemple 2 :
Montrer qu’il n’existe pas d’entier naturel supérieur à tous les autres.
Slim Bechikh
Nesrine AZOUZ ABDELADHIM 23 08/01/2013
12/10/2021July 16, 2014
Le raisonnement par récurrence
Exemple 1 :
Montrer que pour tout 𝑛 ∈ 𝑁, 2𝑛 > 𝑛.
Slim Bechikh
Nesrine AZOUZ ABDELADHIM 25 08/01/2013
12/10/2021July 16, 2014
Exercices
Slim Bechikh
Nesrine AZOUZ ABDELADHIM 26 08/01/2013
12/10/2021July 16, 2014
Exercices
10. Montrer par disjonction des cas que: si n est un entier, alors 𝑛2 > 𝑛
11. Utiliser une preuve par disjonction des cas pour montrer que |xy| = |x||y|,
où x et y sont des nombres réels.
Slim Bechikh
Nesrine AZOUZ ABDELADHIM 28 08/01/2013
12/10/2021July 16, 2014