logique I démonstration et théorie axiomatique 2 1 généralités 2 2 proposition, prédicat simple 2

Save this PDF as:
 WORD  PNG  TXT  JPG

Dimension: px
Commencer à balayer dès la page:

Download "logique I démonstration et théorie axiomatique 2 1 généralités 2 2 proposition, prédicat simple 2"

Transcription

1 logique Table des matières I démonstration et théorie axiomatique 1 généralités proposition, prédicat simple 3 prédicats composés prédicat de négation prédicat de conjonction prédicat de disjonction prédicat d implication prédicat d équivalence équivalence logique de prédicats composés 4 5 proposition quantifiée universelle ou existentielle simple et négation 4 6 axiomes, règles d inférence, théorème, démonstration 6 7 règles d inférence de "la" logique démonstration par détachement démonstration par l absurde démonstration par contre exemple démonstration d une implication règle de démonstration par déductions générale règle de démonstration par implications successives démonstration d une équivalence règle de démonstration par double implication règle de démonstration par équivalences successives démonstration par contraposée démonstration par récurrence

2 Première partie démonstration et théorie axiomatique 1 généralités 1. dans une théorie Mathématique il est question : (a) d objets (resp : droites, nombres,...) (b) de "qualités" vérifiées ou non par ces objets (resp : parallèles, pairs,...) (c) de propositions (ou "assertions"), qui sont des énoncés soit vrais, soit faux et ceci exclusivement (principe du "tiers-exclu") ( resp : dans le parallélogramme ABCD : (AB)//(CD), est pair,... ) (d) d axiomes, qui sont des propositions vraies "par définition" (dans le cadre de la théorie des nombres entiers naturels : "quels que soient a N et b N : a+(b+1) = (a+b)+1" ) (e) des règles de déduction de propositions vraies à partir de propositions vraies existantes (dans le cadre de la théorie des nombres entiers naturels : quels que soient a N et b N si "a = b" est vraie alors "a+1 = b+1" est vraie). avec le "matériel" précédent : (a) à partir des axiomes ou de propositions vraies, on peut obtenir des propositions vraies grâce aux règles de déduction, selon l importance des propositions obtenues, il est question de "propriété" ou de "théorème" (b) une proposition mathématique que l on considère vraie sans l avoir démontré est appelée une "conjecture" (tout nombre pair est la somme de deux nombres premiers) proposition, prédicat simple définition 1 : (proposition) une proposition P est une expression bien formée (selon les règles de la théorie) exclusivement vraie ou fausse dans le cadre de la théorie des nombres réels : i. P : "1 " est une proposition vraie ii. P : "1+1 = 3" est une proposition fausse iii. "1+1" n est pas une proposition iv. "x 3" n est pas une proposition car sa valeur de vérité dépend de la valeur du nombre réel x, on dit que c est "un prédicat à une variable" définition : (prédicat simple), un prédicat, P(x) : est un énoncé ni vrai ni faux qui porte sur un objet x E non déterminé à priori appelé "variable" et tel que, quand on remplace x par un objet x 0 quelconque, on obtient alors une proposition P(x 0 ) (qui elle, est vraie ou fausse) dans le cadre de la théorie des nombres réels, P(x) : x : est un prédicat (ni vrai ni faux) en remplaçant x par 1 on obtient, P(1) : 1 qui est une proposition vraie en remplaçant x par 3 on obtient, P(3) : 3 qui est une proposition fausse

3 3 prédicats composés 3.1 prédicat de négation définition 3 : (négation d un prédicat) soit P un prédicat. soit Q un prédicat. si pour toute substitution des variables par des objets déterminés, les prédicats P et Q donnent des propositions de valeurs de vérité différentes ( l une est vraie et l autre fausse) alors le prédicat Q est la négation du prédicat P et est noté P dans le cadre de la théorie des nombres entiers naturels : "x est pair" est la négation du prédicat "x est impair" 3. prédicat de conjonction définition 4 : (prédicat de conjonction) soit P un prédicat. soit Q un prédicat. le prédicat P et Q est définit comme le prédicat qui est : { vrai lorsque P et Q sont tous les deux vrais faux dans tous les autres cas dans le cadre de la théorie des nombres entiers naturels : "x est pair et x > 1" 3.3 prédicat de disjonction définition 5 : (prédicat de disjonction) soit P un prédicat. soit Q un prédicat. le prédicat P ou Q est définit comme le prédicat qui est : { vrai lorsque au moins un des deux prédicats P ou Q est vrai faux quand tous les deux sont faux dans le cadre de la théorie des nombres entiers naturels : "x est pair ou x > 1" 3.4 prédicat d implication définition 6 : (d implication) soit P un prédicat. soit Q un prédicat. le prédicat "P = Q" est définit comme le prédicat qui est : { faux lorsque P est faux et Q est vrai vrai dans tous les autres cas

4 dans le cadre de la théorie des nombres entiers naturels : "x est pair = x > 1" 3.5 prédicat d équivalence définition 7 : (équivalence) soit P un prédicat. soit Q un prédicat. le prédicat "P Q" est définit comme le prédicat qui est : { vrai lorsque P et Q sont simultanément vrais ou faux faux dans tous les autres cas dans le cadre de la théorie des nombres entiers naturels : "x est pair x > 1" 4 équivalence logique de prédicats composés définition 8 : (équivalence logique) soient P et Q deux prédicats simples soient P 1 et P deux prédicats "composés" des prédicats P et Q. si P 1 et P prennent les mêmes valeurs de vérité en fonction des valeurs de vérité prisent par P et Q alors on dit que P 1 et P sont "logiquement équivalents" et on note P 1 P (que l on vérifie avec des "tables de vérité") i. P P ii. P ou Q P et Q iii. P et Q P ou Q iv. P = Q P ou Q par exemple pour vérifier que P ou Q P et Q P Q P ou Q P ou Q P Q P et Q V V V F F F F V F V F F V F F V V F V F F F F F V V V V 5 proposition quantifiée universelle ou existentielle simple et négation définition 9 : (proposition quantifiée universelle simple ) une proposition quantifiée universelle simple est de la forme "quel que soit x E,P(x)" où P(x) un prédicat avec x E (x peut prendre l ensemble des valeurs de E) si "quel que soit x E", la proposition "P(x)" est vraie alors la proposition universelle :"quel que soit x E,P(x)" est vraie sinon elle est fausse

5 P : "quel que soit x R, x 0" : est une proposition vraie P : "quel que soit x N, n est pair" : est une proposition fausse définition 10 : (proposition quantifiée existentielle simple ) une proposition quantifiée existentielle simple est de la forme "il existe x E,P(x)" où P(x) un prédicat avec x E (x est dans l ensemble E) si "il existe un élément x 0 E" tel que la proposition "P(x 0 )" est vraie alors la proposition universelle :"il existe x E,P(x)" est vraie sinon elle est fausse P : "il existe x R, x < 0" : est une proposition fausse P : "il existe x N, n est pair" : est une proposition vraie définition 11 : (négation d une proposition quantifiée simple ) "quel que soit x E,P(x)" a pour négation, la proposition :"il existe x E,P(x)" "il existe x E,P(x)" a pour négation, la proposition :"quel que soit x E,P(x)" P : "quel que soit x R, x 0" a pour négation : P : "il existe x R, x < 0" P : "il existe x N, n est pair" a pour négation : P : "quel que soit x N, n est impair"

6 6 axiomes, règles d inférence, théorème, démonstration définition 1 : (axiome) un axiome est une proposition vraie et admise comme telle sans justifications dans la théorie des nombres entiers naturels : "quels que soient a N et b N : a+(b+1) = (a+b)+1" définition 13 : (règles d inférence) une règle d inférence explique comment on obtient de nouvelles propositions vraies à partir de propositions vraies (en général) dans le cadre de la théorie des nombres entiers naturels : quels que soient a N et b N si "a = b" est vraie alors "a+1 = b+1" est vraie définition 14 : (théorème) on appelle "théorème", tout axiome ou toute proposition vraie obtenue à partir des "règles d inférence" tout théorème sera dit "vrai" "1+1 = " est un "théorème" (qui se démontre) remarque : en général, le terme de "théorème" est utilisé pour des résultats jugés "importants", les résultats "moins importants" sont appelés "propriétés" définition 15 : (démonstration) "démontrer une proposition" c est justifier que cette proposition est vraie à partir des axiomes et des règles d inférence démontrer P, où P est la proposition : "quel que soit x R, 3x = 15 = x = 5" pour cela : soit x R tel que 3x = 15 alors 3x 1 3 = 15 1 (d après une règle d inférence bien connue) 3 donc x = 5 conclusion : "quel que soit x R, 3x = 15 = x = 5" est une proposition vraie (d après la règle vu ci dessous)

7 7 règles d inférence de "la" logique 7.1 démonstration par détachement règle de démonstration par détachement pour montrer qu une proposition Q(x 0 ) est vraie soient P et Q deux prédicats. (à une variable, pour simplifier la notation) la proposition P(x 0 ) est vraie si on sait que et la proposition "quel que soit x, P(x) = Q(x)" est vraie alors on en déduit que Q(x 0 ) est vraie dans le cadre de la géométrie Euclidienne démontrons : "le triangle de cotés 5, 4 et 3 est rectangle " pour cela, utilisons la règle du détachement 3 +4 = 5 est vraie et "quels que soient a,b et c trois réels positifs stricts, a +b = c = le triangle de cotés c, b et a est rectangle" est vraie alors, on en déduit que "le triangle de cotés 5, 4 et 3 est rectangle " est vraie 7. démonstration par l absurde règle de démonstration par l absurde pour montrer qu une proposition Q est vraie soient Q et P deux propositions. si on sait que P est fausse si on suppose que Q est fausse alors on en déduit que P est vraie (or P ne peut-être vraie et fausse en même temps)s alors on en déduit que Q ne peut-être fausse (donc est vraie) remarque : on fait l hypothèse que Q est fausse on effectue des déductions jusqu a obtenir une contradiction (une absurdité) (une proposition vrai et fausse en même temps) on peut alors conclure dans ce cas que l hypothèse initiale ne peut-être fausse donc que Q est vraie. dans le cadre de la théorie des nombres réels Q : il existe un nombre réel tel que x+1 = x Montrons que Q est fausse pour cela, raisonnons par l absurde : Supposons que : "il existe un nombre réel tel que x+1 = x" soit vraie alors pour un certain nombre réel x 0 : "x 0 +1 = x 0 " est vraie alors : "(x 0 +1) x 0 = x 0 x 0 " est vraie alors "1 = 0" est vraie or "1 = 0" est fausse on en déduit que Q ne peut-être vraie (donc est fausse)

8 7.3 démonstration par contre exemple règle de démonstration par contre soit le prédicat P(x) soit la proposition P : "quel que soit x E, P(x)". pour démontrer que P est une proposition fausse. il suffit de trouver x 0 E tel que P(x 0 ) soit fausse. P : "quel que soit n N, n est pair " P est une proposition fausse, pour le justifier, appliquons la règle du contre-exemple soit n = 3 alors n = 9 or 9 n est pas pair donc la proposition "9 est pair" est fausse donc la proposition "quel que soit n N, n est pair " est fausse. 7.4 démonstration d une implication règle de démonstration par déductions générale règle de démonstration par déductions générale soient P et Q deux prédicats. (à une variable, pour simplifier la notation) pour montrer qu une proposition "quel que soit x, P(x) = Q(x)" est vraie si on considère une valeur de x quelconque si on sait que et que l on admet que P(x) est vraie alors on arrive à montrer que Q(x) est vraie alors on en déduit que "quel que soit x, P(x) = Q(x)" est vraie démontrer P, où P est la proposition : "quel que soit x R, 3x = 15 = x = 5" pour cela : soit x R tel que 3x = 15 alors 3x 1 3 = 15 1 (d après une règle d inférence bien connue) 3 donc x = 5 conclusion : "quel que soit x R, 3x = 15 = x = 5" est une proposition vraie 7.4. règle de démonstration par implications successives règle de démonstration par implications successives soient P et Q deux prédicats. (à une variable, pour simplifier la notation) pour montrer qu une proposition "quel que soit x, P(x) = Q(x)" est vraie si on sait que "quel que soit x, P(x) = P 1 (x)" est vraie "quel que soit x, P 1 (x) = P (x)" est vraie... "quel que soit x, P n (x) = Q(x)" est vraie (n N,n > ) alors on en déduit que "quel que soit x, P(x) = Q(x)" est vraie "quel que soit ABCD, ABCD est un carré = ABCD est un rectangle" est vraie

9 "quel que soit ABCD, ABCD est un rectangle = ABCD est un parallélogramme" est vraie on en déduit que : "quel que soit ABCD, ABCD est un carré = ABCD est un parallélogramme" est vraie 7.5 démonstration d une équivalence règle de démonstration par double implication règle de démonstration par double implication soient P et Q deux prédicats. (à une variable, pour simplifier la notation) pour montrer qu une proposition "quel que soit x, P(x) Q(x)" est vraie "quel que soit x, P(x) = Q(x)" est vraie si on sait que et que "quel que soit x, Q(x) = P(x)" est vraie alors on en déduit que "quel que soit x, P(x) Q(x)" est vraie démontrer P, où P est la proposition : "quel que soit x R, 3x = 15 x = 5" pour cela : soit x R tel que 3x = 15 alors 3x 1 3 = 15 1 (d après une règle d inférence bien connue) 3 donc x = 5 conclusion : "quel que soit x R, 3x = 15 = x = 5" est une proposition vraie réciproquement : soit x R tel que x = 5 alors 3x = 3 5 = 15 conclusion : "quel que soit x R, x = 5 = 3x = 15" est une proposition vraie finalement : "quel que soit x R, 3x = 15 x = 5" est vraie 7.5. règle de démonstration par équivalences successives règle de démonstration par équivalences successives soient P et Q deux prédicats. (à une variable, pour simplifier la notation) pour montrer qu une proposition "quel que soit x, P(x) Q(x)" est vraie si on sait que "quel que soit x, P(x) P 1 (x)" est vraie "quel que soit x, P 1 (x) P (x)" est vraie... "quel que soit x, P n (x) Q(x)" est vraie (n N,n > ) alors on en déduit que "quel que soit x, P(x) Q(x)" est vraie P : "quel que soit x inr, 5x+10 = 45 x = 7 rectangle" est vraie raisonnons par équivalences successives pour le démontrer soit x R 5x + 10 = 45 5x = = 35 (par application d une règle d inférence bien connue) 5x = 35 x = 7 (par application d une règle d inférence bien connue) donc 5x+10 = 45 x = 7

10 concluons "quel que soit x R, 5x+10 = 45 x = 7 rectangle" est vraie 7.6 démonstration par contraposée règle de démonstration par contraposée pour montrer qu une proposition de la forme "quel que soit x, P = Q" est vraie il suffit de démontrer que la proposition : "quel que soit x, Q = P" est vraie P : "quel que soit n N, n pair = n pair " montrons que cette proposition est vraie par la méthode de la contraposée c est à dire montrons que Q : "quel que soit n N, n impair = n impair " est une proposition vraie raisonnons par déduction générale soit n N quelconque et supposons n impair alors n = k +1 alors n = (k +1) alors n = 4k +4k +1 alors n = (k +k)+1 alors n = K +1 alors n est impair on en déduit que : "quel que soit n N, n impair = n impair " est une proposition vraie donc que : "quel que soit n N, n pair = n pair " est une proposition vraie 7.7 démonstration par récurrence règle de démonstration par récurrence : soient P : "quel que soit n N, P(n)". pour démontrer { que P est vraie. montrer que P(0) est vraie il suffit de : montrer que : "quel que soit n N, P(n) = P(n + 1)" est vraie démontrons : "quel que soit x N, n = n(n+1) " pour cela, raisonnons par récurrence (1) : pour n = 0 on a : "0 = 0 (0+1) "vraie () : par déduction générale, soit n N, supposons : " n = n(n+1) " vraie montrons que " n+(n+1) = (n+1)(n+) " est vraie or : n+(n+1) = ( n)+(n+1) donc : n+(n+1) = n(n+1) +(n+1) donc : n+(n+1) = n(n+1) donc : " n+(n+1) = (n+1)(n+) conclusion : + (n+1) " est vraie

11 "quel que soit x N, n = n(n+1) " est vraie.

12 1. proposition Quelques éléments de base en "logique Mathématique"

Différents types de raisonnement en mathématiques

Différents types de raisonnement en mathématiques Différents types de raisonnement en mathématiques I) Symboles logiques 1) Les quantificateurs Les quantificateurs permettent de connaitre le domaine de validité d une propriété. a) Pour une propriété universelle

Plus en détail

Logique et Raisonnement

Logique et Raisonnement INSA Toulouse Cycle Préparatoire IFCI Module Outils Mathématiques Regroupement n 1 Logique et Raisonnement Introduction En mathématiques, on travaille avec des objets abstraits (nombres, ensembles, applications,

Plus en détail

À partir de différentes propositions logiques, on peut en construire d autres grâce aux connecteurs

À partir de différentes propositions logiques, on peut en construire d autres grâce aux connecteurs Assertion Une assertion est une phrase (énoncé mathématique) qui peut être «vraie» ou «fausse», mais jamais les deux à la fois. Exemples: (3 > 0), (3 = 0) sont des assertions. L énoncé «L avenue des Champs

Plus en détail

Leçon 69 : Les différents types de raisonnement en mathématiques

Leçon 69 : Les différents types de raisonnement en mathématiques Leçon 69 : Les différents types de raisonnement en mathématiques 1 er avril 01 En mathématiques, pour démontrer divers propriétés ou théorèmes, nous avons besoin d appliquer rigoureusement un raisonnement

Plus en détail

Calcul propositionnel

Calcul propositionnel Arnaud Labourel Courriel : arnaud.labourel@lif.univ-mrs.fr Université de Provence 29 novembre 2011 Principe Connexions Formes propositionnelles But du calcul propositionnel Objectif Formaliser le raisonnement

Plus en détail

Logique, vocabulaire ensembliste et raisonnement

Logique, vocabulaire ensembliste et raisonnement Chapitre 2 Logique, vocabulaire ensembliste et raisonnement Sommaire 2.1 Quelques bases de vocabulaire et de logique.............. 34 2.1.1 Quantificateurs................................ 34 2.1.2 Différents

Plus en détail

RAISONNEMENTS. 1 Propositions logiques. 1.1 Définition et négation. 1.2 Conjonction et disjonction. Laurent Garcin MPSI Lycée Jean-Baptiste Corot

RAISONNEMENTS. 1 Propositions logiques. 1.1 Définition et négation. 1.2 Conjonction et disjonction. Laurent Garcin MPSI Lycée Jean-Baptiste Corot RAISONNEMENTS 1 Propositions logiques 1.1 Définition et négation Définition 1.1 Proposition On appelle proposition un énoncé mathématique qui peut être vrai ou faux. Exemple 1.1 Deux propositions simples.

Plus en détail

Chapitre 2. Langage et raisonnement en mathématiques. 2.1 Les règles du jeux

Chapitre 2. Langage et raisonnement en mathématiques. 2.1 Les règles du jeux Chapitre 2 Langage et raisonnement en mathématiques 2.1 Les règles du jeux En mathématique, il y a deux processus fondamentaux : 1. construire des objets mathématiques (nombres, fonctions, figures géométriques,...)

Plus en détail

1 Éléments de logique

1 Éléments de logique Thierry Champion - Univ. Toulon - 2017/2018 2 1 Éléments de logique 1.1 Notions de logique Définition 1. Une assertion est un énoncé auquel on peut attribuer sans ambiguité une valeur de vérité : soit

Plus en détail

1 ère S. ch1. Introduction à la logique. J. TAUZIEDE. INTRODUCTION AU VOCABULAIRE DE LA LOGIQUE.

1 ère S. ch1. Introduction à la logique. J. TAUZIEDE. INTRODUCTION AU VOCABULAIRE DE LA LOGIQUE. 1 ère S. ch1. Introduction à la logique. J. TAUZIEDE. INTRODUCTION AU VOCABULAIRE DE LA LOGIQUE. I- IMPLICATION- EQUIVALENCE. 1 ) Proposition. Définition 1. On appelle proposition mathématique, une phrase

Plus en détail

LOGIQUE PROPOSITIONNELLE ET PRÉDICATS

LOGIQUE PROPOSITIONNELLE ET PRÉDICATS LOGIQUE PROPOSITIONNELLE ET PRÉDICATS IFT 1065 AUTOMNE 2007 Les objectifs visés sont de Développer la capacité à exprimer en langage logique des énoncés simples Développer un esprit de rigueur Pouvoir

Plus en détail

LES FONDEMENTS : LA LOGIQUE ET LES ENSEMBLES

LES FONDEMENTS : LA LOGIQUE ET LES ENSEMBLES LES FONDEMENTS : LA LOGIQUE ET LES ENSEMBLES 1. LES PROPOSITIONS MATHÉMATIQUES Faire des mathématiques, c est faire avant tout des raisonnements, c est à dire partir d une ou plusieurs hypothèses et par

Plus en détail

Logique. Propositions, Raisonnements, Quantificateurs, Prédicats, Récurrence

Logique. Propositions, Raisonnements, Quantificateurs, Prédicats, Récurrence Logique Propositions, Raisonnements, Quantificateurs, Prédicats, Récurrence 1 INTRODUCTION {La présente affirmation est fausse}????? ni vraie ni fausse Vraie, Fausse, indécidable imprécise : {-1 n est

Plus en détail

Logique et raisonnement mathématique

Logique et raisonnement mathématique CHAPITRE 1 Logique et raisonnement mathématique 1.1 Un peu de logique mathématique 1.1.1 Dénitions, propriétés, propositions, théorèmes,... Dénition 1 Donner une dénition, c'est nommer un objet ou un type

Plus en détail

Correction des exercices du TD1

Correction des exercices du TD1 Correction des exercices du TD1 Rappel : des aides vous sont fournies sur le site «www4.utc.fr /~mt21/» à la fin des fichiers consacrés aux chapitre de cours. N hésitez pas à les consulter pour refaire

Plus en détail

Propositions et prédicats

Propositions et prédicats Propositions et prédicats 1 introduction Définition : Une proposition est un énoncé mathématiques qui peut être démontré comme vrai ou faux, il a valeur de vérité. La logique en mathématique permet d établir

Plus en détail

Logique et théorie des ensembles

Logique et théorie des ensembles Rappels : Logique et théorie des ensembles N : ensemble des entiers naturels = { 0,, 2, } A part 0, un nombre n a pas d opposé dans N = {0} : ensemble des entiers relatifs = {, 2,, 0,, 2, } = { n, -n ;

Plus en détail

Correction des exercices du TD1

Correction des exercices du TD1 Correction des exercices du TD1 Rappel : des aides vous sont fournies sur le site «www4.utc.fr /~mt21/» à la fin des fichiers consacrés aux chapitre de cours. N hésitez pas à les consulter pour refaire

Plus en détail

MT18 A2010 Logique et théorie des ensembles Aleth Chevalley. { ;( p, q) } q q

MT18 A2010 Logique et théorie des ensembles Aleth Chevalley. { ;( p, q) } q q A2010 Logique et théorie des ensembles Aleth Chevalley Rappels : N : ensemble des entiers naturels = { 0, 1, 2, } A part 0, un nombre n a pas d opposé dans N : ensemble des entiers relatifs = {, 2, 1,

Plus en détail

Logique, ensembles et applications.

Logique, ensembles et applications. Logique, ensembles et applications. I Outils du raisonnement mathématique 1 I.A Assertions et connecteurs logiques................. 1 I.A.1 Assertions........................... 1 I.A.2 Connecteurs logiques.....................

Plus en détail

On appelera énoncé élementaire toute phrase fabriquée a l aide des symboles précédents, ayant un sens.

On appelera énoncé élementaire toute phrase fabriquée a l aide des symboles précédents, ayant un sens. Chapitre 1 Éléments de logique Dans cette première partie du cours, on introduit trés rapidement quelques outils permettant de formaliser les idées mathématiques et d obtenir des moyens systématiques de

Plus en détail

5. ( ) ( ) Aller à : Correction exercice 6 : Exercice 7 : Soient et deux parties de. Ecrire en utilisant les assertions

5. ( ) ( ) Aller à : Correction exercice 6 : Exercice 7 : Soient et deux parties de. Ecrire en utilisant les assertions Logique Exercice 1 : Parmi les assertions suivantes, lesquelles sont vraies, lesquelles sont fausses et pourquoi? 1. Si Napoléon était chinois alors 2. Soit Cléopâtre était chinoise, soit les grenouilles

Plus en détail

Logique. P 2 : doc 1 Logique et Raisonnement Largement inspiré de «PRÉPAS SCIENCES - PCSI - Éllipses» Plusieurs définitions :

Logique. P 2 : doc 1 Logique et Raisonnement Largement inspiré de «PRÉPAS SCIENCES - PCSI - Éllipses» Plusieurs définitions : Largement inspiré de «PRÉPAS SCIENCES - PCSI - Éllipses» I Logique Plusieurs définitions : Une proposition est un énoncé mathématique qui peut prendre deux valeurs : vrai (V ) ou faux (F) ; On appelle

Plus en détail

1 Notions de logique mathématique.

1 Notions de logique mathématique. Université de Provence 2012 2013 Introduction à l Analyse Chapitre 3 - Logique et Suites. 1 Notions de logique mathématique. 1.1 Assertions, propositions logiques, tables de vérité. On rappelle la notion

Plus en détail

Chapitre 1. Notions de logique. 1.1 Éléments de logique

Chapitre 1. Notions de logique. 1.1 Éléments de logique Chapitre 1 Notions de logique 1.1 Éléments de logique Définition 1.1.1. Une assertion ou proposition est un énoncé auquel on peut attribuer la valeur vrai ou faux. Les propositions sont notées par des

Plus en détail

Informatique théorique Bases du raisonnement logique (brouillon)

Informatique théorique Bases du raisonnement logique (brouillon) Informatique théorique Bases du raisonnement logique (brouillon) 1 Introduction Nous présentons quelques règles permettant de faciliter la preuve de jugements de la forme Γ A. Il est important de les comprendre,

Plus en détail

Divers raisonnements en mathématiques ( Spécialité Maths) Terminale S

Divers raisonnements en mathématiques ( Spécialité Maths) Terminale S 008 009 Généralités et raisonnement Classe de Terminale S (Option Maths) Divers raisonnements en mathématiques ( Spécialité Maths) Terminale S Dernière mise à jour : Jeudi 4 Septembre 008 Vincent OBATON,

Plus en détail

Le calcul propositionnel

Le calcul propositionnel MTA - ch2 Page 1/8 Éléments de logique - Raisonnements I Le calcul propositionnel Dénition 1 Une assertion est un énoncé dont on peut dire sans ambiguïté s'il est Vrai ou Faux. Cette convention permet

Plus en détail

Notions de logique. 1 Proposition. 2 Les quantificateurs. 2.1 Le quantificateur universel

Notions de logique. 1 Proposition. 2 Les quantificateurs. 2.1 Le quantificateur universel Notions de logique 1 Proposition Définition préliminaire : En mathématiques, on appelle proposition toute phrase correctement construite, dont on peut dire sans ambiguïté si elle est VRAIE ou FAUSSE. Exemples

Plus en détail

MT90/91-Fonctions d une variable réelle

MT90/91-Fonctions d une variable réelle MT90/91-Fonctions d une variable réelle Chapitre 1 : L expression mathématique Équipe de Mathématiques Appliquées UTC juillet 2014 suivant Chapitre 1 L expression mathématique 1.1 Opérations logiques élémentaires.......................

Plus en détail

( Spécialité Maths) Terminale S

( Spécialité Maths) Terminale S 007 008 Généralités et raisonnement Classe de Terminale S (Option Maths) Généralités et raisonnement ( Spécialité Maths) Terminale S Dernière mise à jour : Vendredi 13 Septembre 007 Vincent OBATON, Enseignant

Plus en détail

Cours de Mathématiques Ensembles, applications, relations

Cours de Mathématiques Ensembles, applications, relations Table des matières I Un peu de logique................................... 2 I.1 Assertions................................... 2 I.2 Opérations sur les assertions......................... 2 I.3 Tableaux

Plus en détail

Logique - Calcul propositionnel

Logique - Calcul propositionnel Logique 1/ 6 Logique - Calcul propositionnel En mathématiques, les théorèmes sont des propriétés très importantes. Ils s écrivent le plus souvent à l aide de liens logiques liant entre elles des propositions.

Plus en détail

Logique et Raisonnement

Logique et Raisonnement INSA Toulouse Cycle Préparatoire IFCI Module Outils Mathématiques Regroupement n 1 Logique et Raisonnement Introduction En mathématiques, on travaille avec des objets abstraits (nombres, ensembles, applications,

Plus en détail

Chapitre 1 : s exprimer en mathématiques

Chapitre 1 : s exprimer en mathématiques Université Paris-Dauphine DUMI2E, Algèbre 1, 2009-2010 Chapitre 1 : s exprimer en mathématiques Ces notes correspondent au cours qui a été donné en amphi. C est une version condensée du polycopié de logique,

Plus en détail

Bases du raisonnement

Bases du raisonnement 02 Cours - Bases du raisonnement.nb 1/13 Bases du raisonnement I) Préambule 1) De l obscurité à la lumière, ou encore les quatre paliers de la compréhension 2) La langue mathématique: une vraie langue

Plus en détail

Logique 2 : la déduction

Logique 2 : la déduction Logique 2 : la déduction La mathématique est la science de la déduction. Ce qui signifie qu un mathématicien prend des informations de départ et cherche tout ce qu on peut en déduire. La question de savoir

Plus en détail

Seulement les équivalences logiques simples sont utilisées dans les preuves mathématiques. Il faut les reconnaître. Par exemple :

Seulement les équivalences logiques simples sont utilisées dans les preuves mathématiques. Il faut les reconnaître. Par exemple : Seulement les équivalences logiques simples sont utilisées dans les preuves mathématiques. Il faut les reconnaître. Par exemple : (P Q) ((P Q) (Q P)) ; (Sont déjà montrés.) (P Q) ( Q P) ( P Q). MAT1500

Plus en détail

Algèbre 1 RAISONNEMENT ELEMENTS DE LA THEORIE DES ENSEMBLES

Algèbre 1 RAISONNEMENT ELEMENTS DE LA THEORIE DES ENSEMBLES Algèbre - chap 1 1/8 Algèbre 1 RAISONNEMENT ELEMENTS DE LA THEORIE DES ENSEMBLES 1. ELEMENTS DE LOGIQUE 1.1 Propositions Règles logiques Définition 1 : On appelle propriété ou assertion une affirmation

Plus en détail

Préambule : quantificateurs, implication et équivalence

Préambule : quantificateurs, implication et équivalence Préambule : quantificateurs, implication et équivalence Nous allons dans ce préambule présenter quelques symboles les quantificateurs et quelques notions basées sur celles, parfois abordées au lycée, d

Plus en détail

Chapitre 1. Arithmétique

Chapitre 1. Arithmétique Chapitre 1. Arithmétique 1. Raisonnement par récurrence 1.1 Principe Il s agit d un raisonnement inductif, c est-à-dire un raisonnement visant à produire des connaissances par des conclusions plus générales

Plus en détail

Logique, ensembles, raisonnements

Logique, ensembles, raisonnements Bibliothèque d exercices Énoncés L1 Feuille n Logique, ensembles, raisonnements 1 Logique Exercice 1 Soient les quatre assertions suivantes : (a) x R y R x + y > 0 ; (b) x R y R x + y > 0 ; (c) x R y R

Plus en détail

Chapitre I : LES SUITES

Chapitre I : LES SUITES Chapitre I : LES SUITES I- Généralités sur les suites 1) Définition et notations Définition 1 : 1) Définir une suite par une formule explicite, c est donner une relation entre le terme et l entier, pour

Plus en détail

Logique et théorie des modèles

Logique et théorie des modèles Logique et théorie des modèles Cours de P. Joray Définition 0.1 Dans un langage L, une proposition est un énoncé qui possède l une des deux valeurs de vérité suivante : vrai ou faux. «2 + 2 = 4», «2 +

Plus en détail

Chapitre 1 Le principe du raisonnement par récurrence

Chapitre 1 Le principe du raisonnement par récurrence Chapitre 1 : Principe du raisonnement par récurrence Chapitre 1 Le principe du raisonnement par récurrence 1 I Exemple introductif On considère les suites de terme général : n (n + 1) u n = 0 + 1 + + (n

Plus en détail

CHAPITRE 1 INTRODUCTION : UN PEU DE LOGIQUE

CHAPITRE 1 INTRODUCTION : UN PEU DE LOGIQUE CHAPITRE 1 INTRODUCTION : UN PEU DE LOGIQUE Les mathématiques demandent une grande rigueur dans l exposition des résultats et des démonstrations. Si l intuition et la persuasion sont des outils indispensables

Plus en détail

Construction des entiers naturels

Construction des entiers naturels Construction des entiers naturels Tout ce qui suit est une définition et l étude des propriétés élémentaires de l ensemble des entiers naturels, définis dans le cadre axiomatique de la théorie des ensembles.

Plus en détail

Chapitre 4. Applications

Chapitre 4. Applications Chapitre 4 Applications 1. Définitions et exemples Définition 4.1 Soient E et F deux ensembles. Une application f de E dans F est un procédé qui permet d associer à chaque élément x de E un unique élément

Plus en détail

Feuille de TD n 1 : Logique, raisonnements mathématiques et théorie des ensembles

Feuille de TD n 1 : Logique, raisonnements mathématiques et théorie des ensembles Feuille de TD n 1 : Logique, raisonnements mathématiques et théorie des ensembles Opérateur d implication Exercice 1. ( ) On considère la proposition «s il pleut, mon jardin est mouillé». Quelle est sa

Plus en détail

SCI110 Outils mathématiques pour l informatique (1/4) Logique des propositions. IUT1 dept. SRC Grenoble Jean-François Berdjugin Jean-François Remm

SCI110 Outils mathématiques pour l informatique (1/4) Logique des propositions. IUT1 dept. SRC Grenoble Jean-François Berdjugin Jean-François Remm SCI110 Outils mathématiques pour l informatique (1/4) Logique des propositions IUT1 dept. SRC Grenoble Jean-François Berdjugin Jean-François Remm M1.22.2 Outils mathématiques pour l informatique Ouvrages

Plus en détail

Logique - exos du cours

Logique - exos du cours Logique - exos du cours assertion, prédicats et autres Exercice 1 Parmi les phrases suivantes lesquelles sont des assertions, prédicats ou autre? 2 + 2 = 5 ; un triangle isocèle est un triangle ayant 2

Plus en détail

Congruences. DOMAINE : Arithmétique. NIVEAU : Débutants STAGE : Montpellier 2014 CONTENU : Cours et exercices

Congruences. DOMAINE : Arithmétique. NIVEAU : Débutants STAGE : Montpellier 2014 CONTENU : Cours et exercices DOMAINE : Arithmétique AUTEUR : Nicolas SÉGARRA NIVEAU : Débutants STAGE : Montpellier 014 CONTENU : Cours et exercices Congruences Commençons par trois exercices permettant de rappeler ce qui a été vu

Plus en détail

Mathématique en Terminale S Le raisonnement par récurrence

Mathématique en Terminale S Le raisonnement par récurrence Mathématique en Le raisonnement par récurrence Le raisonnement par récurrence est un raisonnement mathématique qui permet de démontrer qu une propriété dépendant d un entier n, est vrai quelque soit l

Plus en détail

Chapitre 2 : Raisonnements mathématiques

Chapitre 2 : Raisonnements mathématiques Chapitre 2 : Raisonnements mathématiques L'objectif de ce chapitre est de poser les premiers jalons d'un cours de mathématiques. Vous avez déjà rencontré et manipulé une partie des objets et des raisonnements

Plus en détail

Feuille 4 - Logique. 1 Tables de vérité. IUT d Orsay Exercices de mathématiques. 4. Exercice corrigé en amphi

Feuille 4 - Logique. 1 Tables de vérité. IUT d Orsay Exercices de mathématiques. 4. Exercice corrigé en amphi IUT d Orsay 2012-20013 Département Informatique DUT 1A - S1 Exercices de mathématiques 1 Tables de vérité Feuille 4 - Logique Les propositions suivantes sont-elles vraies ou fausses? (a) 2 divise 3 et

Plus en détail

Les ensembles D. Daigle

Les ensembles D. Daigle Les ensembles D. Daigle 1. Notions de base La notation x A signifie que x est un élément de l ensemble A (elle se lit x est élément de A ou encore x appartient à A ). Remarquez que le symbole d appartenance

Plus en détail

Définition Soient a et b deux entiers non tous nuls. Le plus grand diviseur commun à a et b est le PGCD de a et b. On le note PGCD (a ; b) ou a b.

Définition Soient a et b deux entiers non tous nuls. Le plus grand diviseur commun à a et b est le PGCD de a et b. On le note PGCD (a ; b) ou a b. PGCD de deux entiers naturels Diviseurs communs à deux entiers naturels Soient a et b deux entiers naturels non tous les deux nuls. L ensemble des diviseurs communs à a et b est une partie de Z non vide

Plus en détail

Langage logique Langage ensembliste-algèbre de Boole Graphes. BTS SIO2 Septembre 2013 Plan du cours : 1) QCM DE LOGIQUE

Langage logique Langage ensembliste-algèbre de Boole Graphes. BTS SIO2 Septembre 2013 Plan du cours : 1) QCM DE LOGIQUE 1 Langage logique Langage ensembliste-algèbre de Boole Graphes BTS SIO2 Septembre 2013 Plan du cours : Partie I : Langage logique 1) QCM DE LOGIQUE 2)-A- Enoncé, proposition et valeur de vérité A-1 : Enoncé

