Logique/Ensembles. Logique 2. 1 Rudiments de logique. 1.1 Assertions, connecteurs, synonymie.

Save this PDF as:
 WORD  PNG  TXT  JPG

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

Download "Logique/Ensembles. Logique 2. 1 Rudiments de logique. 1.1 Assertions, connecteurs, synonymie."

Transcription

1 Logique 2 Logique/Ensembles 1 Rudiments de logique. 1.1 Assertions, connecteurs, synonymie. La notion d'assertion est considérée comme intuitive : on se donne la dénition vague ci-dessous. Dénition 1. Une assertion est une phrase qui peut prendre deux valeurs de vérité : Vrai (V) ou Faux (F). Par exemple, les phrases "4 est pair", "1 + 1 = 2" et "1 + 1 = 1" sont des assertions. On peut estimer que "Il a plu le jour de la rentrée 2015 sur le Lycée Schweitzer" est une assertion. En revanche, "Comment allezvous?" n'en est pas une. Les assertions "4 est pair", "1+1 = 2" sont vraies, l'assertion "1+1 = 1" est fausse. On appelle négation d'une assertion P l'assertion qui est vraie quand P est fausse, et fausse quand P est vraie. Formalisons. Dénition 2. Soit P une assertion. On appelle négation de P, et on note (non P ), ou encore P, l'assertion dénie par la table de vérité suivante : P P V F F V On peut aussi combiner des assertions à l'aide de connecteurs logiques binaires. Si truc est un tel connecteur logique, et P et Q deux assertions, P truc Q est une assertion dont la valeur de vérité est fonction des valeurs de vérité de P et Q. Dénition 3. La table de vérité ci-dessous dénit les connecteurs logiques suivants : La conjonction : "et". La disjonction : "ou". La disjonction exclusive : "ou bien". L'implication : "implique" ou "= " L'équivalence : "équivaut à" ou " " P Q P et Q P ou Q P ou bien Q P = Q P Q V V V V F V V V F F V V F F F V F V V V F F F F F F V V 1 PCSI1 Ly c é e A l be r t S chwe i t z e r

2 Exemples. ("Aurélien est un garçon et "Elsa est une lle") est vraie. ("Aurélien est un garçon" ou "Elsa est une lle") est vraie. ("Aurélien est un garçon" ou bien "Elsa est une lle") est fausse. ("Aurélien est un garçon" et "Elsa est en PCSI1") est fausse. ("Aurélien est un garçon" ou "Elsa est en PCSI1") est vraie. ("6 est pair"= "7 est impair") est vraie. ("5 est pair"= "7 est impair") est vraie. ("5 est impair"= "7 est pair") est fausse. ("5 est pair"= "je suis votre père") est vraie. En combinant deux à deux des assertions, on peut obtenir des assertions "complexes", du type (("6 est impair" ou "7 est impair") et "3 est pair") = ("2 est pair"). Soient P 1, P 2,... P n des assertions. A l'aide de connecteurs logiques, on forme des assertions A(P 1,..., P n ) et B(P 1,..., P n ). Lorsque ces assertions ont la même valeur de vérité, quelles que soient les valeurs de vérité des assertions P 1,..., P n, on dira dans ce cours qu'elles sont synonymes et on écrira 1.2 Connecteurs et et ou. Proposition 4. A(P 1,..., P n ) B(P 1,..., P n ). Soient P, Q, R des assertions. On a les synonymies suivantes. a) ( P ) P, (P et P ) P, (P ou P ) P. b) (P et Q) (Q et P ), (P ou Q) (Q ou P ). c) ((P et Q) et R) (P et (Q et R)), ((P ou Q) ou R) (P ou (Q ou R)). d) P et (Q ou R) (P et Q) ou (P et R) P ou (Q et R) (P ou Q) et (P ou R). e) (P et Q) ( P ) ou ( Q), (P ou Q) ( P ) et ( Q) (formules de Morgan). Remarques. c) est une propriété d'associativité et montre que certaines parenthèses sont superues. d) est une propriété de distributivité où et tient lieu de multiplication et ou d'addition. a) et c) montrent que toute assertion utilisant un et peut être réécrite en n'utilisant que et ou. Preuve : On laisse au lecteur le soin d'écrire les tables de vérité nécessaires. Voici celle qui démontre d). P Q R Q ou R P et (Q ou R) P et Q P et R (P et Q) ou (P et R) V V V V V V V V V V F V V V F V V F V V V F V V V F F F F F F F F V V V F F F F F V F V F F F F F F V V F F F F F F F F F F F F 2

3 1.3 Implication, équivalence. On énonce dans ce qui suit des synonymies concernant l'implication et en tire des conclusions pratiques sur la preuve d'une implication, et d'une équivalence. Proposition 5. Soient P, Q des assertions. On a la synonymie P = Q ( P ) ou Q. Corollaire 6 (Négation d'une implication). Soient P et Q deux assertions. La négation de P = Q est (P = Q) P et ( Q). Conséquence pratique de la proposition 5 : Preuve directe d'une implication (voir aussi Raisonner/Rédiger, 3.1). Si P est fausse alors P = Q sera vraie, quelle que soit la valeur de vérité de Q. En pratique, démontrer P = Q demande seulement de vérier que lorsque P est vraie, Q l'est aussi. C'est pourquoi on lit souvent P = Q comme Pour démontrer une telle implication, Si P, alors Q. On SUPPOSE P (et on l'écrit) puis on MONTRE Q. Vocabulaire Dans P = Q, l'assertion Q est dite condition nécessaire dans, et P condition susante. En eet, supposons que l'implication soit vraie. Alors Q est nécessairement vraie si P l'est, et il sut que P soit vraie pour que Q le soit. Dénition 7. Soient P et Q deux assertions. On appelle contraposée de l'implication P = Q, l'implication ( Q) = ( P ). Théorème 8. Soient P, Q des assertions. On a la synonymie P = Q ( Q) = ( P ) Autrement dit, une implication est vraie, si et seulement si sa contraposée l'est. 3

