: logique e équivalenc : logique Implcation Q P QP

http://ammarimaths-bm.voila.net/ 1ière Bac Sm Sx Exos - Maths Chapitre : 1 Cours : 1 mardi 6 septembre 2011 Page : 1/2
Logique mathématique
ﻲﺿﺎﯾﺮﻟا ﻖﻄﻨﻤﻟا
[email protected] Réalisé par : Ammari AbouSamah
I. La phrase mathématique
On peut dire, en général, que la logique est un moyen qui contrôle le travail de la pensée en s’appuyant sur des règles précises,
pour le protéger contre l’erreur …
La logique est le langage de l’esprit, mais elle s’exprime à travers une langue, n’importe laquelle…
Les éléments de base de la logique sont des phrases d’une langue donnée…
La phrase utilisée par la logique doit être :
Grammaticalement correcte
Possède un sens et compréhensible
Et pour laquelle, on peut décider si elle est vraie ou fausse
Une phrase employée en logique est appelée aussi : proposition, propriété, prédicat
Pour simplifier les manipulations des phrases on les symbolise avec des lettres : P ou (P) ou Q ou R etc.…
Le rôle de la logique c’est d’aider l’esprit à donner des jugements sur une phrase simple ( verbe+ sujet+
complément) ou bien sur une phrase composée par deux ou plusieurs phrases simples, liées par des liens
qu’on appelle « connecteurs logiques ».
II. Les connecteurs logiques
Considérons maintenant deux propositions P et Q, ces deux propositions peuvent être composées à l’aide
d’un connecteur, comme on peut chercher la négation de l’une de ces phrases.
Les connecteurs logiques de base sont :
La négation d’une proposition P , on la note ( nonP) ou ( ┐ P) ou
P
.
La conjonction logique qui est « et » , on note ( P et Q )
La disjonction logique qui est « ou » , on note ( P ou Q )
D’autres connecteurs sont construits à partir des connecteurs simples précédents, c’est le cas de
l’implication logique et l’équivalence logique notés de la façon suivante :
:logiqueeéquivalenc
:
logique
Implcation
QP
Q
P
Ces deux nouveaux connecteurs sont définis par les formules suivantes :
QP
QP
QP
Q
P
à eéquivalentest
Q
ou
P)
(non
à
e
équivalent
est
Le tableau suivant appelé table de vérité définie les valeurs de vérité des propositions composées
fondamentales :
P Q Non P P et Q P ou Q QP
QP
VVFV V V V
VFFFVF F
FVVFV V F
FFVFFV V
III. Propriétés des connecteurs logiques
PnonPnon )( Les connecteurs « et » et « ou » sont
commutatifs et associatifs
V)PouP(P)FouP(V)VouP(P)PouP(
F)PetP(F)FetP(P)VetP(P)PetP(
)()( QetPQouP Les lois de Morgan )()( QouPQetP 
La contraposée ) ( ) ( PQQP 

http://ammarimaths-bm.voila.net/ 1ière Bac Sm Sx Exos - Maths Chapitre : 1 Cours : 1 mardi 6 septembre 2011 Page : 2/2
Logique mathématique
ﻲﺿﺎﯾﺮﻟا ﻖﻄﻨﻤﻟا
[email protected] Réalisé par : Ammari AbouSamah
IV. Propriétés des Opérations sur les ensembles
Soient A et B deux parties d’un ensemble E, par analogie on obtient (je vous laisse le soin de le montrer
vous-même comme applications à la logique)
A
A
La réunion de deux ensembles sont
commutatives et associatives
)()()()(
)()()()(
EAAAAEEAAAA
AAAAEAAAA
)()( BABA  Les lois de Morgan pour les
ensemble )()( BetABA 
Contraposée pour les ensembles ) ( ) ( ABBA 
V. Les fonctions propositionnelles
soit x un élément d’un ensemble E , la proposition P(x) est une proposition dont la valeur de vérité
dépend de x est dite fonction propositionnelle définie dans E.
»Africaine villeuneest x «P(x)
La valeur de vérité de cette proposition dépend de la valeur de la ville x, à titre d’exemples :
faussen propositiouneest »Africaine villeuneest Paris «P(Paris)
n vraiepropositiouneest »Africaine villeuneest Rabat «P(Rabat)
De cette manière, on établit une fonction définie de l’ensemble W des villes du monde vers l’ensemble des
valeurs de vérité : V et F.
VI. Les propositions quantifiée
Si E est un ensemble et P(x) une fonction propositionnelle définie dans E, les propositions quantifiée
s’écrivent respectivement :
P(x)propriétéla vérifiantEde x élémentsles tousquesignifie: P(x) ; E x
P(x)propriétéla vérifiantEdeélément x un moinsau nexisteilqu'signifie: P(x) ; E x
les proposition
peuvent contenir plusieurs quantificateurs…les exercices proposés sur le site peuvent vous aider à découvrir
plusieurs choses concernant ce type de phrases….
Reste à donner les règles de négation pour les propositions quantifiées :
(
(
P(x) ; E x )P(x) ; E x
P(x) ; E x )P(x) ; E x
non
non

http://ammarimaths-bm.voila.net/ 1ière Bac Sm Sx Exos - Maths Chapitre : 1 Cours : 2 mardi 6 septembre 2011 Page : 1/1
Logique mathématique
ﻲﺿﺎﯾﺮﻟا ﻖﻄﻨﻤﻟا
[email protected] Réalisé par : Ammari AbouSamah
Méthodes de raisonnement
Méthodes directes de raisonnement :
la méthode directe de raisonnement une méthode qui utilise les résultats des tables de vérité pour décider de la valeur de vérité d’une proposition simple ou
composée. Le tableau suivant envisage les méthodes les plus utilisées en classe :
type
P
P et Q P ou Q
QP QP
Montrer que V V V V V
Méthode On montre que P
est fausse
On montre que P est
vraie et que Q est vraie
On montre que l’une des
propositions est vraie
On suppose que P est vraie
et on montre Q est vraie
On montre que P et Q ont
même valeur de vérité
Autres méthodes de raisonnement
Méthode Description En pratique
Raisonnement par :
contraposée
méthode spéciale pour justifier une implication
QP
Cette méthode repose sur l’équivalence :
)PQ()QP( 
On suppose que Q est vraie et on
montre P est vrai
Raisonnement par :
disjonction des cas
méthode spéciale pour justifier une implication
QP
Cette méthode repose sur la possibilité de décomposer la première proposition
P sous forme de disjonction du minimum possible de propositions
n
ouP...ououPPP 21
Alors pour montrer que l’implication proposée est vraie il faut montrer que
toutes les propositions
nà1deipour tout s,sont vraie )QP( i
On envisage les cas :
*cas :1 on suppose que P1 est vraie et
on montre que Q est vraie
*cas :1 on suppose que P2 est vraie et
on montre que Q est vraie
…
*cas :n on suppose que P2 est vraie et
on montre que Q est vraie
Raisonnement par :
L’absurde
méthode spéciale pour montrer qu’une proposition P est vraie
On suppose que P est fausse
Cette méthode repose sur le vérité d’une implication vraie(qu’on construit)
QP 
Avec une proposition Q fausse (contradiction)
On s’aperçoit alors que non (P) doit être fausse contrairement à notre
supposition ce qui conduit à la vérité de P.
On suppose que P est fausse
On construit une implication vraie de
la forme
QP 
Avec une proposition Q fausse
(contradiction)
On conclut que P est vraie
Raisonnement par :
équivalence
méthode spéciale pour montrer qu’une proposition P est vraie
Cette méthode repose sur le fait que si la position
QP
est vraie alors les propositions P et Q ont la même valeur de vérité
On cherche une proposition vraie Q
équivalente à P
Raisonnement par :
Contre exemple
méthode spéciale pour montrer qu’ une proposition de la forme :
P(x) ; E x 
Est fausse
Cette méthode repose sur le fait de démontrer que la négation de cette
proposition est vraie, qui est justement
P(x) ; E x 
Il suffit de trouver un élément particulier a de E tel que la proposition P(a) soit
fausse
On cherche un élément a de E tel que
p(a) soit fausse
L’élément a est appelé « un contre
exemple »
Raisonnement par :
Récurrence simple
méthode spéciale pour justifier une implication quantifiée dans l’ensemble IN
des entiers naturels
P(n) n ;IN
Cette méthode est réalisable en deux étapes :
on vérifie que P(0) est vraie
On montrer que l’implication :
est vraie 1)(p )( ; IN)p( PpP
:Première étape
On montre que p(0) est vraie
:Première étape
Pour un entier donné p ,
On suppose que montre que P(p) est
vraie
Et on montre que P(p+1) est vraie