Plus en détail

Exercice 5 Démontrer que pour tout entier naturel n, le nombre 3n² + 3n + 6 est un multiple de 6.

Exercice 5 Démontrer que pour tout entier naturel n, le nombre 3n² + 3n + 6 est un multiple de 6. Exercice 1 : Dire en justifiant si les suites (u n ) définies ci-dessous sont arithmétiques, géométriques ou ni l'un ni l'autre. Dans le cas où elles sont arithmétiques ou géométriques, préciser le premier

Plus en détail

Logique et Preuves. Logique et Preuves. Pierre Castéran September 5, 2016

Logique et Preuves. Logique et Preuves. Pierre Castéran September 5, 2016 Logique et Preuves Pierre Castéran pierre.casteran@labri.fr September 5, 2016 Introduction Qu est-ce que la logique? La logique est une science dont l objet est l étude du raisonnement, abstraction faite

Plus en détail

Polycopié de Logique Mathématique

Polycopié de Logique Mathématique 1. Propositions. Université de la Nouvelle Calédonie. Licences Math, PC, SPI. Semestre 2. Polycopié de Logique Mathématique Une proposition est un enoncé mathématique qui peut être soit vrai (V) soit faux

Plus en détail

4.2. Tableau de vérité. Nous présentons ces définitions en forme de tableaux de vérité, où V:=vrai, et F:=faux. Pour la négation: p p