4 Conséquence pratique : Preuve par contraposition d'une implication (voir aussi Raisonner/Rédiger, 3.2). Au lieu de démontrer qu'une implication est vraie, on peut choisir si cela parait plus simple, de démontrer sa contraposée. Proposition 9. Soient P, Q des assertions. On a la synonymie P Q (P = Q) et (Q = P ). Conséquence pratique : Preuve par "double-implication" d'une équivalence (voir aussi Raisonner/Rédiger, 3.3). Il s'agit, pour démontrer que P Q est vraie, de démontrer séparément les implications P = Q (Q est une condition nécessaire pour P ) puis Q = P (Q est une condition susante pour P ). Exercice. En guise d'application des trois techniques ci-dessus, on propose la preuve pour n entier, de l'équivalence Proposition 10. Soient P, Q, R des assertions. n pair n 2 est pair Si P = Q et Q = R sont vraies, alors P = R est vraie. Le résultat reste vrai lorsqu'on remplace les implications par des équivalences. 1.4 Quanticateurs. Soit E un ensemble. On se donne P(X) un prédicat sur E, c'est à dire une phrase utilisant la variable X E. Lorsque dans le prédicat, on substitue à X un élément de l'ensemble E, on obtient une assertion P(x). Par exemple, le prédicat "X est pair" permet, lorsqu'on substitue des entiers à X de former les assertions "4 est pair" et "3 est pair". On rappelle les notations suivantes. L'assertion "pour tout élément x de E, l'assertion P(x) est vraie" s'écrit x E P(x). L'assertion "il existe un élément de E, disons x, telle que l'assertion P(x) est vraie" s'écrit quant à elle x E P(x). Dans l'assertion ci-dessus, il faut comprendre le "il existe un élément" comme "il existe (au moins) un élément". En eet, il se peut que l'assertion P(x) soit vraie pour plusieurs éléments x de E. L'assertion "il existe un unique élément de E, que l'on note x, telle que l'assertion P(x) est vraie" s'écrit à l'aide du symbole! :!x E P(x). 4

