Raisonnements et logique
2 2 Raisonnement par contraposition Soient P et Q deux assertions On appelle contraposée de l’implication P ùñQ, l’impli-cation : (␣Q) ùñ(␣P) Définition 17 Soient P et Q deux assertions On a la synonymie : P ùñQ ”(␣Q) ùñ(␣P) Théorème 18 - Raisonnement par contraposition Démonstration Il suffit de faire une
1 Logique – Raisonnement 30
La contraposée de "P =)Q" est "non(P) =)non(Q)" L’assertion "P =)Q" est équivalente à "non(P) ou non(Q)" Question 30 Je veux montrer que p 13 2=Q par un raisonnement par l’absurde Quel schéma de raison-nement est adapté? Je suppose que p 13 est rationnel et je cherche une contradiction Je suppose que p
Raisonnement - Marc Chevalier
4 Le raisonnement par contraposition Le raisonnement par contraposition permet de prouver une implication en prouvant que la négation de son but implique la négation de sa prémisse Ce raisonnement est formalisé par par la tautologie suivante : Théorème 3 – Contraposée La formule ((ϕ1 ⇒ ϕ2)⇔ ((¬ϕ2)⇒ (¬ϕ1)))est une tautologie
Définitions
Quel est le raisonnement employé par Vincent˜? 2 Faire à nouveau la rédaction de cette démonstration en utilisant un raisonnement par contraposée et la pro-priété suivante˜: «˜si les droites (RP) et (CB) sont paral-lèles, alors AP AR AB AC = ˜ D I
MATHS BCPST 1 - Dunod
— Raisonnement par contraposée — Raisonnement par l’absurde — Raisonnement par récurrence — Démonstration d’une inclusion, d’une égalité entreensembles — Règles decalcul pour les opérations sur les ensembles — Imagedirected’une partiepar une application — Injectivité, surjectivité oubijectivité d’une application
MATHÉMATIQUES LICENCE 1 - Dunod
thodes de raisonnement : raisonnement par l’absurde, par la contraposée et la récur-rence Base de la théorie des ensembles : élément, partie, complémentaire, intersection, réunion Lois de De Morgan Produit cartésien Application Injection Surjection Bi-jection Images directe et réciproque Raisonnement par récurrence Ensemble fini
Logique et raisonnements
2 1 LOGIQUE Dans une même proposition, il ne faut pas mélanger du texte et des quanti cateurs Par exemple, il ne faut pas écrire 8x 2R;f(x) est plus petit que 2
L E Ç O N 68 - Maurimath
3 Raisonnement par disjonction des cas (ou cas par cas) Raisonnement par disjonction des 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 tous les x n’appartenant pas à A C’est la méthode de disjonction ou du cas par cas
Mathématiques Pour Etudiants de Première Année
Par contraposée, soit n2Z, nous allons montrer que nimpair )n2 impair On suppose que nest impair, alors n= 2k+ 1 et par suite n2 = (2k+ 1)2 = 4k2 + 4k+ 1 = 2(2k2 + 2k) + 1 = 2k0+ 1 avec k0= 2k2 +2kpour k2Zdonc n2 = 2k0+1 et par conséquent n2 est impair En conclusion pour tout n2Z, n2 pair )npair Exercice 1 8
[PDF] cadhérine
[PDF] fonction des récepteurs membranaires
[PDF] matrice extracellulaire
[PDF] molecule arn
[PDF] principe de raisonnement ? partir de cas
[PDF] phase de raisonnement synonyme
[PDF] raisonnement par cas
[PDF] lemme
[PDF] case based reasoning example
[PDF] samarium
[PDF] case based reasoning algorithm
[PDF] molecule de l'air
[PDF] molécule d'air formule
[PDF] l'air un mélange de molécules 4ème
RÉPUBLIQUEALGÉRIENNEDÉMOCRATIQUE ET POPULAIRE
Ministère de l"Enseignement Supérieur et de la Recherche ScientifiqueUniversité Abou Bekr Belkaid Tlemcen
Faculté de Technologie
Département de Génie Éléctronique et ÉléctriqueMathématiques Pour Etudiants de Première AnnéeRecueils d"Exercices et Examens corrigésATTAR Ahmed MIRI Sofiane Elhadi
Recueils d"Exercices et Examens corrigés
d"Analyse et d"Algèbre.ATTAR Ahmed MIRI Sofiane Elhadi16 octobre 2016
Préface
Ce polycopié est un ouvrage, pricipalement distiné aux étudiants de première année Génie Industriel, mais aussi à tous les étudiants de première année des fi- lières technologiques et scientifiques. Il fait suite au polycopié [8] publié par la faculté de technologie, et contenant les notions présentées en cours de mathéma- tiques. Nous y présentons différents exercices de Mathématiques de degré de difficulté variable, avec des corrigés détaillés. Le lecteur y trouvera aussi des exercices supplémentaires sans corrigé, ainsi que certains sujets d"examens. Le manuscrit couvre différents sujets de l"analyse et de l"algèbre, qui consti- tuent les programmes des matières Analyse, Algèbre et Outils mathématiques. Nous avons scindé ce recueil d"exercices en trois parties, la première partie est consacrée à l"Algèbre, les exercices proposés traitent de la théorie des ensembles, des applications et leur classification, de l"arithmétique dansZ, des nombres com- plexes, du calcul matriciel, des espaces vectoriels ainsi que les applications li- néaires. La deuxième partie est quant à elle consacrée à l"analyse, on y trouvera des exercices sur les suites, et sur les fonctions réelles de la variable réelle. La troi-sième partie, est dédiée aux exercices portant sur le calcul intégral et aux équations
différentielles. d"analyse et d"algèbre des années universitaires allant de 2011 à 2016. Comme toute première version de tout ouvrage, ce recueil peut contenir cer- taines erreurs et fautes de frappe, nous invitons le lecteur à nous les signaler afin d"améliorer la présentation et le contenu du présent manuscrit.Table des matières
Préface i
I Algèbre 1
1Logique et Théorie des Ensembles
3 1.1Ex ercices
3 1.2Solutions
6 1.3Ex ercicessupplémentaires
10 2A pplications
13 2.1Ex ercices
13 2.2Solutions
15 2.3Ex ercicessupplémentaires
20 3Arithmétique dans Z23
3.1Ex ercices
233.2
Solutions
253.3
Ex ercicessupplémentaires
364
Nombr esComplexes
374.1
Ex ercices
374.2
Solutions
394.3
Ex ercicessupplémentaires
425
Calcul Matriciel
435.1
Ex ercices
435.2
Solutions
465.3
Ex ercicessupplémentaires
51iv TABLE DES MATIÈRES 6
Espaces V ectoriels
536.1
Ex ercices
536.2
Solutions
556.3
Ex ercicessupplémentaires
617
A pplicationsLinéair es
637.1
Ex ercices
637.2
Solutions
657.3
Ex ercicessupplémentaires
68II Analyse 69
8Suites Numériques
718.1
Ex ercices
718.2
Solutions :
738.3
Ex ercicessupplémentaires
789
F onctionRéelle d"une V ariableRéelle
819.1
Ex ercices
819.2
Solutions
839.3
Ex ercicessupplémentaires
8710
Déri vation
8910.1
Ex ercices
8910.2
Solutions :
9110.3
Ex ercicessupplémentaires
95III Outils Mathématique 97
11Calcul Intégral
9911.1
Ex ercices
9911.2
Solutions
10211.3
Ex ercicessupplémentaires
11112
Equations Différ entielles
11312.1
Ex ercices
11312.2
Solutions
115TABLE DES MATIÈRES v
12.3Ex ercicessupplémentaires
121IV Examens 123
13Examens Algèbr e
12513.1
Examen Final 2011-2012
12613.2
Examen Final 2012-2013
13013.3
Rattrapage 2012-2013
13413.4
Examen Final 2013-2014
13813.5
Rattrapage 2013-2014
14313.6
Examen Final 2014-2015
14513.7
Examen Final 2015-2016
15013.8
Rattrapage 2015-2016
15614
Examens d"Analyse
16114.1
Examen Final 2012-2013
16214.2
Rattrapage 2012-2013
16714.3
Examen Final 2013-2014
17214.4
Rattrapage 2013-2014
17714.5
Examen Final 2014-2015
18014.6
Examen Final 2015-2016
18414.7
Rattrapage 2015-2016
18915
Examens d"Outils Mathématiques
19315.1
Examen Final 2011-2012
19415.2
Examen Final 2012-2013
19815.3
Rattrapage 2012-2013
20215.4
Examen Final 2013-2014
20615.5
Rattrapage 2013-2014
21015.6
Examen Final 2014-2015
21315.7
Examen Final 2015-2016
21715.8
Rattrapage 2015-2016
222Première partie
Algèbre
Chapitre 1
Logique et Théorie des
Ensembles
Sommaire1.1Exer cices. . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.2Solutions
6 1.3Exer cicessupplémentair es
10 1.1Exer cices
Avant d"en venir aux ensembles nous commençons par une série d"exercices sur la logique mathématique. Exercice1.1.Soientpetqdeux propositions données, en utilisant la table de vérité, montrer que(p)q),(p^q) (p)q),(q)p) Exercice1.2.Soientp; qetrtrois propositions données, montrer les propriétés suivantes 1.p,p 2. ( p^p),p 3. ( p_p),p 4. ( p^q),(q^p) commutativité du^4Logique et Théorie des Ensembles
5. ( p_q),(q_p) commutativité du_6.[(p^q)^r],[p^(q^r)]associativité du^
7.[(p_q)_r],[p_(q_r)]associativité du_
8.(p^q),(p_q)loi de Morgan
9.(p_q),(p^q)loi de Morgan
10.(p)q),(q)p)(contraposée)
Exercice1.3.Soientp;qetrtrois propositions données. En utilisant la table de vérité, vérifier que les propositions suivantes sont vraies1.(p_q),[(p)q))q]
2.(p)q))[(p^r))(q^r)]
Exercice1.4.Former la négation des propositions suivantes : [(p)q)_r]^(p_q) [(p^q)_r])(p^r) Exercice1.5.Montrer à l"aide d"un exemple que la relation (8x)(9y)P)(9y)(8x)P n"est généralement pas vraie. Exercice1.6.Raisonnement par récurrence : Montrer par récurrence ce qui suit n X k=1k=n(n+ 1)2 n X k=1(2k1) =n2 n X k=1k3=n(n+ 1)2
2 Exercice1.7.Raisonnement par contraposition : Montrer que 1. x6= 2ety6= 2)xy2x2y+ 46= 0 2.Soit n2Z,
n2pair)npair
Exercice1.8.Raisonnement par l"absurde : Montrer que p2est irrationnel: ln(2)ln(3) est irrationnel1.1.Exer cices5
Exercice1.9.SoientAetBdeux ensembles donnés, montrer que siA\B=A[BalorsA=B:
Exercice1.10.SoientA;BetCtrois ensembles donnés, montrer queA\C=A[Bsi et seulement siBAC.
Exercice1.11.SoientAetBdeux sous-ensembles d"un ensembleE. Montrer l"égalité (A[B)n(A\B) = (AnB)[(BnA):6Logique et Théorie des Ensembles
1.2Solutions
Exercice 1.1.Soientpetqdeux propositions données, telles que(p)q),(p^q) (p)q),(q)p)Pour démontrer ces propriétés, il suffit de dresser la table de vérité;pqpqp^qp)qp)qq)p