4.2. Tableau de vérité. Nous présentons ces définitions en forme de tableaux de vérité, où V:=vrai, et F:=faux. Pour la négation: p p 4.2. Tableau de vérité. Nous présentons ces définitions en forme de tableaux de vérité, où V:=vrai, et F:=faux. Pour la négation: p p V F F V Pour les autres définitions: p q p q p q p q p q p q V V V

Plus en détail

Chapitre 4. Quelques types de raisonnement

Chapitre 4. Quelques types de raisonnement Chapitre 4 Quelques types de raisonnement 1. Aide à la rédaction d un raisonnement 1.1. Analyse du problème La première chose est de distinguer les hypothèses (= propositions vraies) de la question (=proposition

Plus en détail

Exercices d entrainement pour le chapitre 02 (récurrence et suites)

Exercices d entrainement pour le chapitre 02 (récurrence et suites) Exercices d entrainement pour le chapitre 0 récurrence et suites 0. Énoncés Exercice. Démontrer l inégalité n > n pour tout entier naturel n. Exercice. On définit, pour tout entier n, le n ième nombre

Plus en détail

Corrigé, démonstration par récurrence et problème ouvert type bac

Corrigé, démonstration par récurrence et problème ouvert type bac Corrigé, démonstration par récurrence et problème ouvert type bac Démonstration par récurrence, généralité sur les suites, problème ouvert type bac PLUSDEBONNESNOTES.COM 19 septembre 2017 Créé par : plusdebonnesnotes

Plus en détail

Montré : la proposition p q et sa contraposée sont logiquement équivalentes :

Montré : la proposition p q et sa contraposée sont logiquement équivalentes : Rappel : La contraposée de p q est par définition la proposition ( q) ( p). (faute d écriture du manuel p. 7 : ne laissez-vous pas distraire). La réciproque de p q est par définition la proposition q p.

Plus en détail

ENSEIGNEMENT DE LA MÉT HODOLOGIE

ENSEIGNEMENT DE LA MÉT HODOLOGIE Méthodologie en mathématiques, Année 2009-2010 UNIVERSITÉ BORDEAUX 1 LICENCE SCIENCES ET TECHNOLOGIES 1 er SEMESTRE MISMI ENSEIGNEMENT DE LA MÉT HODOLOGIE EN MAT HÉMAT IQUES 1 2 Séance n 1 Objectif : savoir

Plus en détail

SUITES - RECURRENCE - SOMMES

SUITES - RECURRENCE - SOMMES SUITES - RECURRENCE - SOMMES Chapitre 1 I Généralités sur les suites Définition I.1 Une suite réelle est une fonction d une partie A de N dans R. u : A R n u(n) := u n l intervalle de définition peut donc

Plus en détail

DS 1. Le 13 octobre h

DS 1. Le 13 octobre h DS 1. Le 13 octobre 14. 4h Le devoir est probablement trop long pour que vous puissiez le terminer (ce qui est assez classique dans les épreuves de concours). Restez donc calme, prenez le temps de regarder

Plus en détail

Notions de bases. 2 Ensembles Vocabulaire ensembliste Ensemble des parties d un ensemble... 5

Notions de bases. 2 Ensembles Vocabulaire ensembliste Ensemble des parties d un ensemble... 5 Maths PCSI Cours Notions de bases Table des matières 1 Logique 2 1.1 Proposition logique.......................................... 2 1.2 Disjonction, conjonction et implication...............................

Plus en détail

Le formalisme mathématique

Le formalisme mathématique Le formalisme mathématique Bcpst 1 4 mars 2016 Les mathématiques modernes forment une science essentiellement formelle. Tout d abord, tout texte mathématique peut être entièrement formalisé dans un langage

Plus en détail

Bibliothèque d exercices L1 Feuille n 6. Arithmétique dans Z

Bibliothèque d exercices L1 Feuille n 6. Arithmétique dans Z Bibliothèque d exercices Énoncés L1 Feuille n 6 Arithmétique dans Z 1 Divisibilité, division euclidienne Exercice 1 Combien 15! admet-il de diviseurs? Exercice 2 Trouver le reste de la division par 13

Plus en détail

RUDIMENTS DE LOGIQUE - RAISONNEMENTS

RUDIMENTS DE LOGIQUE - RAISONNEMENTS RUDIMENTS DE LOGIQUE - RAISONNEMENTS Introduction La théorie Mathématique est basée : sur des propositions initiales posées a priori comme vraies (axiomes, postulats). sur des règles permettant de déduire

Plus en détail

Exercices sur la division euclidienne

Exercices sur la division euclidienne TS spé Exercices sur la division euclidienne On rédigera une phrase sur le modèle suivant : D après la calculatrice, on peut conjecturer que pour n..., le reste de la division euclidienne de 7n 15 par

Plus en détail

Langage mathématique et logique

Langage mathématique et logique Table des matières 1 Langage mathématique et logique 2 1 Présentation du langage................................. 2 1.1 Expressions mathématiques........................... 2 1.2 Variables.....................................

Plus en détail

Fondements des mathématiques

Fondements des mathématiques Fondements des mathématiques MAT 2762 Automne 2014 A B C Alistair Savage Département de Mathématiques et de Statistique Université d Ottawa Table des matières Préface iii 1 Logique propositionnelle 1 1.1

Plus en détail

Le quantificateur universel

Le quantificateur universel Le quantificateur universel Dans tout ce qui suit, nous nous intéressons à la quantification universelle. Quantifier ne va pas de soi. C est une habitude à prendre. On doit quantifier dans le quotidien.

Plus en détail

Exo7. Arithmétique dans Z. 1 Divisibilité, division euclidienne

Exo7. Arithmétique dans Z. 1 Divisibilité, division euclidienne Exo7 Arithmétique dans Z 1 Divisibilité, division euclidienne Exercice 1 Sachant que l on a 96842 = 256 375+842, déterminer, sans faire la division, le reste de la division du nombre 96842 par chacun des

Plus en détail

I. QUELQUES ELEMENTS DE LOGIQUE

I. QUELQUES ELEMENTS DE LOGIQUE I. QUELQUES ELEMENTS DE LOGIQUE A. Propositions et connecteurs Une proposition est une phrase grammaticalement correcte, ayant un sens, ni interrogative, ni exclamative qui peut être soit vraie, soit fausse

Plus en détail

Cours d arithmétique. Khaoula Ben Abdeljelil

Cours d arithmétique. Khaoula Ben Abdeljelil Cours d arithmétique Khaoula Ben Abdeljelil 2 Table des matières Table des matières............................... i 1 LES ENTIERS NATURELS 1 1.1 Les opérations élémentaires sur N.................... 1

Plus en détail

Chapitre 3. S exprimer en mathématiques

Chapitre 3. S exprimer en mathématiques Chapitre 3 S exprimer en mathématiques 1. Les énoncés Des énoncés mathématiques sont des phrases qui ont pour but de définir des objets mathématiques ou bien d en donner des propriétés. Voici des exemples

Plus en détail

Chapitre 5. Applications

Chapitre 5. Applications Chapitre 5 Applications 1. Définitions et exemples Définition 5.1 Soient E et F deux ensembles. Une application f de E dans F est un procédé qui permet d associer à chaque élément x de E un unique élément

Plus en détail

Stage de logique par René Cori, les 3 et 4 décembre 2009

Stage de logique par René Cori, les 3 et 4 décembre 2009 Stage de logique par René Cori, les 3 et 4 décembre 2009 Notes de Nathalie Carrié René Cori nous a d abord présenté la logique comme une branche très jeune des mathématiques. Il a expliqué la singularité

Plus en détail

5. ( ) ( ) Aller à : Correction exercice 6 : Exercice 7 : Soient et deux parties de. Ecrire en utilisant les assertions

5. ( ) ( ) Aller à : Correction exercice 6 : Exercice 7 : Soient et deux parties de. Ecrire en utilisant les assertions Logique Exercice 1 : Parmi les assertions suivantes, lesquelles sont vraies, lesquelles sont fausses et pourquoi? 1. Si Napoléon était chinois alors 2. Soit Cléopâtre était chinoise, soit les grenouilles

Plus en détail

Chapitre 3. Suites récurrentes

Chapitre 3. Suites récurrentes Chapitre 3 Suites récurrentes 3.1 Suites numériques Définition 3.1 On appelle suite de terme général u n et on note (u n ) n 0 ou plus simplement u la liste ordonnée des nombres u 0, u 1, u 2, u 3,....

Plus en détail

CHAPITRE 1 : Raisonnement par récurrence, suites et fonctions

CHAPITRE 1 : Raisonnement par récurrence, suites et fonctions CHAPITRE 1 : Raisonnement par récurrence, suites et fonctions 1 Les suites numériques (rappel de première)... 4 1.1 Généralités... 4 1.2 Plusieurs méthodes pour générer une suite... 4 2 Exemples d algorithmes

Plus en détail

Chapitre 4 - Calcul des propositions et des prédicats, langage ensembliste et calcul booléen

Chapitre 4 - Calcul des propositions et des prédicats, langage ensembliste et calcul booléen Lycée Maximilien Sorre Année 2015-2016 BTS SIO 1 Chapitre 4 - Calcul des propositions et des prédicats, langage ensembliste et calcul booléen 1 Calcul des propositions 1.1 Propositions, valeurs de vérité

Plus en détail

Introdution à la logique en mathématique

Introdution à la logique en mathématique Introdution à la logique en mathématique Mickaël Péchaud 2008 Table des matières 1 Introduction 3 1.1 Propositions.................................... 3 1.2 Un peu d abstraction...............................

Plus en détail

LE RAISONNEMENT MATHÉMATIQUE SOUS TOUTES SES FORMES

LE RAISONNEMENT MATHÉMATIQUE SOUS TOUTES SES FORMES LE RAISONNEMENT MATHÉMATIQUE SOUS TOUTES SES FORMES Colloque International des IREM du 2 au 4 Juin 2016 STRASBOURG Denise GRENIER Université Grenoble Alpes (France) Judith NJOMGANG NGANSOP Université de

Plus en détail

Chapitre 3 : Exemples de raisonnement par récurrence

Chapitre 3 : Exemples de raisonnement par récurrence Chapitre 3 : Exemples de raisonnement par récurrence Plan de ce chapitre 1 Rappel 11 Mise en place et exemple 1 Mise en garde Exercices 1 comparaison entre n n et n! Démonstration de l inégalité de Bernoulli

Plus en détail

RUDIMENTS DE LOGIQUE - RAISONNEMENTS

RUDIMENTS DE LOGIQUE - RAISONNEMENTS RUDIMENTS DE LOGIQUE - RAISONNEMENTS Introduction La théorie Mathématique est basée : sur des propositions initiales posées a priori comme vraies (axiomes, postulats). sur des règles permettant de déduire

Plus en détail

Les propriétés considérées essentielles de l ensemble des nombres naturels N = {0, 1, 2, 3,..., n, n+ 1,...} sont les suivantes :

Les propriétés considérées essentielles de l ensemble des nombres naturels N = {0, 1, 2, 3,..., n, n+ 1,...} sont les suivantes : 4. Induction mathématique Les propriétés considérées essentielles de l ensemble des nombres naturels N = {0, 1,, 3,..., n, n+ 1,...} sont les suivantes : (1) Chaque nombre naturel n a un unique successeur

Plus en détail

Phrases quantifiées. «Tout parallélogramme dont les diagonales sont de même longueur est un rectangle.»

Phrases quantifiées. «Tout parallélogramme dont les diagonales sont de même longueur est un rectangle.» Phrases quantifiées Les étapes «comprendre la nécessité de quantifier», «être capable d expliciter les quantifications» et «être capable de rédiger avec des quantificateurs» sont des étapes différentes

Plus en détail

Chapitre 1. Techniques de preuves

Chapitre 1. Techniques de preuves Chapitre 1 Techniques de preuves 6 Plan 1. Définitions 2. Techniques de preuves simples 3. Principe du bon ordre 4. Induction 5. Principe d invariant Lectures conseillées : MCS : chapitres 1, 2, et 5.

Plus en détail

1 q. = 1 q n. (un + v n ) (l + l ) = (un l) + (v n l ) n n 0, u n + v n A.

1 q. = 1 q n. (un + v n ) (l + l ) = (un l) + (v n l ) n n 0, u n + v n A. 16 Proposition : La somme des n premiers termes d une suite géométrique de raison q 1 est : n 1 u 0 q k 1 q n = u 0 1 q k=0 Il suffit de calculer (1 q) n 1 k=0 qk = n 1 k=0 qk n 1 k=0 qk+1 = n 1 k=0 qk

Plus en détail

Exercices : Suites réelles

Exercices : Suites réelles Exercices : Suites réelles Exercice : Démontrer par récurrence les résultats suivants : n+. n N, k k = n n+ + n. n N, (k +) = n. Soit a R + fixé, n N, (+a) n +na 4. n, n! n Analyse : Chapitre Exercices

Plus en détail

4.1 L ensemble des réels est un corps ordonné

4.1 L ensemble des réels est un corps ordonné Table des matières 4 Propriétés de R 4. L ensemble des réels est un corps ordonné....................... 4.. Propriétés d ordre de R............................. 4..2 Valeur absolue..................................

Plus en détail

COURS SUR LA LOGIQUE FORMELLE

COURS SUR LA LOGIQUE FORMELLE COURS SUR LA LOGIQUE FORMELLE Tristan Canale et Geoffrey Just 24 mai 2016 Nous voudrions particulièrement remercier M. Bulois, Maitre de Conférence en Mathématiques à l Université Jean Monnet de Saint-Etienne,

Plus en détail

Cours de terminale S Suites numériques

Cours de terminale S Suites numériques 0 - - de terminale S Suites s LPO de Chirongui 20 mai 2016 1 - Introduction- Introduction Principe de récurrence Exemple En Mathématiques, un certain nombre de propriétés dépendent d un entier naturel

Plus en détail

CH V : Généralités sur les suites réelles

CH V : Généralités sur les suites réelles CH V : Généralités sur les suites réelles I. Notion de suite I.1. Définition générale Définition Une suite de nombre réels u est une application de N dans R i.e. une fonction de N dans R telle que tout

Plus en détail