5 Un prédicat peut dépendre de plusieurs variables et on peut être amené à utiliser plusieurs quanticateurs. Soient E, F deux ensembles et P(X, Y ) un prédicat où X prend ses valeurs dans E et Y dans F. Signalons les synonymies : x E ( y F P(x, y)) y F ( x E P(x, y)) x E ( y F P(x, y)) y F ( x E P(x, y)) En revanche, les assertions suivantes ne sont pas synonymes! (A) x E ( y F P(x, y)) (B) y F ( x E P(x, y)). On lit (A) en deux temps : " x E" A partir de maintenant et jusqu'à la n de la phrase, on considère en pensée un élément x de E particulier (le nous autorisant à choisir n'importe lequel). On considère ensuite l'assertion " y F P(x, y)" (et ne contient pas y...) On apprend qu'il existe un élément de F, qu'on va ici appeler y tel que P(x, y) est vraie. Mais ce y qui dépend de x a priori, et change pour chaque élément x de E que l'on peut considérer. On lit (B) en deux temps : " y F " Pour un (au moins) des éléments de F ce qui suit va être vrai. A partir de maintenant et jusqu'à la n de la phrase, on considère en pensée un de ces éléments de F que l'on appelle ici y. " x E P(x, y)" L'élément y a été xé. La phrase P(x, y) est vraie pour tous les couples (x, y), où x est n'importe quel élément de E. Exemple. 1. Une théorie arme que chacun sur Terre a une âme s ur. Il faut comprendre cette phrase sous la forme d'une assertion de type (A) : "pour toute personne sur Terre, il existe une âme s ur". Bien sûr, cette âme s ur dépend de la personne considérée. Si on écrivait une assertion de type (B), cela signierait "il existe des gens qui sont l'âme s ur... de tout le monde"! (ces gens-là auraient une vie compliquée...) Exemple. 2. Soit f une fonction dénie sur R. Écrire à l'aide de quanticateurs "la fonction f est majorée sur R". Changer maintenant l'ordre des quanticateurs. Remarquer alors que l'assertion obtenue est vraie pour toutes les fonctions. Les deux synonymies ci-dessous montrent comment nier une assertion contenant un quanticateur. Proposition 11 (Négation d'une proposition contenant des quanticateurs). Soit P(X) un prédicat sur un ensemble E. On a les synonymies ( x E P(x)) x E P(x) ( x E P(x)) x E P(x) Exemple. Soit f une fonction dénie sur R. On note P l'assertion "f est majorée sur R", c'est à dire : P : M R x R f(x) M. On a donc P : M R x R f(x) > M. 5

6 2 Ensembles. 2.1 Vocabulaire, parties. À nouveau, on se donne une dénition vague. Dénition 12. Un ensemble non vide E est une collection d'éléments, c'est à dire d'objets x tels que l'assertion "x appartient à E" est vraie. On suppose qu'il existe un ensemble n'ayant pas d'éléments. On l'appelle ensemble vide et on le note. Pour tout objet x, l'assertion x est fausse. On conviendra que l'assertion x est vraie, quel que soit le prédicat P(X). Puisqu'il n'y a pas d'éléments dans l'ensemble vide, on peut dire que tous les éléments de l'ensemble vide sont verts. Ils sont aussi bleus à poils durs, d'ailleurs. Dénition 13. P(x) On dit que deux ensembles E et F sont égaux s'ils sont tous les deux vides, ou s'ils ont les mêmes éléments. On écrit alors E = F. Pour décrire un ensemble non vide, on utilise des accolades, ainsi qu'une description de ses éléments, qui peut être de deux formes. En extension : les éléments sont présentés sous forme de liste, par exemple {1, 2, 3}. Signalons que l'ordre dans notre liste n'a pas d'importance : {1, 2, 3} = {3, 2, 1}. L'ensemble {2k, k N} est l'ensemble des entiers naturels pairs, qu'il faut lire {0, 2, 4, 6,...} en comprenant le sens des points de suspension. Un ensemble ayant un seul élément est appelé singleton. Un ensemble ayant exactement deux éléments est appelé paire. En compréhension : on sélectionne dans un autre ensemble, des éléments possédant une certaine propriété. Par exemple, l'ensemble des entiers pairs se note, en compréhension {n N : p N : n = 2p}. L'ensemble des nombres réels positifs se note en compréhension : {x R : x 0}. Dans la notation en compréhension {x E : P(x) est vraie} on écrit, dans l'ordre, l'accolade, x : l'élément typique, E : l'ensemble de sélection, P(x) : le prédicat de sélection. 6

