Td corrigé INTRODUCTION - ULB pdf

INTRODUCTION - ULB

Représentation par le diagramme de Venn. A A. Ensemble C ...... (B est sujet dans la majeure et attribut dans la mineure) 1° tout B est A 2° tout C est B




part of the document



LOGIQUE CLASSIQUE ET THEORIE NAIVE DES ENSEMBLES


TABLE DES MATIERES

LOGIQUE : INTRODUCTION
Termes constants
Termes Variables
Proposition :brique fondatrice
Condition
Quantificateur universel
Quantificateur existentiel
équation
identité


ALGEBRE DES ENSEMBLES
Egalité – Inclusion – Complémentaire – Intersection – Réunion


APPLICATION DE L’ALGEBRE DES ENSEMBLES A LA LOGIQUE
Référentiel et domaine de vérité
Synthèse
Plus de détails…

Conjonction de deux conditions

Disjonction de deux conditions

Implication p => q

Négation d’une condition – Principe du tiers exclus

Réciproque de p( q – Contraposée de p ( q
Equivalence
Négation d’une implication
Lois de Morgan
Négation de propositions quantifiées :
Cas d’un quantificateur
Cas de deux quantificateurs

Tautologie - Antologie

Syllogisme

Introduction
La logique étudie le raisonnement. Elle veut indiquer comment, de faits et de jugements qui sont donnés par ailleurs, on peut tirer valablement d’autres jugements, par le seul raisonnement, et déterminer comment discerner des raisonnements non valables.

Termes constants : objets fixes bien déterminés

Ex : 14 ; Bruxelles ; Mozart ; ( = l’ensemble vide

Termes variables : ne désignent aucun objet déterminé

Ex : y-z ; le père de …

les valeurs d’une variable sont les constantes que l’on substitue à cette variable.

Propositions : Expressions énonçant un fait qui peut être V ou F

Il n’existe pas d’intermédiaire (principe du tiers exclus)

Ex : 18 est un nombre entier
L’addition dans est ( commutative
7 est un nombre pair

On les désignera par des lettres p, q, …

Une proposition est un énoncé abstrait sur lequel on ne fait aucune hypothèse a priori sur la véracité ou la fausseté.
Il s’agit ainsi de la brique fondatrice de la science de la logique, au même titre que le point est l’objet de base de la géométrie ou le nombre celui de l’arithmétique.
Une proposition est donc davantage qu’une simple phrase, mais une phrase n’est pas non plus nécessairement le reflet, fut-il imparfait, d’une proposition. Pour que ce soit le cas., encore faut-il que les mots employés aient un sens clair et non ambigu, càd qu’ils ne fassent pas référence à des notions elles-mêmes mal définies.

Condition :

Exemple : x est un nombre réel supérieur à 5
Ce n’est PAS une proposition. Elle n’exprime pas un fait V ou F
Il existe une indéterminée :

Si on remplace dans cette expression x par 7
On obtient une proposition V

Si on remplace dans cette expression x par 3
On obtient une proposition F


Exercice (notion de proposition) :

Etudier la valeur de vérité des propositions suivantes
le réel 3 est positif
x ( 5
x²-4 = 0 ( x = 2
tout losange est un parallèlogramme
quelle est la t° de ce jour ?
Rép : (1) (3) (4) sont des propositions
V F V

QUANTIFICATEURS

1° Quantificateur universel (x signifie quelque soit x

Ex : dans ( la proposition p :

(x ( ( : (x + 2)² = x² + 4x + 4 est V

2° quantificateur existentiel (x signifie il existe au moins un x tel que

(x ( ( : x² - 3x + 2 = 0 En effet, x = 1 par Exemple

Une proposition peut-être :
Universelle affirmative : Tous les naturels sont des réels
Universelle négative : Aucun nombre premier n’est un nombre pair
Particulière affirmative : Il existe des nombres réels qui sont des entiers négatifs

Particulière négative : Il existe des naturels qui ne sont pas des nombres pairs

Exercices :

Etudier la valeur de vérité des propositions (quantifiées) suivantes

(x ( ( : x + 3 = 4
(x ( ( : x² e" 0
(x ( ( : x² e" 0
(x ( ( : 3x + 1 ( (
x-2

les deux quantificateurs ( et ( peuvent être utilisés dans une même condition MAIS l ordre dans lequel ils sont présentés n est pas indifférent.
Exemples :
(x ( ( ( a ( ( : a ( x V

( a ( ( (x ( ( : a ( x F

3)
(x ( ( ( x’( ( : x + x’ = 0 (1)
(o ( ( (x ( ( : 0 + = x = x + 0 (2)
à tout élément ( est associé un autre élément, SYMETRIQUE du premier pour l’addition dans ( et cet autre élément ( aussi à (.

Il existe un élément ZERO qui associé à n’importe quel élément de ( donne comme somme ce second élément.

EQUATION – IDENTITE

Equation :
C’est une condition qui a la forme d’une égalité entre deux termes

( indéterminée(s)

Exemple :

3 x + y = x - 2y
(x + 4) (x - 2) = 0

et (2) ne sont ni V ni F aussi longtemps que l’on ne donne pas aux variables des valeurs numériques déterminées.

Identité :

C’est une proposition qui a la forme d’une égalité entre deux termes

Exemple :

(a, b ( ( : (a + b)² = a² + 2ab + b²


ALGEBRE DES ENSEMBLES

Introduction:
Née d’une lente élaboration dans l’esprit des plus éminents mathématiciens, une idée étonante a germé puis s’est cristallisée et développée depuis la fin du 19ième s sous le nom de théorie des ensembles.

Des liens étroits vont vite se tisser entre cette théorie et la logique

L’idée étonnante a été formalisée par Georg CANTOR
Quelle est-elle ?
Ce qui compte en mathématiques, c’est moins la nature des objets étudiés ( point/ droite/nombres/suites/fonctions/vecteurs /matrices) que les relations qui existent entre ces objets et les propriétés qu’ils vérifient.
Dès lors, l’attitude qui fut adoptée consite à étudier des STRUCTURES et des RELATIONS sur des ensembles d’objets, sans se préoccuper de la nature de ces objets, lesquels furent baptisés ELEMENTS de l’ensemble qu’ils forment.

Un ensemble peut être défini en nommant chacun de ses éléments (et dans certains cas n’est connu que par la donnée de chacun de ses éléments).C’est ce qu’on appelle la définition en EXTENSION.
Dans d’autres cas, une phrase suffit à définir un ensemble. C’est ce qu’on appelle la définition en COMPREHENSION .On se donne une propriété (dite caractéristique) que peut ou non satsfaire un OBJET x. x sera élément de l’ensemble E(ou non) selon qu’il vérifie (ou non) la propriété. On parle d’appartenance : x (E (x (E)

NB : un ensemble doit être BIEN DEFINI (pas d’ambiguïté).

L’ensemble VIDE ( ne contient AUCUN élément
Ex : ( mois de 26 jours (

1. Egalité :

Deux ensembles E1 et E2 sont égaux ssi
Chaque élément de E1 est élément de E2 et chaque élément de E2 est élément de E1


2. Inclusion / Complémentaire :

Ex : Soit A = (nombres impairs inférieurs à 20(
( A = {1, 3, 5, 9, 11, 13, 15, 17, 19(

Soit B = (nombres impairs inférieurs à 20 et divisibles par 3(
(B = (3, 9, 15(

L’ensemble B est CONTENU dans l’ensemble A : B(A
(tous les éléments de B sont éléments de A)
Soit C : l’ensemble des éléments de A qui ne sont pas éléments de B :
C = (1, 5, 11, 13, 17, 19(
C’est le complémentaire de B par rapport à A (NB : A constituant ici un référentiel)


Représentation par le diagramme de Venn

A A




Ensemble C
ENSEMBLE C







NB : ( = ensemble vide


3. Intersection et réunion :

EXERCICE 1 :
Parmi les personnes étant dans l’assemblée on demande de :

lever la main gauche si on a un frère
lever la main droite si on a une sœur
NB : certains auront deux mains levées

On a :
C’est l’intersection
Ensuite, on demande ni frère ni sœur, deux frères, etc…


Et (Elèves( qui appartiennent à S ou a F ou aux deux
donne :
C’est l’union




EXERCICE 2:

Soient X et Y tels que
Card (X ( Y) = 20
Card (X ( Y) = 90

La proposition suivante est-elle V ou F ?

Card X = 20 et Card Y = 70

Elle est F, car si Card X = 20 alors

 X Y


90




Et si Card Y = 70 alors on a Card (X ( Y) = 70 ( 90


EXERCICE 3 :

Soient E = R

A = (x : 1 ( x ( 3(
B = (x : 2 ( x ( y(

? A ( B / A ( CB / CA ( B etc…



APPLICATION DE L’ALGEBRE DES ENSEMBLES A LA LOGIQUE

Les assertions habituelles de la logique peuvent être symboliquement représentées dans l’algèbre des ensembles.

EXERCICE :

S’il est vrai que « certains x ne sont pas des y » et que « tous les z sont des y », il résulte que :

certains x ne sont pas des z
certains x sont des z
certains z ne sont pas des x

réponse :
X est non inclus à Z
L’intersection de X et Z est non vide
Z est non inclus à X

Exemple concret : X est l’ensemble des multiples de 2 Z est l’ensemble des multiples de 3

Certains multiples de 2 ne sont pas multiples de 3 ex :4 Certains multiples de 2 sont multiples de 3 ex :6 Certains multiples de 3 ne sont pas multiples de 2 ex :9

Diagramme de Venn [à venir]





Référentiel et domaine de vérité (d’une condition)

Rappel :

On appelle condition à une ou plusieurs variables des expressions contenant une ou plusieurs variables et qui DEVIENNENT des propositions quand on substitue à ces variables des CONSTANTES « convenables ».

Ex : Condition : x est un nombre réel supérieur à 5.

x = 3 : cela a un sens (mais la proposition est F)
x= droite : la proposition obtenue n’a pas de sens.

L’ensemble des éléments x pour lesquels la condition a un sens est appelé REFERENTIEL de cette condition.

LE DOMAINE DE VERITE de la condition est le sous ensemble D de E tel que :

la condition est vraie (x (D et la condition est fausse ( x ( D

Exercices : (à faire après avoir donner la notion ()

Dans ( x > 4 ( x > 5 F
x² = 16 ( x = 4 F

dans ( x² = 9 ( x = 3 F

dans ( x² ( x = 5 V

Rappel :

Le référentiel d’une condition c’est l’ensemble que parcourt la ou les variables tel qu’en remplaçant la variable par l’un de ses éléments, la condition devienne une proposition vraie.

Exemple : x < 5

Si le référentiel est ( :
Alors D = ] - (, 5 [

Si le référentiel est (
Alors D = (0, 1, 2, 3, 4(

Synthèse : Négation/Conjonction/Disjonction/Implication





Soit Proposition p
Soit A = dom de vérité de p

Non p (NEGATION)



Soient Propositions p et q


Soit A = dom de vérité de p
Soit B = dom de vérité de q

p et q (CONJONCTION)



Soient Propositions p et q

Soit A = dom de vérité de p
Soit B = dom de vérité de q

p ou q (DISJONCTION)



Soient Propositions p et q

Soit A = dom de vérité de p
Soit B = dom de vérité de q

p (q (IMPLICATION)



Région où antécédent V
Conséquent F

Plus de détails…

Le calcul des propositions constitue la première étape vers la formalisation des démonstrations. Il permet de s’assurer sans risque d’erreur que des déductions sont valides.
Le calcul des propositions peut être considéré comme un language comportant des lettres, des connecteurs pour les relier, et des parenthèses ouvrantes ou fermantes

Dans le calcul des propositions : on ne s’intéresse ni au contenu des propositions, ni aux raisons qui peuvent conduire à les considérer comme V ou F, mais aux relations existant entre elles.
NEGATION d’une condition

Exemples
p : 2 + 2 = 4 q = non p : 2 + 2 ( 4

p : 7 est pair q = non p : 7 impair


Ces paires de PROPOSITIONS sont telles que si l’une à la valeur V, l’autre a la valeur F et réciproquement.

On dira :

La seconde est la négation de la première et réciproquement.

Exemple :
p : x est un nombre pair
q = non p = x n’est pas un nombre pair

( une indéterminée ; il s’agit de deux CONDITIONS


Rappel :PRINCIPE DU TIERS EXCLUS
Si ça n’est pas vrai , c’est faux
Si ça n’est pas faux ,c’est vrai
Il n’y a pas d’autres possibilités

Une proposition est Vraie ou Fausse
Une proposition ne peut être Vraie et Fausse.

pNon pVFFV
NB : Evident ! mais…….
Peut-on accepter un tel principe ?
Comment savoir si cela est toujours vrai ?
Certains mathématiciens ont cherché à se passer de ce principe.

Ce principe est utilisé dans certaines démonstrations mathématiques. En particulier, dans la démonstration par l'absurde.
Exemple :(2 est irrationnel.


Pour s’assurer de quelque chose, un moyen consiste à prouver que le contraire n’a pas lieu. Cette technique de démonstration, dont la mise en pratique peut parfois dérouter, est extrêmement utile.
Résumons :
En mathématiques, on ne peut pas être une chose et son contraire. Ainsi, lorsqu’on veut montrer que qcq chose est vrai, une première étape peut consister à montrer que son contraire est faux. « première étape ? » En existe-t-il une seconde ? NON, à condition d’admettre LE PRINCIPE DU TIERS EXCLUS qui,comme son nom l’indique, pose qu’entre un énoncé et son contraire, il n’y a pas de troisième possibilité



Certains logiciens ont été gênés par le principe du tiers exclus, notamment ceux pour qui seule une construction effective d’un objet mathématique autorise à le considérer comme véritablement existant. Pour eux, d’une certaine manière, LA NEGATION D’UNE NON EXISTENCE EST UNE PREUVE PAR DEFAUT


Soient A le domaine de la vérité de la condition p
B le domaine de la vérité de la condition p

LA CONJONCTION de 2 conditions

p et q (domaine de vérité : A ( B

C’est une nouvelle condition.
Elle est vraie dans chaque cas ou p et q sont vraies toutes les deux ; elle est fausse dans les autres cas.

Exemple : le système d’équations

3x + 4y – 1 = 0
x – y = 0

se traduit par la recherche de (x,y) telle que ce couple vérifie la conjonction 3x + y – 1 = 0 et x – y = 0

NB : conjonction de deux conditions à deux indéterminées.



LA DISJONCTION de 2 conditions

p ou q (domaine de vérité : A ( B

C’est une nouvelle condition.
Elle est vraie dans chaque cas où l’une au moins des conditions p ou q est vraie.
Elle est fausse quand p et q sont fausses à la fois
.

L’IMPLICATION

p ( q signifie si p alors q
Elle est fausse dans chaque cas où p est V et q est F . Elle est vraie dans les autres cas.

Il y a lieu d’insister sur le fait que l’implication p ( q est V, dans le cas où l’antécédent est F.

Ecrire p(q n’affirme pas automatiquement que p est V Du faux peut impliquer du vrai ETRANGE ! !
p :1+1=3 F q : 2 est plus grand que 1 V p(q

p : 3 divise 6 V q : 7 est un nombre premier V p(q

NB : p = antécédent
q = conséquent

si l’implication p ( q est toujours vraie
alors A ( B et réciproquement


utilisation de l’implication

p ( q V Alors q est V
V p est une CS pour q

p ( q V alors p est F
F il faut au moins que p soit vraie
q est une CN (CS) pour p

Exemples

( a, b ( ( : (a = 0 ou b = 0( est une condition nécessaire et suffisante pour que a.b = 0

( A = ø ou B = ø est une condition suffisante pour que A ( B = ø mais ce n’est pas une condition nécessaire.

COMMENTAIRES :
Le moteur de toute démonstration, c’est ce qui permet d’affirmer que quelque chose étant vrai, autre chose en découle nécessairement. Cette idée se formalise avec la notion d’implication, dont certains aspects contre-intuitifs ne doivent pas être négligés
En général, quand on dit quelque chose, c’est qu’on l’affirme comme vrai. Bien sur, il arrive qu’on dise des choses dont on est incertain de la véracité, ou même que l’on sait être fausse.
Le LOGICIEN, en revanche, ne s’intéresse pas à la véracité des hypothèses : pour lui, écrire « p implique q » n’affirme pas automatiquement que p est vraie, mais seulement que SI p est vraie, alors q aussi
« p implique q «  est l’affirmation logique que l’un des deux cas suivants(ou les deux) se produit :
q est V
P est F
Ce second cas est le plus étrange :Comment une hypothèse fausse peut-elle impliquer quoi que ce soit ?

EXERCICES :

Implication logique sans indéterminée

----------------------------------------------------------------------------------------------------------

p : 2 ( 3 Vrai
p ( q Vrai
q : 2 > 1 Vrai
----------------------------------------------------------------------------------------------------------

p : 3 est un nombre premier Faux
p ( q Vrai
q : 8 est un nombre premier Faux
----------------------------------------------------------------------------------------------------------

p : 1 + 1 = 3 Faux
p ( q Vrai
q : 2 > 1 Vrai
----------------------------------------------------------------------------------------------------------
p : 3 divise 6 Vrai
p ( q Vrai
q : 7 est un nombre premier Vrai


Cas où ( indéterminée

p : x > 3
p ( q Vrai
q : x > 1
----------------------------------------------------------------------------------------------------------

p : x ( 3
p ( q Vrai
q : x > 1



Condition nécessaire (CN) / Condition suffisante (CS)

( Compléter les phrases suivantes par « il faut », « il suffit » ou « il faut et il suffit ».

Pour qu’un quadrilatère soit carré, … qu’il soit un rectangle.
Pour qu’un triangle soit équilatéral, … qu’il ait deux angles de 60 degrés.
Pour qu’un rectangle soit un carré, … qu’il soit un losange.
Pour qu’un quadrilatère soit un losange, … qu’il soit un carré.
Pour qu’un parallélogramme soit un losange, … que ses diagonales soient perpendiculaires.
Pour qu’un quadrilatère soit un parallélogramme, … que ses diagonales se coupent en leur milieu.
Pour que la vitesse moyenne d’un automobiliste sur un certain trajet soit supérieure à 90 km/h, … que sa vitesse instantanée ait été à un certain moment supérieure à 90 km/h.
Pour que la vitesse moyenne d’un automobiliste sur un certain trajet soit supérieure à 90 km/h, … que sa vitesse instantanée ait été constamment supérieure à 90 km/h.

Implication/Conjonction/Disjonction

Les propositions suivantes sont-elles vraies ou fausses ? Si fausses, fournir un contre-Exemple.

si x est divisible par 4 et par 6
alors x est divisible par 24
réponse : F
contre-Exemple : x = 12

si x est impair
alors x est divisible par 3
réponse : F
contre-Exemple : x = 5

si 3 divise xy
alors 3 divise x et 3 divise y
réponse : F
contre-Exemple : x = 3 et y = 7
justification : xy = 3 x 7 = 21 ( 3 divise xy
3 divise 3
mais 3 ne divise pas 7

si 3 divise (x+y)
alors 3 divise x ou 3 divise y
réponse : F
contre-Exemple : x = 8 y = 4
justification : x+y = 12 mais 3 ne divise ni 8 ni 4


Equivalence

Conjonction de deux implications réciproques.
p ( q
p est une CNS pour q

EXERCICE :

Déterminer parmi les implications suivantes celles qui sont vraies et celles qui conduisent à une équivalence.

2y – 7 = 5 ( y = 6
a = 6 et b = 4 ( ab = 24
x = 2 ( x2 + 3x = 10

x2 = 4x + 5 ( x = -1 ou x = 5
le quadrilatère ABCD est un rectangle ( le quadrilatère ABCD a ses diagonales égales
m et n sont deux nombres pairs ( (m+n) est un nombre pair


Réciproque/Contraposée


a) Soit l’implication suivante :Si un triangle est rectangle, alors il n’a pas d’angles obtus.
Ecrire 1- la réciproque
2- la contraposée
3 - la réciproque de la contraposée
4 - la contraposée de la réciproque

Réponses :

si un triangle n’a pas d’angles obtus, alors il est un rectangle
Ce qui est faux

Ce triangle équilatéral n’a pas d’angles obtus et ce n’est pas un triangle rectangle





si un triangle a au moins un angle obtus
alors il n’est pas rectangle
si un triangle n’est pas rectangle alors il a au moins un angle obtus
cfr réponse 3

b) dans ( :

x = 3 ( x2 = 9 Vrai Contraposée x2 ( 9 ( x ( 3 Vrai
Réciproque x2 = 9 ( x = 3 Faux

Si x est multiple de 4, alors x² l’est aussi, mais la réciproque est fausse.

La contraposée de la proposition p(q est la proposition non q( non p
Une proposition est toujours équivalente à sa contraposée.
Si l’une est vraie il en est de même pour l’autre
.
On a donc deux manières différentes d’exprimer la même vérité ! ! !

d) Si x est un nombre impair, alors x2 est un nombre impair.
Cela est évident
Conséquence importante :
Si x2 est pair (non impair), alors x est pair (non impair).
Ceci est moins évident à prouver.


Négation d’une implication

Si x est un multiple de 2, alors x est un multiple de 4.
Ceci est une proposition fausse. En effet : contre-Exemple : x = 18

Négation : Il existe x multiple de 2 et x non multiple de 4.
Ceci est une proposition vraie.

Règle :

non (p ( q( est (p et non q(
Lois de Morgan

Ces lois concernent la négation de la conjonction et de la disjonction.

EXERCICES

Soit p : x = y
q : k > 0

La négation de [p et q] est l’une des propositions ci-dessous.
Laquelle ?

(x ( y) et (k ( 0) càd non p et non q
(x ( y) ou (k ( 0) càd non p ou non q
((x = y) et (k ( 0)) ou ((x ( y) et (k > 0)) càd (p et non q( ou (non p et q


Négation de propositions quantifiées

Négation utilisant UN quantificateur.

soit p une condition
soit la proposition (x ( E : x vérifie p

négation : ( x ( E : x ne vérifie pas p

Exemple : E = (0,1,2,3,4(
p = être inférieur à 5 (x ( E  x < 5 Vrai
négation : ( x ( E : x ( 5 Faux

soit p une condition
soit la proposition ( x ( E : x vérifie p

Exemple : ( x ( E : x = 5 Faux
négation : (x ( E : x ( 5 Vrai


( Règle :
remplacer le quantificateur ( par ( (( par ()
remplacer par sa négation la condition intervenant dans la proposition.

c) Soit p : ( a ( ( : a < 0 Faux
Non p : ( a ( (  a ( 0 Vraie

Soit p : ( x ( ( : x > 3 Vrai
Non p :  ( x ( ( x ( 3 Faux


Négations utilisant les deux quantificateurs


( x ( ( , ( x’ ( ( : x’+x = 0

Cette proposition est fausse.
Contre-Exemple : x = 3 ( x’ ( ( : x+x’ = 0

A= (2,3,4,5,6(
( y ( A : ( x ( A y ( x Vraie
négation ( y ( A, ( x ( A : y >x Fausse ( justification : y = 2 ( x :x 2
q : x > 1
p ( q est vraie pour toute valeur de x, c’est donc une tautologie.

Une antilogie ou contradiction est une combinaison de propositions qui est toujours fausse, quelle que soit la valeur des différentes propositions.

Exemple :

p : x > 5
q : x ( 1
p et q est fausse pour toute valeur de x, c’est donc une antilogie.

Remarque : on dira que deux propositions p et q sont logiquement équivalentes ssi la bi-implication p ( est une tautologie.


Syllogisme

Aristote définit ainsi cette notion « Le syllogisme est un discours dans lequel, certaines choses étant posées, quelque chose d’autre que ces données en résulte nécessairement par le fait de ces données « 



Si de p on peut déduire q et si de q on peut déduire r, alors de p on peut déduire r.

Exemple :

3x + 2 ( 6 ( 3x ( 6
et
3x ( 6 ( x ( 6
donc
3x + 2 ( 6 ( x ( 6

Aristote s’est attelé à la tâche de fonder une sorte d’ « arithméthique des propositions » , dans laquelle la vérité supposée de deux d’entre elles (les PREMISSES) entraîne celle de la troisième(la CONCLUSION) selon des modalités définies par différentes catégories de syllogismes.

Une structure syllogistique comprend donc :
Une proposition majeure, une proposition mineure et une conclusion Les trois propositions consécutives d’un syllogisme rassemblent trois termes :un grand A, un moyen B, et un petit C

On peut donc obtenir potentiellement 64 syllogismes différents ; toutefois outre que certains ainsi obtenus sont équivalents, tous ne sont pas concluants.
Voici un exemple de syllogisme non concluant : Tout B est A Quelque C est B
Tout C est A

Voici quatre exemples de syllogismes les plus immédiats : (B est sujet dans la majeure et attribut dans la mineure) 1° tout B est A 2° tout C est B DONC tout C est A 1°aucun B n’est A
2°tout C est B
DONC aucun C n’est A 1° tout B est A
2°quelque C est B DONC quelque C est A
1°aucun B n’est A 2°quelque C est B DONC quelque C n’est pas A

EXERCICES DE SYNTHESE

Voici 6 énoncés:

Si a = b, alors ( > 0
Si a ( b, alors ( ( 0
Si ( ( 0, alors a ( b
( > 0 est une condition nécessaire pour que a et b soient égaux
a = b est une condition nécessaire pour que ( soit supérieur à 0
a = b est une condition suffisante pour que ( soit supérieur à 0
Pour que ( soit supérieur à 0, il faut que a et b soient égaux
Pour que ( soit supérieur à 0, il suffit que a ne soit pas différent de b

Une seule des affirmations suivantes est correcte. Laquelle?

1- et 2- sont équivalents
1-, 3-, 5- sont équivalents
1-, 4-, 6-, 7- sont équivalents
1-, 3-, 4-, 6-, 8- sont équivalents








Projet Prép. Préguidance – Cours du professeur G. De Meur 2005


PAGE 


PAGE 22
Chantal Marchal –Chargée d’Exercices


.1
.5
.7
.19 .11

17

B


.3

.9

. 15

.13

B




(

B

A

50

20

A

B

B

A

A


 EMBED MSGraph.Chart.8 \s 

S

13FG^   2 r ¦ }
~
”
•
+ , ] ^ h ] m ­ ® Â Ò g
s
©
«
"#ãìð÷·Ã
†‡‹Œ”üóüóüëüëüëóëàëàëóÕóÌëÃë¸ëÃëÃëªëŸëÃëÌëÌëÌëë„ëxëhŠxOJQJmH sH  jÎðhŠxmH sH hŠx6B*CJmH phÿsH  j3ðhŠxmH sH hNgœhŠxmHnHsH u jfðhŠxmH sH hŠx>*mH sH hŠx6mH sH hŠx5;mH sH  jÞðhŠxmH sH hŠxmH sH hŠx5mH sH hŠx/123FG^o€ŸÔí     2 p q r § È Ò ä å ýûûùû÷òòòòííííûû÷íççûâââû
& F„h^„h
& F
& Føfƒg àýýýå 

$
%
8
9
m
n
˜
¥
Á
Ð
÷
 + , C D O P ^ \ ]  Ž úøúøúøúøóêêóóááøøøøøøøøøÛ
ÆàÀ!
& F„Ð`„Ð
& F„`„
& F
& FŽ Á  ø ù 

f
g
©
¬
ç
è
0MNwxï™âãïð]z{ýýýýýýýýý÷÷÷÷÷÷÷÷÷÷÷÷÷÷÷÷÷÷÷
Æ{¨ÅÆó67n„ŠÁà %&abƒ„öíçöíçççççÞÞÞÞÞÜÖÜÜÜÜÜÜÜ„Ð`„Ð
& F
Æ
Æ
& F
Æ
& F
Æ”•%CDElm„…‡ˆ‰Š”•š›üýþ)*,-./34Š‘¯ÆÎÏê+CõíäíÕÉí¾í³í¨í¾íœíœíÉí‚í¨í¾íœíyíäíäíupdhNgœhŠx5mH sH  hŠx5hŠxhŠx6mH sH  j$ðhŠxmH sH  j$ðhŠxB*mH phÿsH hŠxOJQJmH sH  jÎðhŠxmH sH  j"ðhŠxmH sH  j3ðhŠxmH sH hŠxB*mH phÿsH  j"ðhŠxB*mH phÿsH hŠx5mH sH hŠxmH sH  jÛðhŠxmH sH '„ÜÝ()’“¯ê+€ÒÓßàJLt”´ÜæÛÙÙÙÛÔÔÔÏÙÙÙÙÙÙÊÄÙÙÙÙ¾
Æ8„h^„h
& F dàdà#$d%d&d'dNÆÿOÆÿPÆÿQÆÿC–ÓÜLNRTVXtvz|~€ˆ’”–šœž ¨²´¶º¼¾ÀÆÒÔÖØÚ&(õéõÙÑÆѻѰÑÆѻѰѤљѻѰѤљѻѰѐѻѰљÑÆчљõ»õhŠxmH sH hŠx6mH sH hŠx>*mH sH  j"ðhŠxmH sH hŠxOJQJmH sH  j3ðhŠxmH sH  jÎðhŠxmH sH  j$ðhŠxmH sH hŠxmH sH hŠx6B*CJmH phÿsH hNgœhŠx5mH sH hNgœhŠxmH sH 2æè*+DENq—€”• äåùðùÈùÈÃÃÃþ¸¾²°®©®®
& F
ÆàÀ!„h^„h
& F
dà'
Æ8$d%d&d'dNÆÿOÆÿPÆÿQÆÿ
& F
Æ8
Æ8$%(*+,/012346789>?BCDENOQRSTVWZ[\]mpqùîãîØÐùîÅî¹îãµØµùµ®µØµùµÅµ©µ’‡’Ø’|’u’Ø’|’’ j$ðhŠx j9ðhŠxmH sH  j"ðhŠxmH sH hNgœhŠxmH sH hNgœhŠx6mH sH  hŠx5 j"ðhŠxhŠxhNgœhŠx5mH sH  j³ðhŠxmH sH hŠxmH sH  jÎðhŠxmH sH  j$ðhŠxmH sH hNgœhŠxmH sH  jÐðhŠx,qrtuvwyz|}~“–¦§ñò XY•Ÿ ª³åæçùœ¤§²½ïöúûõíâí×íÌíâí×íÃí×í×íâí×í×í¸¯¸í¦í˜õíÃí¸¯í¦íÃí̍⍂ j3ðhŠxmH sH hNgœhŠxmH sH jhŠxUmHnHuhŠx>*mH sH hŠx5mH sH hŠx5>*mH sH hŠx6mH sH  j"ðhŠxmH sH  j9ðhŠxmH sH  jÎðhŠxmH sH hŠxmH sH  j$ðhŠxmH sH 0åøù)*›œ§¨íîùú !89H]^‘£ùùùùôôòíòèòòòòòòòòòòòòòòòòò
& F
& F
& F
„Ð`„Ð:çë]Y Z ` a ° ± Ñ Ò ä å ç ñ !! !
!/!0!A!G!Y!Z!k!n!o!!ž!Ÿ!¾!¿!À!Á!ñåÚÎÚ¿·¬·¡·–·‹·€·w·m·m·m·m·m·m·w·‹·€·b jÞðhŠxmH sH hŠxCJmH sH hŠx5mH sH  j}ðhŠxmH sH  j{ðhŠxmH sH  jfðhŠxmH sH  jÏðhŠxmH sH  jÎðhŠxmH sH hŠxmH sH hNgœhŠxB*mH phÿsH hNgœhŠxH*mH sH hNgœhŠxmH sH hNgœhŠx5mH sH hNgœhŠxOJQJmH sH &£}_`!d e Ÿ   Ì æ ç ô õ !m!n!o!!!À!è!é!("8"9"j"–"Ü"÷"ýýýýýýýýýýýýýýýýýýýýýýýýýýýýýÁ!æ!ç!ò!ó!&"'"(")"-"."6"7"g"h"à"á"õ"ö"O#P#y#z#{#|#ˆ#‰#Š#‹#Ž##‘#’#“#¤#²#µ#¶#À#Á#ó#øíøâøíø×øâøíøÌøâøíøÁ½ø¯ ‡¯ø¯ø¯ø¯ø|ø¯øqø jfðhŠxmH sH hŠx5CJmH sH hŠx5mH sH hNgœhŠx5mHnHsH ujhŠx5UmHnHujhŠxUmHnHuhŠxhNgœhŠxmH sH  jÌðhŠxmH sH  jÞðhŠxmH sH  j{ðhŠxmH sH  j}ðhŠxmH sH hŠxmH sH (÷"O#P#Q#y#z#‰#‹##’#”#¤#¯#°#±#²#´#µ#·#¸#Ó#Ô#Õ#ò#ó#$$ýýûûýýõýõïïïýýýýýýýýýýíýýýý„Ð`„Є°^„°ó#ÿ#$d$Š$·$¹$Ã$ä$%%%U%^%%€%%‚%ƒ%%%§%¹%Ë%Ì%÷%ø%&&:&;&ýýýýýýýýýýýýýýýýý÷ýýýýýýýýýý
ÆàÀ!;&L&M&N&R&S&T&U&V&‹&Œ&&š&œ&©&ª&¾&Ò&Ó&ó&ô&õ&ö&*'+'›'œ'¨'©'ýýý÷ýýýýýýýýýýýýýýýýýýýýõýýý
Æñµ&¶&¹&º&¼&½&Â&Ã&É&Ê&Í&Î&Ð&Ñ&×&Ø&ß&à&á&â&æ&ç&é&ê&ö&*'+'›'œ'¤'a(i(Û)å)ë)ì)*5*>*f,õíõíâí×íõíõíâíÌíÁ¹¯¹¯¹Á¹¦¹¢¹’¹‰¹¹si¹‰¹hŠxCJ$mH sH jhŠxUmHnHuhNgœmH sH hŠx6mH sH hŠx6B*CJmH phÿsH hŠxhŠx5mH sH hŠxCJ(mH sH hŠxmH sH  jÇðhŠxmH sH  jÈðhŠxmH sH  j{ðhŠxmH sH  j}ðhŠxmH sH hŠxmH sH  j£ðhŠxmH sH '©'((-(C(`(a(k(€(¦(»(¼())É)Ê)æ)ç)è)é)ê)ë)* *)*ýýøøøýýóóóýýýýýýÏÏÏÏÏÏýý#$d%d&d'dNÆÿOÆÿPÆÿQÆÿ
& F#
& F)***ø*ù*.+/+b+–+—+,,N,O,”,•,Ë,Ì,å,ú,û,--0-1-;-*mH sH hŠx>*mH sH hŠx6mH sH  jÐðhŠx>*mH sH  j9ðhŠx>*mH sH  j3ðhŠx>*mH sH hŠx>*mH sH  jÞðhŠxmH sH hŠx6B*CJmH phÿsH  jÏðhŠxmH sH  jÎðhŠxmH sH hŠxmH sH  j"ðhŠxmH sH %..".8.9.Q.k.m.¥.¦.§.¨.©.­.À.Ü.Ý.î.ï.ð.ñ.
///1/N/O/e/f/ýýýýýýýûýýýýýýýýýýýñýýýýýýýý
$dNÆÿO.P.[.\.i.j.m.¥.¨.©.¬.Ý.î.ñ.ò.
////O/e/h/i/„/ˆ/‰/Š/Ã/Ù/Û/Ü/Ý/Þ/ù/ü/ý/þ/708090;0*mH sH hŠxmH sH hŠx j}ðhŠxmH sH  j{ðhŠxmH sH hŠxmH sH  jÐðhŠx>*mH sH 2f/g/h/„/‰/¦/Â/Ã/Ù/Ú/Û/Ý/ù/ý/07090L0M0N0P0h0u0w0ˆ0‰091ýóýýýíýýýóýýýýýýýýýýèèýæää$a$
ÆàÀ!
$dNÆÿ91Ý1Þ1 2¹2º2Ã2é2ê23333€3Š3‹3È3É3Ó3í344G4H4I4j4Œ4­4Ð4ýûûöûûûûûûûûûûûûûûûûûðûûûûûû
ÆàÀ!
& F
º2Ã2å2æ2É3Ð3Ó3Ô344F4G4Q4j4ë4í455s6|6}6®:¯:Å:Æ:V;];`;•;ô;÷;f¼>ö>÷>4?5?T?öîãîöîÕîÊî¼î¼î¼î¼îö±î¦î›îöîîî¦î„îyîyîyîyîyîyî jÞðhŠxmH sH  jÈðhŠxmH sH hŠxB* mH ph€sH  jÇðhŠxmH sH  jèðhŠxmH sH  jÖðhŠxmH sH hŠx5B*mH phÿsH  j$ðhŠxmH sH jhŠxUmHnHu j¹ðhŠxmH sH hŠxmH sH hŠx6mH sH /Ð4Ñ4õ4#5$5&5,5-5/515ýýý÷îîxîîukd$$IfT–lÖ”Ö0”ÿc2 ÏÏ
tàÖ0ÿÿÿÿÿÿöÖÿÿÖÿÿÖÿÿÖÿÿ4Ö
laöŠT $$Ifa$
ÆàÀ! 15254565‰€€ $$Ifa$ukd’$$IfT–lÖ”Ö0”ÿc2 ÏÏ
tàÖ0ÿÿÿÿÿÿöÖÿÿÖÿÿÖÿÿÖÿÿ4Ö
laöŠT657585O5{5¯5ø5ù5s66‘6’6X7c7û8ü8‰‡‡‡‡‡‡‡‡‡‡‡‡‡‡ukd$$$IfT–lÖ”Ö0”ÿc2 ÏÏ
tàÖ0ÿÿÿÿÿÿöÖÿÿÖÿÿÖÿÿÖÿÿ4Ö
laöŠTü8ý8þ8%:&:':Z:†:‡:¦:§:É:Ê:é:U;V;w;x;‰;”;•;*B*mH phÿsH hŠxhNgœhŠxmH sH hŠxH*mH sH  jÞðhŠxmH sH hŠx6B*CJmH phÿsH  jÛðhŠxmH sH hŠxmH sH /·PÓPQ/Q0Q;Q=Q~QŽQQåQìQíQîQïQðQR6R|R‹RŒR˜R™RÖRýRþRýýýýýýóéýýýýýýýäÞääýýýýýý„8^„8
& F

ÆàÀ!„8^„8 
& F
ÆàÀ!þRKSLS‘SÌSþSTDTET‚T—T´TôTUUU7U8UqUµU¶UóUVVVV;Vúøøøøøøøøîîîîîîìæææææææææø
ÆàÀ! „h„˜þ^„h`„˜þ
& FíRnSoS‰SŠSjTlT¼T½TU7U8U:USUXU¤U«U¶U¿U!V"V$V%V'V(V-V.V9V:V;VJV”VVŸV»V¼VWWWW4W5W?W@WfWgWsWtW~Wøíøíøäøäøàø×ø×øÎø×øÃøíø¸øÃø¸øàø¨Îøœø‘ø†ø‘ø†ø†ø‘ø j£ðhŠxmH sH  j¹ðhŠxmH sH hŠxOJQJmH sH hŠx6B*CJmH phÿsH  j]ðhŠxmH sH  j[ðhŠxmH sH hŠx6mH sH hŠx5mH sH hŠxhŠxH*mH sH  jÞðhŠxmH sH hŠxmH sH 0;VJVKV“V”VžVŸV®V¿VÀVÿV
W W1WWW¤W¥W¦WËWÌWòWóWX1X2Xý÷÷÷÷÷÷÷÷÷÷÷ííëëëýëæàÛÕÕ„h^„h
& F„¼^„¼
& F$ 
& F
ÆàÀ!
ÆàÀ!~WWˆW‰W“W”W˜W™W¦WËWXXX X"X=X>XAXBX[XbXiXjXsXtX©XªX¬X­XÂXÃXèXéXìXíXôXôìáìÖìáìÒì÷¨·ìì’ì‰ì~ìsìhì’ì_ìì’ìhŠxH*mH sH  j"ðhŠxmH sH  j}ðhŠxmH sH  j{ðhŠxmH sH hŠx6mH sH  jÎðhŠxmH sH  j$ðhŠxmH sH  jÎðhŠxB*mH phÿsH hŠxB*mH phÿsH  j"ðhŠxB*mH phÿsH hŠx j]ðhŠxmH sH  j[ðhŠxmH sH hŠxmH sH hŠxOJQJmH sH #2XZX[XuXÄXYYY@YAYgYYŽYYšYÈYZZ6Z[Z\Z~Z›ZœZZùùùù÷÷òùùùùäùùßß÷÷÷÷Úù÷÷
& F
& F„h&dPÆÿ^„h
& F„h^„hôXõX*Y+Y.Y/Y1YAYHYKYLYOYPYrYsYuYvY}Y~YYY‘Y˜Y¶Y·Y¼Y½Y¿YÀYÅYÆYZZ!Z"Z#Z$ZAZBZEZFZGZHZõíÞÒÃÒíºí¯í¤í™í¤íŽí‚íwí™í¯í¯í™í¯í¤ílí™í¤íl jÐðhŠxmH sH hŠx5>*mH sH  jàðhŠxmHnHu j¹ðhŠxmH sH  j"ðhŠxmH sH  jÎðhŠxmH sH  j$ðhŠxmH sH hŠx6mH sH  jÎðhŠxB*mH phÿsH hŠxB*mH phÿsH  j$ðhŠxB*mH phÿsH hŠxmH sH  j³ðhŠxmH sH *HZNZOZeZfZiZjZkZlZ‡ZˆZ‹ZŒZZŽZ’Z“ZÌZÍZÐZÑZÒZÓZÖZ×ZÛZÜZÝZÞZëZìZ[[$[%[)[*[+[,[
 :