TD : Exercices de logique - Mathématiques à Angers
quantificateurs Exercice 14 Ecrire à l'aide de quantificateurs les propositions suivantes : 1 Le carré de tout réel est positif 2 Certains réels sont strictement supérieurs à leur carré 3 Aucun entier n'est supérieur à tous les autres 4 Tous les réels ne sont pas des quotients d'entiers 5
Logique, ensembles et applications - Cours et exercices de
Exercices de Jean-Louis Rouget Retrouver aussi cette fiche sur www maths-france * très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable T : pour travailler et mémoriser le cours Exercice 1 **IT Exprimer à l’aide de quantificateurs les phrases suivantes puis donner leur négation
Daniel ALIBERT Ensembles, applications Relations d
Daniel ALIBERT cours et exercices corrigés volume 1 4 L'ambition de cet ouvrage est de contribuer à la résolution de ces difficultés aux côtés des enseignants Ce livre comporte quatre parties La première, intitulée "A Savoir", rassemble les définitions et résultats qui sont utilisés dans les exercices qui suivent
Planche no 1 Logique : corrigé - maths-francefr
Constatez que les phrases f(M)=M ou f(M)6= M n’ontaucun senssi elles ne sont pas accompagnéesde quantificateurs Exercice no 2 Le contraire de x >3 est x < 3 Le contraire de 0 < x 62 est ((x 60)ou x > 2) Exercice no 3 1) Oui Dans les deux cas, chaque fois que l’on se donne un réel x0, f(x0)et g(x0)sont tous deux nuls 2) Non
LIMITES – EXERCICES CORRIGES
Retrouver les limites de f(x) à partir du graphique connaissant les asymptotes Exercice n°20 Dans chacun des cas ci-dessous, on donne trois fonctions et la représentation graphique C de l’une d’entre elles
Logique - Claude Bernard University Lyon 1
Les deux dernières équivalences logiques me paraissent acceptables, parce qu’il y a souvent différentes façon d’exprimer une négation, ensuite il faut voir dans les exercices comment se présentent les propositions ( ),( ) )et
Module Mathématiques pour l’Informatique partie 2
Module Mathématiques pour l’Informatique_ partie 2 Zahra Royer-SafouanaTabiou Exercice 1 (corrigé) 1 Formaliser les propositions suivantes en utilisant uniquement les prédicats indiqués, les connecteurs logiques et les quantificateurs : a) Personne n’est parfait : p(x): « x est parfait »
ALGÈBRE CoursetExercices PremièreAnnéeLMD
La partie entrainement comprend des exercices qui ont été choisissoigneusement Ilestconseillédes’exerceràrésoudre par soi-même les exercices sans avoir une solution à côté C’est grâce à ce travail personnel indispensable que l’on peut aller loin dans la compréhension et l’assimilation des notions mathématiques introduites
Ressources pour la classe de seconde - Notations et
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 ; la dernière étant un objectif de fin de lycée et non de la classe de seconde
[PDF] Les quantités d'équilibre
[PDF] Les quantités de matière
[PDF] les quantités de matières
[PDF] Les quartiles
[PDF] les quatre opérations avec des fractions
[PDF] les quatre opérations numériques de base et sur les conversions mathématiques
[PDF] les quatre paramètres du son
[PDF] les quatre stratégies de fidélisation
[PDF] Les quatres dés
[PDF] les quelque ou les quelques
[PDF] Les question D'anglais
[PDF] Les questions de texte - CNED
[PDF] les questions difficiles de la bible
[PDF] les questions en francais 4e Fleurs d'encre 4 cycle
ALGÈBRE
Cours et Exercices
Première Année LMD
Marir Saliha
2Table des matières
1 Notions de Logique Mathématique 6
1.1 Préambule . . . . . . . . . . . . . . . . . . . . . . .
61.2 Connecteurs logiques . . . . . . . . . . . . . . . . .
81.3 Propriétés des connecteurs logiques . . . . . . . . .
101.4 Quantificateurs mathématiques . . . . . . . . . . .
121.5 Exercices . . . . . . . . . . . . . . . . . . . . . . . .
152 Ensembles et Applications 20
2.1 Ensembles . . . . . . . . . . . . . . . . . . . . . . .
202.1.1 Inclusion . . . . . . . . . . . . . . . . . . . .
212.1.2 Opérations sur les ensembles . . . . . . . . .
222.1.3 Propriétés des opérations sur les ensembles .
252.1.4 Partition . . . . . . . . . . . . . . . . . . . .
262.1.5 Produit Cartésien . . . . . . . . . . . . . . .
272.1.6 Exercices sur les ensembles . . . . . . . . . .
272.2 Applications . . . . . . . . . . . . . . . . . . . . . .
312.2.1 Composition d"applications . . . . . . . . .
322.2.2 Image directe et Image réciproque . . . . . .
322.2.3 Injection, Surjection, Bijection . . . . . . . .
3 62.2.4 Exercices . . . . . . . . . . . . . . . . . . .
413 Relations Binaires 48
3.1 Généralités . . . . . . . . . . . . . . . . . . . . . .
483.1.1 Propriétés des relations binaires dans un en-
semble . . . . . . . . . . . . . . . . . . . . . 493.2 Relation d"équivalence . . . . . . . . . . . . . . . .
503.3 Relation d"ordre . . . . . . . . . . . . . . . . . . . .
523.4 Exercices . . . . . . . . . . . . . . . . . . . . . . . .
533
4TABLE DES MATIÈRES
Bibliographie 62
Introduction
Ce polycopié reprend quelques notions mathématiques à la base de la partie Algèbre de l"unité d"Enseignement Maths1 de premières années LMD Sciences et techniques et Mathématiques et informa- tique. Il peut aussi être utilement utilisé par les étudiants d"autres paliers aussi bien en sciences et sciences et techniques que ceux deBiologie, Sciences économiques ou autre.
Les chapitres de ce texte se décomposent de la façon suivante : Le cours contient les notions à assimiler. Il convient d"en ap- prendre les définitions et les énoncés des résultats principaux. Les démonstrations données doivent être comprises ainsi que les exemples proposés tout au long du cours. La partie entrainement comprend des exercices qui ont été choisis soigneusement. Il est conseillé de s"exercer à résoudre par soi-même les exercices sans avoir une solution à côté . C"est grâce à ce travail personnel indispensable que l"on peut aller loin dans la compréhension et l"assimilation des notions mathématiques introduites. C"est la seule méthode connue à ce jour pour progresser en mathématiques. L"étu- diant consciencieux travaillera la justification de chacune de ses réponses. Rappelons que trouver la bonne réponse ne suffit pas en science, il faut aussi la justifier! La partie Solutions des exercices proposés que l"étudiant pourra consulter en cas de difficulté. 5Chapitre 1
Notions de Logique
Mathématique
Sommaire1.1 Préambule . . . . . . . . . . . . . . . . . .61.2 Connecteurs logiques . . . . . . . . . . .
81.3 Propriétés des connecteurs logiques . .
101.4 Quantificateurs mathématiques . . . . .
121.5 Exercices . . . . . . . . . . . . . . . . . . .
15 1.1 Préambule
Les mathématiques actuelles sont bâties de la façon suivante : Axiome :Un axiome est un énoncé supposé vrai à priori et que l"on ne cherche pas à démontrer. Exemple 1.1.1.Euclide a énoncé cinq axiomes qui devaient être la base de la géométrie euclidienne; le cinquième axiome a pour énoncé : Par un point extérieur à une droite, il passe une et une seule droite parallèle à cette droite. 61.1. PRÉAMBULE7
Les cinq axiomes de Péano, qui définissent l"ensemble des en- tiers naturels. Le cinquième axiome est : siPest une partie deNcontenant0et que tout successeur de chaque élément dePappartient àP(le successeur de n estn+1) alorsP=N. Cet axiome est appelé " axiome d"in- duction ». Définition :Une définition est un énoncé dans lequel on décrit les particularités d"un objet mathématique. On doit avoir conscience que le mot "axiome" est parfois synonyme de "définition". Démonstration :(ou preuve) c"est réaliser un processus qui per- met de passer d"hypothèses supposées vraies à une conclusion et ce en utilisant des règles strictes de logique. On décide enfin de qualifier de vraie toute affirmation obtenue en fin de démonstration et on l"appelle selon son importance,Lemme :Un résultat d"une importance mineure.
Théorème :Un résultat d"une importance majeure. Corollaire :Un corollaire à un théorème est conséquence à ce théo- rème. Conjecture :Un résultat mathématique que l"on suppose vrai sans parvenir à le démontrer. Exemple 1.1.2.La conjecture de Fermat : sin2N; n3, il n"existe pas d"entiers naturelsx;y;ztels que x n+yn=zn Récemment, ce résultat a été démontré. Proposition :Une proposition est un énoncé mathématique pouvant être vrai ou faux, on la note par les lettres P, Q, R,...etc. Exemple 1.1.3.L"énoncé " 24 est multiple de 4 » est une propo- sition vraie. L"énoncé " 19 est multiple de 3 » est une proposition fausse. A toute proposition correspond une table de véritéP V FouP 1 08CHAPITRE 1. NOTIONS DE LOGIQUE MATHÉMATIQUE
Pour deux propositionsPetQnon précisées, correspond22possi- bilités d"attribution de véritéPQ 11 10 01 00 D"une manière générale, ànpropositions correspond2npossibilités d"attribution de vérité.1.2 Connecteurs logiques
Si P est une proposition et Q est une autre proposition, nous allons définir de nouvelles propositions construites à partir de P et de Q.Négation d"une proposition
La négation d"une proposition P est une proposition notéeP et définie à partir de sa table de véritéPP 10 01Conjonction " et »
La conjonction est le connecteur logique " et » qui à tout couple de propositions(P;Q)associe la proposition "P et Q », notéeP^Qet définie ainsi :P^Qest vraie siPetQsont toutes les deux vraies simultanément, fausse dans les autres cas. On résume ceci dans la table de vérité suivantePQP^Q111 100010 000
1.2. CONNECTEURS LOGIQUES9
Disjonction " ou »
La disjonction est le connecteur logique " ou » qui à tout couple de propositions(P;Q)associe la proposition "P ou Q », notéeP_Qet définie ainsi :P_Qest fausse siPetQsont toutes les deux fausses simultanément, vraie dans les autres cas. On résume ceci dans la table de vérité suivantePQP_Q111 101011 000
Implication ")»
L"implication est le connecteur logique qui à tout couple de propositions(P;Q)associe la proposition "P implique Q », notéeP)Qet définie ainsi :P)Qest fausse lorsqueP est vraie etQest fausse, vraie dans les autres cas. On résume ceci dans la table de vérité suivantePQP)Q111 100011 001
Equivalence ",»
L"équivalence est le connecteur logique qui à tout couple de propositions(P;Q)associe la proposition "P équivaut Q », notéeP,Qet définie ainsi :P,Qest vraie lorsquePet Qont la même valeur de vérité, fausse dans les autres cas. On résume ceci dans la table de vérité suivantePQP,Q111 100010 001