7 Dénition 14. Soit E un ensemble Une partie de E est un ensemble F tel que l'assertion x F x E est vraie. Cette assertion est notée F E et se lit F est inclus dans E. De façon moins abstraite, une partie de E est vide, ou est un ensemble d'éléments de E. Exemple. Si E = {1, 2, 3}, le singleton {1} est inclus dans E : son unique élément 1 est dans E. On a donc {1} E, à ne pas confondre avec "1 E". On a aussi {1, 3} E Remarque. Pour tout ensemble E, les ensembles E et sont des parties de E. Conséquence pratique : Preuve par "double-inclusion" d'une égalité entre ensembles (voir aussi Raisonner/Rédiger, 5.2.) Dénition 15. L'ensemble des parties d'un ensemble E est noté P(E). Remarque. Pour deux ensembles E et F, F E F P(E). Exemples. P({1}) = {, {1}}, P({1, 2}) = {, {1}, {2}, {1, 2}}, P( ) = { }, P (P({1})) = {, { }, {{1}}, {, {1}}} Proposition 16. Soient E et F deux ensembles. On a E = F E F et F E. Conséquence pratique : Preuve par "double-inclusion" d'une égalité entre ensembles (voir aussi Raisonner/Rédiger, 5.2). 2.2 Opérations sur les parties d'un ensemble. Dénition 17. Soient A et B deux parties d'un ensemble E. On dénit la réunion de A et B, notée A B, et leur intersection A B par A B := {x E : x A ou x B} et A B := {x E : x A et x B}. Figure. Les diagrammes de Venn, ou patates, permettent de visualiser les ensembles ainsi dénis. 7

8 Proposition 18. Soit E un ensemble. Les égalités d'ensembles suivantes sont vraies pour toutes parties A, B, C dans P(E). a) A A = A et A A = A b) A B = B A et A B = B A (commutativité). c) A =, A = A, A E = A, et A E = E. d) (A B) C = A (B C) et (A B) C = A (B C) (associativité). e) A (B C) (A B) (A C) et A (B C) (A B) (A C) (distributivité). Dénition 19. Soient A et B deux parties d'un ensemble E. On appelle diérence de A et de B, ( A privé de B ) la partie A \ B := {x E : x A et x / B}. On appelle complémentaire de A dans E et on note A ou C A E la partie A := E \ A = {x E : x A}. Proposition 20. Soit E un ensemble. Les égalités d'ensembles suivantes sont vraies pour toutes parties A, B, C dans P(E). a) = E et E =. b) A = A (complémentaire du complémentaire). c) A B = B A. d) A B = A B et A B = A B (dualité/formules de Morgan). 8

9 2.3 Produit cartésien. Dénition Soient E et F deux ensembles. On appelle produit cartésien de E et F et on note E F l'ensemble {(x, y) : x E, y F }. Les éléments de E F sont appelés couples. 2. Soient E 1, E 2,... E n, n ensembles. On appelle produit cartésien de E 1, E 2,..., E n et on note E 1 E 2... E n l'ensemble {(x 1, x 2,..., x n ) : x 1 E 1, x 2 E 2,..., x n E n }. Les éléments de E 1, E 2,..., E n sont appelés n-uplets. Notation. On note E 2 = E E. Par exemple, R 2 = {(x, y) : x R, y R}. Exemples. E = {1, 2, 3}, F = {, }, E F = {(1, ), (2, ), (3, ), (1, ), (2, ), (3, )}. Notons Card(E) ("cardinal") le nombre d'éléments d'un ensemble E. On remarque sur l'exemple précédent que Card(E F ) = 6 = 3 2 = Card(E) Card(F ). Le résultat sera prouvé en général dans le cours sur le dénombrement. Nous faisons cette remarque dès maintenant pour expliquer la notation pour le produit cartésien : il est commode que le cardinal du produit soit le produit des cardinaux. 9

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

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

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 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

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

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

Formalisation mathématique

Formalisation mathématique Formalisation mathématique Tony Bourdier (2012) Table des matières 1 Logique de base 1 1.1 Implication, condition nécéssaire, condition suffisante............. 1 1.2 Contraposée....................................

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

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

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

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

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

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

À 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

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

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

Logique L'opérateur non : négation logique. On prend simplement le contraire

Logique L'opérateur non : négation logique. On prend simplement le contraire Logique Il est apparu dès l'antiquité la nécessité de développer la logique, et sa formalisation commence avec Artistote qui la develope pour contrer les sophistes et l'utilisation qu'ils font du langage.

Plus en détail

Quelques concepts et notations logico-mathématiques Version 1.2 Sciences de la décision (CO8) Mikaël COZIC

Quelques concepts et notations logico-mathématiques Version 1.2 Sciences de la décision (CO8) Mikaël COZIC Quelques concepts et notations logico-mathématiques Version 1.2 Sciences de la décision (CO8) Mikaël COZIC 1 Préambule Les théories sont mathématisées. Nous avons donc besoin de notations et de concepts

Plus en détail

Chapitre 2 : ensembles

Chapitre 2 : ensembles Université Paris-Dauphine DUMI2E, Algèbre 1, 2009-2010 1 Définitions Chapitre 2 : ensembles Un ensemble est une collection d objets. Ces objets sont appelés éléments de l ensemble. Pour dire que x est

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

Chapitre 5 : Ensembles

Chapitre 5 : Ensembles Chapitre 5 : Ensembles Dans ce chapitre, nous introduisons rigoureusement la notion d'ensemble qui sera particulièrement utilisée lors de l'étude des probabilités. Après avoir introduit les dénitions d'ensembles

Plus en détail

Éléments de logique. Arnaud Girand 31 décembre 2009

Éléments de logique. Arnaud Girand 31 décembre 2009 Éléments de logique Arnaud Girand 31 décembre 2009 Ces quelques notes de cours n'ont pas la prétention d'être exhaustives, et de nombreux points fondamentaux (axiomatique,...) ne reçoivent ici qu'un traitement

Plus en détail

0. Logique et théorie des ensembles

0. Logique et théorie des ensembles 0. Logique et théorie des ensembles e chapitre présente une introduction à la logique et à la théorie des ensembles. Vous avez déjà rencontré la plupart des notions abordées ici, mais souvent sans les

Plus en détail

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

logique I démonstration et théorie axiomatique 2 1 généralités 2 2 proposition, prédicat simple 2 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 3 3.1 prédicat de négation....................................... 3 3.

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

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

ÉLÉMENTS DE THÉORIE DES ENSEMBLES. 1 Les ensembles. 1.1 Définition d un ensemble

ÉLÉMENTS DE THÉORIE DES ENSEMBLES. 1 Les ensembles. 1.1 Définition d un ensemble 2015-2016 MPSI2 du lycée Condorcet 1/22 ÉLÉMENTS DE THÉORIE DES ENSEMBLES 1 Les ensembles 1.1 Définition d un ensemble Définition 1. Un ensemble est une collection d objets mathématiques. Les objets qui

Plus en détail

Propriété fondamentale et premières applications

Propriété fondamentale et premières applications N I Propriété fondamentale et premières applications Prérequis : l'ensemble N, les opérations + et sur N, l'ordre standard de N, et les règles de calcul qui y sont associées. I.1 Propriété fondamentale

Plus en détail

1 Entre 15 et 20 cours de 1h30 ; 2 Listes d exercices pour chaque chapitre (environ) ; 3 Le reste pour résolutions et discussions d exercices.

1 Entre 15 et 20 cours de 1h30 ; 2 Listes d exercices pour chaque chapitre (environ) ; 3 Le reste pour résolutions et discussions d exercices. Logique et ensembles Pierre Mathonet Présentation provisoire Département de Mathématique Faculté des Sciences Liège, le 9 Février 2015 2 Objectifs et règles du jeu ontexte : Pourquoi sommes-nous là? Et

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

Fiche méthode : Ensembles

Fiche méthode : Ensembles Fiche méthode : Ensembles I Dénition, représentation et opérations élémentaires 1. Dénition : Un ensemble est un groupement non ordonné d'un certain nombre d'objets, appelés les éléments de cet ensemble.

Plus en détail

LES ESPACES VECTORIELS

LES ESPACES VECTORIELS LES ESPACES VECTORIELS Objectifs Savoir ce qu'est un espace vectoriel. Savoir ce qu'est un sous-espace vectoriel. Savoir ce qu'est une base. Le travail sur les espaces vectoriels de dimension nie Dans

Plus en détail

Raisonnements, preuves et théorie des ensembles

Raisonnements, preuves et théorie des ensembles Chapitre 2 Raisonnements, preuves et théorie des ensembles Ce document contient certains exercices qui seront faits en équipe lors de la deuxième semaine du cours de MAT210. 2.1 Raisonnements valides La

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

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

Les ensembles. Représentation graphique : On peut représenter les ensembles par le diagramme de Venn ou le diagramme de Caroll : b b

Les ensembles. Représentation graphique : On peut représenter les ensembles par le diagramme de Venn ou le diagramme de Caroll : b b Les ensembles 1 Définitions et notations 1.1 Notation d ensemble, ensembles des nombres 1.1.1 nsembles xiome : Un ensemble est un groupement d objets, on notera un ensemble. Un objet a est dans se note

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

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

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

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

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

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

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

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

Chapitre 3 Entiers naturels. Ensembles finis

Chapitre 3 Entiers naturels. Ensembles finis Chapitre 3 Entiers naturels. Ensembles finis Par Mohamed TARQI 3 octobre 2005 1 Nombres entiers naturels 1.1 Introduction des entiers naturels N est un ensemble non vide muni d'une addition (+) et d'une

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

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

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 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

Mathématiques - ECS1. Vocabulaire ensembliste. 30 avenue de Paris Versailles. c 2015, Polycopié du cours de mathématiques de première année.

Mathématiques - ECS1. Vocabulaire ensembliste. 30 avenue de Paris Versailles. c 2015, Polycopié du cours de mathématiques de première année. Mathématiques - ECS1 7 Vocabulaire ensembliste Lycée La Bruyère 30 avenue de Paris 78000 Versailles c 2015, Polycopié du cours de mathématiques de première année. 7 Vocabulaire ensembliste. 7.1 Objectifs

Plus en détail

Eléments de logique et méthodes de démonstration

Eléments de logique et méthodes de démonstration Chapitre 1 Eléments de logique et méthodes de démonstration 1.1 Eléments de logique 1.1.1 Assertions Dénition 1.1.1. Une assertion p (ou proposition) est une phrase déclarative exclusivement vraie ou fausse.

Plus en détail

Langage mathématique

Langage mathématique Université Joseph Fourier, Grenoble Maths en Ligne Langage mathématique Eric Dumas, Emmanuel Peyre et Bernard Ycart Ce chapitre vous explique la règle du jeu mathématique. Rien n est vraiment nouveau ni

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

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

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

Systèmes linéaires et échelonnement

Systèmes linéaires et échelonnement Systèmes linéaires et échelonnement 1 Systèmes linéaires, résolution de systèmes échelonnés. 1 1.1 Équations linéaires........................................... 1 1.2 Systèmes linéaires...........................................

Plus en détail

Théorie des codes. 1 Dénitions. Nicolas Daviaud 17 décembre 2010

Théorie des codes. 1 Dénitions. Nicolas Daviaud 17 décembre 2010 Théorie des codes Nicolas Daviaud 17 décembre 2010 1 Dénitions Dénition 1.1. Un alphabet est un ensemble. Ses éléments sont appelés les lettres de cet alphabet. Dans la suite, on supposera de plus qu'aucune

Plus en détail

Logique mathématique et théorie des ensembles

Logique mathématique et théorie des ensembles DERNIÈRE IMPRESSION LE 27 février 2017 à 15:36 Logique mathématique et théorie des ensembles Table des matières 1 Logique mathématique 2 1.1 Introduction................................ 2 1.2 Vocabulaire

Plus en détail

Logique mathématique et théorie des ensembles

Logique mathématique et théorie des ensembles DERNIÈRE IMPRESSION LE 20 avril 2016 à 9:53 Logique mathématique et théorie des ensembles Table des matières 1 Logique mathématique 2 1.1 Introduction................................ 2 1.2 Vocabulaire

Plus en détail

Chapitre 2. Ensembles et sous-ensembles

Chapitre 2. Ensembles et sous-ensembles Chapitre 2 Ensembles et sous-ensembles 1. Notion d ensemble - Elément d un ensemble Dans une théorie mathématique, il est rare qu un objet intervienne seul ; d où l idée de considèrer des collections,

Plus en détail

LA THÉORIE ZFC DES ENSEMBLES

LA THÉORIE ZFC DES ENSEMBLES LA THÉORIE ZFC DES ENSEMBLES 1. Les débuts de la théorie des ensembles Georg Cantor (1845 1918) est considéré comme l inventeur de la théorie des ensembles. La théorie de Cantor reposait sur deux principes,

Plus en détail

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

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

Un peu de langage mathématique

Un peu de langage mathématique Chapitre 1 Un peu de langage mathématique 1.1 La Phrase mathématique 1.1.1 Les Assertions Dans l imaginaire collectif, les mathématiques sont souvent considérées comme la science des nombres du calcul.

Plus en détail

Logique et théorie des ensembles

Logique et théorie des ensembles Logique et théorie des ensembles Feuille TD () Expliquer pourquoi les énoncés suivants ne sont pas des propositions: (a) Quelle heure est-il? (b) Fermez la porte! (c) Il est malade. (d) La Chine est loin.

Plus en détail

Université de Provence Feuille d exercices n 4. Théorie des ensembles, relations, applications. I. Un peu de logique

Université de Provence Feuille d exercices n 4. Théorie des ensembles, relations, applications. I. Un peu de logique Université de Provence 2010 2011 Mathématiques Générales 1 Feuille d exercices n 4 Théorie des ensembles, relations, applications I. Un peu de logique Exercice 1 Ecrire à l aide de quantificateurs (, )

Plus en détail

Espaces vectoriels. Structure d'espace vectoriel

Espaces vectoriels. Structure d'espace vectoriel MTB - ch2 Page 1/16 Espaces vectoriels Dans tout ce chapitre, K = R ou K = C. I Structure d'espace vectoriel I.1 Règles de calcul dans un espace vectoriel Dénition 1 Soit E un ensemble muni d'une opération

Plus en détail

Structures algébriques Didier Piau et Bernard Ycart

Structures algébriques Didier Piau et Bernard Ycart Relations Structures algébriques Didier Piau et Bernard Ycart Extraits du cours se trouvant à http://ljk.imag.fr/membres/bernard.ycart/mel/sa/node3.html Vous avez déjà rencontré cette notion dans votre

Plus en détail

Logique 1 : Le langage mathématique. I Cours 1

Logique 1 : Le langage mathématique. I Cours 1 Logique 1 : Le langage mathématique Table des matières I Cours 1 1 La phrase mathématique 1 1.1 Composition d une phrase mathématique................................ 1 1.2 Exemples.................................................

Plus en détail

SECONDE - INTERVALLES

SECONDE - INTERVALLES SECONDE - INTERVALLES Ce document totalement gratuit (disponible parmi bien d'autres sur la page JGCUAZ.FR rubrique mathématiques) a été conçu pour aider les élèves de Seconde Générale en mathématiques.

Plus en détail

Fiche 1 - Vocabulaire de la logique et des ensembles

Fiche 1 - Vocabulaire de la logique et des ensembles Fiche 1 - Vocabulaire de la logique et des ensembles Du langage courant au langage mathématique Exercice 1 Des maximes hautement mathématiques Pour chacune des phrases suivantes : (a) traduire la phrase

Plus en détail

CHAPITRE I: LES ENSEMBLES

CHAPITRE I: LES ENSEMBLES classe de 7ST mathématiques Chapitre I: Les ensembles 1 CHAPITRE I: LES ENSEMBLES ensemble 1. adv.: l un avec l autre, les uns avec les autres; être ensemble, rire ensemble, mettre ensemble (p.ex. dans

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

Outils formels pour l étude du langage

Outils formels pour l étude du langage Outils formels pour l étude du langage Cours de Master, ENS, MasterCog + LTD, A. Lecomte, 2009-2010 Ensembles et logique 1 Ensembles Rappelons brièvement quelques notions de théorie des ensembles. Notons

Plus en détail

La logique est utile dans beaucoup de domaines :

La logique est utile dans beaucoup de domaines : Introduction La logique est utile dans beaucoup de domaines : Conception de circuits. Preuves de programmes. Programmation logique. Simulation de raisonnements en intelligence artificielle.... Nous n utiliserons

Plus en détail

Bonjour à tous et félicitations pour votre admission au Lycée Arago de Perpignan.

Bonjour à tous et félicitations pour votre admission au Lycée Arago de Perpignan. Lycée Arago Perpignan M. Chambeu MPSI 016/017 Bonjour à tous et félicitations pour votre admission au Lycée Arago de Perpignan. Je serai votre professeur de mathématiques (et d'informatique) dans la classe

Plus en détail

Un peu de langage mathématique

Un peu de langage mathématique Chapitre 1 Un peu de langage mathématique 1.1 La Phrase mathématique 1.1.1 Les Assertions Dans l imaginaire collectif, les mathématiques sont souvent considérées comme la science des nombres du calcul.

Plus en détail

Variables aléatoires.

Variables aléatoires. Université Pierre et Marie Curie 2010-2011 Probabilités et statistiques - LM345 Feuille 3 Variables aléatoires. 1. On lance un dé tétraédral dont les faces sont numérotées de 1 à 4 et un dé octaédral dont

Plus en détail

Notions de raisonnement

Notions de raisonnement Notions de raisonnement I. Logique 2 1. Assertions..................................... 2 2. Connecteurs.................................... 3 a Connecteurs élémentaires non, ou................... 3 b

Plus en détail

Le calcul propositionnel

Le calcul propositionnel Le calcul propositionnel Logique Propositionnelle Syntaxe Sémantique Dénissabilité Systèmes de preuves Systèmes de preuves sémantiques (tables de vérité) Systèmes de preuves syntaxiques 2 Syntaxe de la

Plus en détail

TYPES ABSTRAITS. 1 Signature. ESIAL 1A Structures de Données

TYPES ABSTRAITS. 1 Signature. ESIAL 1A Structures de Données ESIAL 1A Structures de Données 2008-2009 TYPES ABSTRAITS 1 Signature Il est toujours intéressant de pouvoir travailler sur l'énoncé et la résolution d'un problème indépendamment d'une implantation particulière.

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

Systèmes de preuves en logique des propositions. 1 - Introduction. 2 - Preuve par les tables de vérité, ou la méthode des tableaux matriciels

Systèmes de preuves en logique des propositions. 1 - Introduction. 2 - Preuve par les tables de vérité, ou la méthode des tableaux matriciels Systèmes de preuves en logique des propositions 1 - Introduction Comme nous l'avons dit au chapitre 1, la logique consiste à étudier la validité des raisonnements. Un raisonnement (ou inférence) est le

Plus en détail

Petite introduction à la logique propositionnelle

Petite introduction à la logique propositionnelle Polytech Marseille Formation HUGO Petite introduction à la logique propositionnelle Exercice 1. Mon boss m a dit! "Si tu ne termines pas ce programme avant vendredi, tu n auras pas de promotion cette année!"

Plus en détail

Le phénix et les Normands

Le phénix et les Normands Le phénix et les Normands Ces propositions que l'on ne peut ni démontrer ni réfuter René Cori IREM de Paris Équipe de logique mathématique cori@math.univ-paris-diderot.fr Nantes, 31 mars 2016 1 Groupes

Plus en détail

Logique, ensembles, preuves mathématiques

Logique, ensembles, preuves mathématiques 009-00 MA Université d Orléans S.Falguières Logique, ensembles, preuves mathématiques Logique Exercice. Soient les quatre assertions suivantes : a. x R, y R, x + y > 0. b. x R, y R, x + y > 0. c. x R,

Plus en détail

Définitions et exercices de logique

Définitions et exercices de logique Chapitre 1 Définitions et exercices de logique Ce document vise à fournir les définitions en français de certaines notions du chapitre 1 du livre de référence Discrete Mathematics and its applications,

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

Polynômes à valeurs entières sur les nombres premiers

Polynômes à valeurs entières sur les nombres premiers Polynômes à valeurs entières sur les nombres premiers Objectif Le but de ce problème est l'étude d'ensembles de polynômes prenant sur certaines parties des valeurs particulières et, notamment une caractérisation

Plus en détail

Chapitre 1 Notions de théorie des ensembles

Chapitre 1 Notions de théorie des ensembles Chapitre 1 Notions de théorie des ensembles De nombreuses façons, les mathématiques s intéressent à l étude des structures et des applications entre elles Par exemple, l algèbre linéaire s occupe des espaces

Plus en détail

Les axiomes des espaces anes découlent directement des axiomes des espaces

Les axiomes des espaces anes découlent directement des axiomes des espaces . Géométrie affine.2. Sous espaces anes, intersection et parallélisme Exercice. (Exemples de sous espaces anes) () Montrer qu'un espace vectoriel (E, +,.) dénit un espace ane (E, E, +) canoniquement associé

Plus en détail

Mat 1748 Hiver Logique propositionnelle

Mat 1748 Hiver Logique propositionnelle Mat 1748 Hiver 2017 Logique propositionnelle 1. Les propositions et les connectifs Une proposition est une phrase qui est soit vraie, soit fausse. 1.1. Exemples. (1) Le tableau est noir est une proposition

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

si 0 p n. = p!(n p)! 0 si p > n.

si 0 p n. = p!(n p)! 0 si p > n. Université Claude Bernard Lyon I L1 - parcours PMI de Mathématiques : Algèbre I Année 2012 2013 Dénombrements Les résultats à retenir Théorème Soit E et F deux ensembles de cardinaux finis respectifs n

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

GROUPES et GROUPES DE PERMUTATIONS

GROUPES et GROUPES DE PERMUTATIONS GROUPES et GROUPES DE PERMUTATIONS par Xavier Hubaut Professeur émérite - Université Libre de Bruxelles (Département de Mathématique) Lors de l'étude des ensembles de nombres, on est amené à utiliser le

Plus en détail

Chapitre premier Quelques éléments de logique

Chapitre premier Quelques éléments de logique Chapitre premier Quelques éléments de logique 1.1 Lettres grecques et symboles mathématiques α alpha κ kappa τ tau Λ Lambda Pour tout β beta λ lambda υ upsilon Ξ Xi Il existe γ gamma μ mu ϕ phi Π Pi Implique

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

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