1

ENSEI
GNEMENTSUPERI
EURETUNI
VERSI
TAI
RE

UNI
VERSI
TELI
BREDESPAYSDESGRANDS
LACS

ULPGL/
GOMA

COURSDELOGI
QUEMATHEMATI
QUE

Dest
inéauxét
udi
ant
sdeG1FSTA

Di
spensépar:
CT.
BYAMUNGUWANGUWABODav
id

Mast
erofSci
ence

Janv
ier2021
 2

NTRODUCTI
ON

I
.[Link]
NITI
ON

Lal
ogi
que(
sci
ent
if
iqueouf
ormel
l
e)estunesci
encequidét
ermi
nequel
l
essontl
es

f
ormesv
ali
des(
oucor
rect
es)der
aisonnement
.El
l
eét
abl
i
tlescondi
ti
onsdel
’
accor
d

del
apenséeav
ecel
l
e-mêmeetenv
isagel
esopér
ati
onsi
ntel
l
ect
uel
l
esaupoi
ntde

v
uedel
aval
i
dit
éel
l
e-mê[Link]
nsit
roi
sopér
ati
onsf
ondament
alessontàl
abasede

l
a pensée:l
’
appr
éhensi
on quiestl
a concept
ion de l
’
idée,l
ejugementquiest

l
’
aff
ir
mat
ionoul
anégat
iond’
unr
appor
tent
redeuxi
déesets’
expr
imeenpr
oposi
ti
on

etunr
aisonnementqui
,àpar
ti
rdedeuxoupl
usi
eur
sjugement
sont
ir
eunaut
re

j
ugement
.Lej
ugementestdoncl
’
act
eparl
equell
’
espr
itaf
fi
rmeunr
appor
tde

conv
enanceoudedi
sconv
enanceent
redeuxconcept
s.I
lestcomposédusuj
et,du

pr
édi
catouat
tri
but
setunecopul
e(l
i
en)quiestl
’
aff
ir
mat
ionounégat
ionquimar
que

l
erappor
tent
redeuxconcept
s.

I
.[Link]
iont
radi
ti
onnel
l
edur
aisonnement

Déf
ini
ti
ont
radi
ti
onnel
l
e:unr
aisonnementestunedémar
chedel
apenséehumai
ne

qui
,àpar
ti
rdecer
tai
nesconnai
ssancesacqui
sesmèneàuneconnai
ssancenouv
ell
e

sans dev
oirr
ecour
irà des const
atat
ions ou à des obser
vat
ions sensi
blement

nouv
ell
es.

Expl
i
cit
ati
ons:

- Lesconnai
ssancesacqui
sessontconsi
gnéesdans«l
espr
émi
sses»

- La«connai
ssancenouv
ell
e»estconsi
gnéedansl
aconcl
usi
on.

- Les const
atat
ions ou l
es sensi
bles nouv
ell
es:aut
res que cel
l
es dontl
e

r
ésul
tataur
aitét
éconsi
gnédansl
espr
émi
sses.

- Unr
aisonnementestunenot
iondy
nami
que
 3

Remar
que: En pr
ati
que,on ne r
aisonne pas di
rect
ement à par
ti
r des

connai
ssancesconsi
dér
éesdansl
eurét
atsi
mpl
ementment
al,mai
sàl
’
aidedel
eur
s

r
epr
ésent
ati
onssy
mbol
i
ques.

Sil
’
hommeestr
econnuouser
econnai
tcommeunêt
resupér
ieurauxaut
res

cr
éat
uresdeDi
eu,c’
estsur
toutàpar
ti
rdusi
gnedi
sti
nct
if:«l
edon del
arai
son»
,le

r
aisonnement
.Lamani
fest
ati
ondecepouv
oirspi
ri
tuelestquel
’
hommedépassel
e

st
adei
nst
inct
ifpourpr
émédi
teretposerdesact
esdouésd’
essencec'
est
-à-
dir
edes

act
escanal
i
sésv
ersunef
inal
i
téetsoust
enduparuni
déal
.Cesact
essontpr
écédés,

accompagnésetsui
vi
sd’
uneappr
éci
ati
[Link] d’
aut
rest
ermes,l
aréf
lexi
on que

l
’
hommeut
il
isepourappr
éci
er,
agi
r;l
’
uti
l
iseaussi
pourév
aluersonpr
opr
erendement

enseposantcont
inuel
l
ementl
aquest
ion«est
-cequej
’
aibi
enr
aisonné»
.

Dansl
elangagecour
ant
,onent
endsouv
entl
esexpr
essi
onst
ell
es

que:
«c’
estl
ogi
que»oucen’
estpasl
ogi
[Link]
essi
onssontl
essi
gnes

ext
éri
eur
sdusoucidesoumi
ssi
ondenot
repensée:desl
oisquenoussommes

obl
i
gésder
espect
ersinousv
oul
onsêt
rel
ogi
[Link]
edesl
oisetde

r
ègl
esper
met
tentdegui
deretsauv
egar
derl
asui
tedansl
esi
dées,l
ebonadj
a

cémentdesar
gument
saf
inder
aisonnerdef
açonv
alabl
e.

Lapr
ati
quedel
alogi
quesemani
fest
eets’
épanoui
sàt
rav
ersl
esdi
scussi
ons

académi
ques,l
a di
sposi
ti
on etl
a déf
ense j
udi
ciai
re,l
es ser
ment
srel
i
gieux,l
es

meet
ingspopul
air
es,
lesscènesdeménages,
…

L’
i
ncohér
enced’
undi
scour
sestunemani
fest
ati
ondel
’
absenceoudel
aper
tede

l
’
humani
té(
car
act
èrehumai éf
n)appel ol
i
[Link]
ef,
plusonestl
ogi
queetcohér
entdans

l
esi
déespl
usonal
’
est
imeent
antqu’
homme.

Lemotl
ogi
quev
ientdugr
ec-«l
ogos»quisi
gni
fi
erai
son,l
alogi
que

appar
aitcommel
apol
i
cer
out
ièr
edupr
ocessusder
aisonnement
.El
l
eestdoncl
a

sci
enceay
antpourobj
etdedét
ermi
nerl
esr
ègl
esquicondui
sentl
apenséev
ersl
a
 4

v
éri
té,c’
estdoncl
athéor
iedur
aisonnementcor
rect
.Lanot
iondev
ali
dit
éd’
un

r
aisonnementdési
gnel
alégi
ti
mit
édupassaged’
unedonnéeàunenouv
ell
edonnée

sanspr
éjudi
cierl
acohér
[Link]
it
re,l
alogi
queestl
asci
encedesr
ègl
esetdesl
ois

i
déal
espourl
’
exer
cicecor
rectdel
apensée.

Lef
ondat
euroul
epèr
edel
alogi
quecl
assi
queestARI
STOTE.

ARI
STOTEsepr
omenai
tenpr
ovoquantl
esgensetdet
out
esl
esdi
scussi
onsi
lne

s’
i
ntér
essai
tqu’
àlaf
ormedur
aisonnement
.C’
estl
erésul
tatdesont
rav
ailquiaét
é

l
epoi
ntdedépar
tdel
alogi
quef
ormel
l
[Link]
mit
ati
on‘
Ari
stot
enousal
l
onspar
ti
r

d’
unehi
stoi
reconcr
ètequi
s’estpasséeauMar
ocàRabbat
.

Hi
stoi
red’
unmeur
treext
raor
dinai
re

Voi
cil
erésumédur
éci
t:en1983,SAMYELJAIl
’
undesj
our
nal
i
stescél
èbr
esdu

Maghr
ebv
ivai
tav
ecunef
emmer
épondantaunom d’
ANI
[Link]
aisons

per
sonnel
l
es,
Ani
ssav
oul
aitàt
outpr
ixr
egagnersonanci
enmar
iàPar
is.

CommeAni
ssanev
oul
aitpasr
eveni
rsursadéci
sion,
SAMYav
aitdéci
dédel
’
éli
miner

phy
siquement
.Av
antdel
atuer
,ill
uiav
aitf
aitsi
gnerunef
eui
l
ledepapi
erv
ier
gesur

l
aquel
l
eilaécr
itapr
èsl
efor
fai
tunef
aussel
ett
requiat
test
aitqu’
el
leav
aitqui
tt
éle

Mar
ocetqu’
el
lev
ivai
tdoncai
l
leur
s.I
ls’
étai
tar
rangépourf
air
epost
erl
alet
treàPar
is.

C’
estai
nsiquel
orsd’
unepr
emi
èreenquêt
edel
apol
i
ce,cel
l
e-cis’
étai
tfai
tpr
endr
e

parl
asi
gnat
uredel
avi
cti
meendi
sant:

«Sil
alet
trepost
éeàPar
isaét
éécr
it
eparANI
SSAal
orsel
l
evi
tai
l
leur
sorauv
udel
a

si
gnat
urec’
estel
l
equi
aécr
itl
alet
[Link]
l
evi
tai
l
leur
s».

Voi
cil
afor
medur
aisonnementdel
apol
i
ce:

si
Lal
orsA L⇒A

orL Ou L

doncA A
 5

Mai
sapr
èssi
xansder
echer
chesv
aines,l
afami
l
leav
aitf
iniparconv
aincr
etoutl
e

mondequ’
Ani
ssanev
ivai
tpasai
l
leur
s.

Dansl
asui
te,
lapol
i
ceav
aitencor
edi
ri
gésesenquêt
essurSAMYetceder
nierav
ait

f
inal
ementav
ouésonf
orf
ait
,lecor
psd’
ANI
SSAét
aitent
err
ésousl
’
escal
i
eràl
’
ent
ré

si
Lal
orsA
L⇒A
or-
A
-
A
donc-
L
-
L

dechezSamy
. Nouspouv
onsdoncconcl
urequesui
teàl
anouv
ell
einf
ormat
ion

appor
téeparl
afami
l
le,
lapol
i
ceav
aitchangél
afor
medesonr
aisonnementcomme

sui
t

Dest
ell
esf
ormesder
aisonnementser
etr
ouv
entdanst
out
esl
esact
ivi
tésde

l
avi
edel
’
hommecart
out
eact
ionhumai
neestl
’
about
issementd’
unr
aisonnement
.

Dev
antdet
elsr
aisonnement
soudev
antd’
aut
resf
ormespl
uscompl
exes,
laquest
ion

qu’
onseposeestcel
l
edesav
oirsicesf
açonsder
aisonnersontouiounon

l
ogi
quementv
alabl
epourmet
treenév
idencel
anot
iondev
ali
dit
édur
aisonnement
.

Pr
enonsl
’
aut
reexempl
esurl
emêmepr
obl
èmed’
Ani
ssaensupposantqu’
onl
’
a

r
etr
ouv
évi
vant
eai
l
leur
setqu’
uni
ndi
vi
duquiaappr
isqu’
onl
’
aret
rouv
éai
tti
rél
a

concl
usi
onquec’
estdoncel
l
equiaur
aitécr
itl
alet
tre,l
erai
sonnementdecet
te

per
sonneser
aitdel
afor
me:

L⇒A
si
Lal
orsA
A
orA
L
doncL
 6

Appl
i
quonscenouv
eauschémader
aisonnementsurunaut
recont
enudel
amani
ère

sui
vant
e:

Si
Nel
sonMANDELAestcongol
aisal
orsi
lestaf
ri
cai
n

OrNel
sonMANDELAestaf
ri
cai
n

Donci
lestcongol
ais

C⇒A
A
C

Remar
que:I
lyadoncdesr
aisonnement
squipeuv
entappar
ait
rev
ali
demai
sdont

l
esf
ormesut
il
iséesdel
amêmef
açondansd’
aut
rescont
enusnousf
ontabout
irà

desf
ausset
ésouàdescont
radi
cti
ons,cesontdoncdesmauv
aisesf
açonsoudes

mauv
aisesf
ormesder
aisonnement
.

OBJECTI
FSDUCOURS

Dansl
ecour
sdel
ogi
quemoder
neonappr
enduncer
tai
nnombr
edef
orme

v
ali
desder
aisonnementaf
indesav
oirl
esut
il
iserdansnosr
aisonnement
setdansl
e

cont
rôl
eder
aisonnementquenousr
encont
rons.

Déf
ini
ti
on:Lal
ogi
quemoder
neestl
’
ensembl
edesconnai
ssances,
desr
ègl
esetdes

l
ois en v
ue d’
un r
aisonnementl
ogi
quementv
alabl
e.C’
estdonc l
a sci
ence du

r
aisonnement
.

DI
FFERENTESAPPLI
CATI
ONSDUCOURS

Onaconst
atéquedansdi
ff
érent
esdi
scussi
ons,l
’
onr
etr
ouv
elesmêmes

f
açonsdepr
océderpourconst
rui
reunbonr
aisonnement
.C'
est
-à-
dir
elesmêmes
 7

f
ormes de r
aisonnement et seul
e l
a mani
ère d’
échanger
.

C’
estai
nsiquedansl
ecour
sdel
ogi
queonappr
enddi
ff
érent
esmét
hodespouv
ant

per
met
treder
econnai
tr
eetd’
uti
l
iserl
esf
ormesv
ali
desdenosr
aisonnement
s.

Commel
’
onnes’
i
ntér
essequ’
àlaf
ormeetnonl
econt
enu,onpar
ledel
alogi
que

f
ormel
l
e ou encor
e de l
a l
ogi
que des pr
oposi
ti
ons i
nanal
ysées.

Pourcel
a,l
espr
oposi
ti
onsser
ontr
empl
acéesparl
essy
mbol
es(
parexempl
esl
es

l
ett
resdel
’
alphabet
)etdansl
esdi
ff
érent
esconst
ruct
ionsdur
aisonnement
.

I
lyadesmot
soudesgr
oupesdesmot
squir
evi
ennentetquinechangentpas,ces

mot
sougr
oupesdesmot
sai
dentàconnect
erc’
est
-à-
dir
emet
treenr
elat
ionl
es

di
ff
érent
espr
oposi
ti
[Link]
esappel
l
elesconnect
eur
slogi
quesoul
esopér
ateur
s.

I
lsopèr
entsurl
espr
oposi
ti
onspourenconst
rui
red’
aut
res.

I
ls’
agi
tpourexempl
e:si…al
ors,si
,et
,ou,or;
àmêmet
empsque;
mai
s;aubi
en;et

pour
tantque:
sietseul
ementsi
;équi
val
entà;
…

OBJECTI
FSSPECI
FIQUES

Al
afi sdel
nducour ogi
que,
l’
étudi
antdeG1doi
têt
recapabl
ede:

- Déf
ini
rlesnot
ionsdebase;

- Tr
adui
reunr
aisonnementenl
angagesy
mbol
i
que;

- Ut
il
iserl
esdi
ff
érent
esmét
hodesdecont
rôl
edel
aval
i
dit
éd’
unr
aisonnement

- Sav
oircher
cherl
ogi
quementl
escondi
ti
onsét
antdonnédespr
émi
cesde

sav
oirj
ust
if
iersonr
ejet;

- Sav
oirexpl
oit
erunesér
ied’
i
nfor
mat
ionsurl
essi
tuat
ionspourapr
èscal
cul
,en

t
ir
eruneconcl
usi
onl
ogi
quementv
alabl
e.

PLANDUCOURS
 8

ChapI
.NOTI
ONSDEBASE

1.Déf
ini
ti
ons

[Link]ér
ateur
souconnect
eur
slogi
ques

[Link]
érar
chi
eetcombi
nai
sondesconnect
eur
slogi
ques

ChapI
[Link]
FFERENTESMETHODES

[Link]ét
hoded’
anal
ysedi
rect
edet
ousl
escaspossi
blesoumét
hodedet
abl
e

desv
aleur
soumét
hodesdesmat
ri
ces

[Link]ét
hodei
ndi
rect
eouder
aisonnementparl
’
absur
de

3.Mét
hodedi
tededéduct
ionnat
urel
l
e

[Link]
cices
 9

ChapI
.NOTI
ONSDEBASE
1.
DEFI
NITI
ONS

a)Not
ionsdepr
oposi
ti
on

Lesi
nfor
mat
ionssontdonnées,r
eçuesouconnuessousf
ormedesphr
asesou

pr
oposi
ti
ons,
c'est
-à-
dir
edesdécl
arat
ionsqui
peuv
entêt
rev
rai
esouf
ausses.

D’
oùl
adéf
ini
ti
ond’
unepr
oposi
ti
onl
ogi
quequiestunénoncédontonpeut

di
resansambi
guï
té,
qu’
i
lestv
raiouf
[Link]
oposi
ti
onpeutêt
recl
asséeaupoi
nt

dev
uedel
aqual
i
téouaupoi
ntdev
uedel
aquant
it
é

Exempl
e:i
lpl
eutmai
ntenant
.

Cont
re-
exempl
e:l
essouhai
ts,
lessent
iment
s,l
escommandement
s,l
es

quest
ions,l
esi
ntent
ions,ai
nsiquel
esambi
guï
tés,nesontpasdespr
oposi
ti
ons

l
ogi
ques.

Exempl
e:

- Mar
cherpl
usv
ite

- Jev
oussouhai
teunebonnef
êtedenouv
elan

- I
lfautqu’
i
lar
ri
vecesoi
r,et
c.

Tout
escesdécl
arat
ionsnesontpasdepr
oposi
ti
onsl
ogi
quescarl
epr
obl
èmedev
rai

ouf
auxneseposepas.

b)Not
ionder
aisonnement

Unr
aisonnementestunpr
ocessuscomposéd’
act
esment
auxqui
consi
steà:

- Rassembl
erdesi
nfor
mat
ionsconnuesour
eçuesetaccept
ercommev
rai
es

ouf
aussesaudébutouencour
sdupr
ocessus

- Appr
éci
erett
ir
ercel
l
esqui
peuv
entnousf
air
epr
ogr
esserv
ersuneconcl
usi
on

- Concl
ure.

Lesi
nfor
mat
ionsr
eçuesouconnuessontappel
éesl
espr
émi
[Link]
sonnerconsi
ste
 10

àconf
ront
er,àmet
treenr
elat
ion,àél
i
minercer
tai
nesi
nfor
mat
ionsetpr
ogr
esser

v
ersuneconcl
usi
on.

NB:unr
aisonnementpeutcouv
rirunel
onguedur
ée.

c)Not
ionder
aisonnementl
ogi
quementv
alabl
e

Unr
aisonnementestdi
tlogi
quementv
alabl
e,s’
i
lrespect
elesr
ègl
esoul
es

l
oisl
ogi
quesét
abl
i
esetqui
fer
ontl
’
obj
etdececour
s.

[Link]
QUES
a)L’
i
mpl
icat
eur

I
lestl
econnect
eurdel
’
impl
i
cat
ion.I
ls’
expr
imepar:si
-al
ors,
si,àcondi
ti
on

que,
àmoi
nsque,
pour
vuque,
…onécr
itp⇒qetonl
i
t«pent
rai
neq»ou«pi
mpl
i
que

q»cequisi
gni
fi
e:sionap,
alor
sonaqoùpestpr
emi
èrecondi
ti
onsuf
fi
sant
epour

qc'
est
-à-
dir
equ’
i
lsuf
fi
td’
avoi
rppourav
oirq.

b)Lenégat
eur

Estl
’
opér
ateurdel
adi
sjonct
ion.

Ondi
sti
nguel
adi
sjonct
ioni
ncl
usi
veetexcl
usi
ve.

.Ledi
1° sjonct
euri
ncl
usi
f:s’
expr
imeparou,oubi
en,onécr
itpv
qetonl
i
t«pouq»
,

cequi
veutdi
rel
’
unededeuxaumoi
ns.

N.
B:l
ecasoùl
esdeuxsontv
rai
sàl
afoi
s,esti
ncl
us.

petq:
composant
es.

.Ledi
2° sjonct
eurexcl
usi
f:s’
expr
imeparoubi
en,
…oubi
en…,
onécr
itpv
qetonl
i
t«

oubi
enpoubi
enq»
,cequi
signi
fi
el’
uneetl
’
uneseul
e.

c)Leconj
onct
eur

Estl
econnect
eurdel
aconj
onct
ion,s’
expr
imeparet
,mai
s,or
,etaussi
,et
 11

égal
ement
,al
orsque,
enmêmet
empsque,
aumomentoù,
…

Br
ef,
tout
eexpr
essi
ondesi
mul
tanéi
té,
onécr
itp⩘qoupetqoupqetonl
ipetq,
ce

qui
signi
fi
eqetàl
afoi
sq.

3.
HIERARCHI
EETCOMBI
NAI
SONDESCONNECTEURS
Lapor
téed’
unopér
ateurl
ogi
queestl
i
mit
éeparsoi
tdespar
ent
hèses,descr
ochet
s

ousoi
tdesaccol
ades.

Al
’
absencedecet
tel
i
mit
ati
on,l
alect
ured’
uneexpr
essi
onoud’
unef
ormul
esef
ait

sui
vantl
ahi
érar
chi
equenouspr
ésent
onsci
-dessous,
dupl
usf
aibl
eoupl
usf
ort:

1°
.Lenégat
eurestl
epl
usf
aibl
ecari
lpor
tesurl
aseul
epr
oposi
ti
ondi
rect
ementà

cot
édel
[Link]
eruneexpr
essi
oncompl
exe,i
lfauxai
derl
enégat
eurenpl
açant

l
’
expr
essi
onàni
erent
re()ou[]ou{}
.

2°
.Leconj
onct
euretl
edi
sjonct
eurontl
emêmeni
veau.

3°
.L’
i
mpl
i
cat
eurestpl
usf
ortquel
est
roi
spr
écédent
s

4°
.L’
équi
val
uat
eurestl
epl
usf
ortdet
ous

I
ll
ust
rat
ions:

a)-
p⇒qv
q:i
mpl
i
cat
eur

b)-
(p⇒qv
p):
négat
eur

c)(
-p⇒q)
vp:
disj
onct
eur

d)-
(p⇒q)
vp:
u

e)p⇒(
q⇒r
):1er i
mpl
i
cat
eur

f
)(p⇒q) 2nd i
⇒r: mpl
i
cat
eur

g)p⇒q⇒r
 12

Chap.I
[Link]
FFERENTESMETHODES
[Link]’
ANALYSEDI
RECTEDETOUSLESCASPOSSI
BLES
OUMETHODEDESTABLESDESVALEURSOUMETHODESDES
MATRI
CES
D’
apr
èssadéf
ini
ti
on,
unepr
oposi
ti
onl
ogi
queestsoi
tvr
aie,
soi
tfausse.

D’
oùl
esdeuxv
aleur
spossi
bles
Vr
aieΞv
Ξ1

FauxΞFΞ0

I
lenest demêmed’
uneexpr
essi
on,el
l
epeutêt
reoubi
env
rai
eoubi
en

f
[Link]
aleurd’
uneexpr
essi
onestcal
cul
éeenf
onct
iondesdi
ff
érent
esv
aleur
s

de chacune de cescomposant
esetl
erésul
tatf
inalse t
rouv
e en dessousdu

connect
eurpr
inci
pal
del
’
expr
essi
on.

Cet
teanal
ysed’
uneexpr
essi
ondoi
taussit
eni
rcompt
edesv
aleur
sdesopér
ateur
s

l
ogi
quesqui
l’
int
erv
iennentdansl
’
expr
essi
on.

D’
oùl
anécessi
tédesav
oirquandunopér
ateurl
ogi
queestv
rai
ouf
aux.

MATRI
CEDESCONNECTEURSLOGI
QUES
a)Mat
ri
cesdunégat
eur

Siunepr
oposi
ti
onestv
rai
e(Vou1)al
orssanégat
ion–pser
afausse(
Fou0)al
orssa

négat
ion-
pestv
rai
e.

D’
oùl
amat
ri
ceoul
atabl
esdesv
aleur
spossi
blesdenégat
ion.

b)Mat
ri
ceduconj
onct
eur

El
l
erésume l
efai
tque l
e conj
onct
eurestv
raidans l
’
uni
que cas où l
es deux

composant
essontv
rai
esàl
afoi
s.
1 1 1
. p⩘q: 1 0 0
0 0 1
0 0 0
 13

c)Mat
ri
cedudi
sjonct
euri
ncl
usi
f

El
l
erésumel
efai
tquel
edi
sjonct
eurestf
auxdansl
’
uni
quecasoùl
esdeux

composant
essontf
aussesàl
afoi
s.
1 1 1
. p⩗q: 1 1 0
0 1 1
0 0 0

d)Mat
ri
cedudi
sjonct
eurexcl
usi
f

El
l
erésumel
efai
tquel
edi
sjonct
eurexcl
usi
festf
auxdansl
ecasoùl
esdeux

composant
sontl
esmêmesv
aleur
s.
1 1 0
p⩡q: 1 0 1
0 1 1
0 0 0

e)Mat
ri
cedel
’
impl
icat
eur

El
l
erésumel
efai
tquel
’
impl
i
cat
eurestf
auxdansl
’
uni
quecasoùl
’
ant
écédentestv
rai

etl
econséquentf
aux.
1 1 1
1 0 0
p⇒q
0 1 1
0 1 0
s⇒p:

f
) Mat
ri
cedel
’
équi
val
uat
eur

Lamat
ri
cedel
’
équi
val
uat
eurr
ésumel
efai
tqu’
i
lestv
rai
dansl
eseulcasoùl
esdeux

membr
esontl
esmêmesv
aleur
s
1 1 1
1 0 0
p⇔q
0 1 1
0 1 0
 14

.
 15

Appl
icat
i a1èremét
ondel hodeàdesr
aisonnement
s

a)Pr
emi
err
aisonnementdel
apol
ice

[
(L⇒A)⩘L]⇒A
L⇒A
L 1111111
A
1000110
⇒
0110011

0100010

Touj
our
svr
aie(
façonde

r
aisonnementt
ouj
our
sval
abl
es

b)Deuxi
èmer
aisonnement

L⇒A
-A
-L
⇒
 16

Touj
our
svr
aie

c)Rai
sonnementduLacMai
-Ndombe
[
(C⇒M)
⩘M]
⇒C

C⇒M 1111111
M
C ⇒ 1000011

0111100
[
(L⇒A)
⩘-L]
⇒-A
0100010
111001101
El
l
en’
estni
vrai
eni
fausse
100001110
L⇒A
-L 01111000 1
-A
d. -
--
--
--
--
--
--
--
---
--
--
--
-- 010110110

CLASSI
FII
CATI
ONDESRESULTATS

[Link]
ogi
queout
aut
ologi
e

Si
uneexpr
essi
onestt
ouj
our
svr
aie,
onpar
led’
unel
oil
ogi
queappel
éeaussi

t
aut
ologi
e

Exempl
e:
p⇒p
a)
111
010

Touj
our
svr
aieΞl
oil
ogi
que

Cet
tel
oil
ogi
queestappel
éel
aloidel
’
ident
it
é:el
l
eexpr
imel
efai
tquet
out
e
 17

pr
oposi
ti
ons’
i
mpl
i
queel
l
e-même

b) p⩗-
p

1101
0110

Touj
our
svr
aie:
taut
ologi
e

Cet
tel
oil
ogi
queexpr
imel
efai
tquet
out
einf
ormat
ionout
out
epr
oposi
ti
onestv
rai
e

ouf
ausse.

[Link]
radi
cti
on

Si
uneexpr
essi
onestt
ouj
our
sfausse,
onpar
led’
unecont
radi
cti
on.

Exempl
e:
p⩘-
p

1001
0010
Touj
our
sfausse:
cont
radi
cti
on

Cet
tecont
radi
cti
onexpr
imel
efai
tqu’
avoi
ràl
afoi
sunepr
oposi
ti
onetsapr
opr
e

négat
ionestt
ouj
our
sfaux.

Lanégat
iondet
out
elal
ogi
queestunecont
radi
cti
on

-
(p⩗-
p);-
(p⇒p)

Remar
que:
lanégat
iondet
out
econt
radi
cti
onestunel
oil
ogi
que

[Link]
ingence

Lor
squel
esv
aleur
ssontmél
angées,
onpar
led’
unecont
ingence.

Exempl
e: p⇒-
p

1001
0110
 18

N.
B:l
esexpr
essi
onst
aut
ologi
quesc'
est
-à-
dir
elesl
oisl
ogi
quessontl
esseul
es

expr
essi
onsqui
cont
iennentl
esf
ormesv
ali
desder
aisonnementc'
est
-à-
dir
ele

modèl
eder
aisonnementv
alabl
eoul
ogi
quementaccept
é.

EXERCI
CES

-
(p⩘-
p)
1.
11011
10000

Touj
our
svr
aieΞl
oil
ogi
que

Cet
tet
aut
ologi
eestappel
éepr
inci
pedel
anoncont
radi
cti
[Link]
l
eexpr
imel
efai
t

qu’
onnepeutpasav
oirunepr
oposi
ti
onetsapr
opr
enégat
ionàl
afoi
s

2.

A⩗B⇒A⩘B

1 1 11 1 1 1
1 1 10 1 0 0
0 1 10 0 0 1
0 0 01 0 0 0

Past
ouj
our
svr
aieΞcont
ingence

Cet
tecont
ingencecont
ientl
emessagesel
onl
equel
ledout
en’
ent
rai
nepasl
a

cer
ti
tude.
A∧B⇒A⩗B
3.
1 1 1 1111
1 0 0 1 110
0 0 1 10 1 1
0 0 0 10 0 0
Taut
ologi
e
 19

Cet
tel
oil
ogi
queexpr
imel
efai
tquequel
quesoi
tledegr
édecer
ti
tude,
ledout
erest
e

undr
oitl
ogi
quementaut
ori
sé.

4.
A⩗B⇒A ou(
A⩗B⇒B)

1 1 1 1 1
1 1 1 0 1
0 1 1 0 0
0 0 0 1 0

Cont
ingence

Cet
tecont
ingencecont
ientl
emessagesel
onl
equel
s’i
lyadout
eent
re

deuxpossi
bil
i
tés,
iln’
estpasl
ogi
quementaut
ori
sédepoi
nterl
’
uned’
el
[Link]
vient

r
enf
orcerl
efai
tquel
edout
en’
ent
rai
nepasl
acer
ti
tude.

5. A⩘B⇒A ou(
A⩘B⇒B)

1 1 1 1 1
1 0 0 1 1
0 0 1 1 0
0 0 0 1 0

Loi
logi
que

Cet
tel
oil
ogi
quecont
ientl
emessagesel
onl
equel
ilestl
ogi
quementaut
ori
séde

choi
sirunepossi
bil
i
tél
orsqu’
onal
esdeuxàl
afoi
s.

6.
p⇔-
(-
p)

1 1 1 0 1
0 1 0 1 0

Loi
logi
que

Cet
tel
oiestappel
éel
aloi
del
adoubl
enégat
[Link]
l
evéhi
cul
elemessagesel
on

l
equel
ilestl
ogi
quementaut
ori
sédesuppr
imeroudef
air
eappar
ait
redeuxnégat
ions
 20

qui
sesui
ventdev
antunepr
oposi
ti
on.

Onpeutdi
reaussi
quet
out
epr
oposi
ti
onéqui
vautàsadoubl
enégat
ion.

I
ll
ust
rat
ion:
jenepeuxpasnepasboi
reΞj
epeuxboi
re

-
(p⩘q) ⇔ -
p⩗-
q

0 1 1 1 1 0 1 0 0 1
1 1 0 0 1 0 1 1 1 0
0 0 0 1 1 1 0 1 0 1
0 0 0 0 1 1 0 1 1 0

Loi
logi
que

a)Pourni
eruneconj
onct
ion,
ondi
str
ibuel
anégat
ionàl
’
int
éri
eurdes

par
ent
hèsesetonchangel
aconj
onct
ionendi
sjonct
ion.

b)⇐ i
lestl
ogi
quementper
misdemet
treenév
idenceunenégat
iondi
str
ibuée

surl
escomposant
esd’
unedi
sjonct
ionmai
senchangeantl
adi
sjonct
ionen

conj
onct
ion.

Cet
teéqui
val
encesi
gni
fi
edi
requ’
i
lesti
mpossi
bled’
avoi
rlesdeuxàl
afoi
s

c’
estdi
requ’
aumoi
nsl
’
unededeuxn’
estpasl
à.

7.
-
(p⩘q) ⇔ p⇒-
q ou(
-p⩘q)⇔q⇒-
p

0 1 1 1 1 1 0 0 1
1 1 0 0 1 1 1 1 0
1 0 0 1 1 0 1 0 1
1 0 0 0 1 0 1 1 0

Loi
logi
que

Cet
tel
oil
ogi
quev
éhi
cul
elemessagesel
onl
equel
dir
equ’
i
lesti
mpossi
bled’
avoi
r

l
esdeuxàl
afoi
sc’
estdi
requesi
onal
’
uneonnepeutpl
usav
oirl
’
aut
re.
 21

8.p⩗-
q⇔p⇒-
q

a)⇒⇃cet
tel
oiexpr
imel
efai
tqu’
unenégat
ionsui
vi
ed’
unedi
sjonct
ionse

t
ransf
ormeeni
mpl
i
cat
ion

b)⇐⇃i
lestl
ogi
quementaut
ori
séder
empl
acerunei
mpl
i
cat
ionparune

di
sjonct
ionenf
aisantappar
ait
reunenégat
iondev
antl
acomposant
equi

ét
aitant
écédent
.

 Conséquencedun°
9

a.–p⩗q⇔ p⇒q

D.
N

b.p⩗q⇔-
(-
p)⩗q⇔-
p⇒q

Expr
imel
efai
tqu’
unenégat
ionsui
vi
ed’
unei
mpl
i
cat
ionset
ransf
ormeen

di
sjonct
ion.

9. -
(p⩘q) ⇔ -
p⩗-
q

0 1 1 1 1 0 1 0 0 1
0 1 1 0 1 0 1 0 1 0
0 0 0 1 1 1 0 0 0 1
1 0 0 0 1 1 0 1 1 0

Loi
logi
que

a)⇒⇃pourni
erunedi
sjonct
iondi
str
ibuel
anégat
ionàl
’
int
éri
eurdes

par
ent
hèsesetonchangel
adi
sjonct
ionenconj
onct
ion.

b)⇐⇃i
lestl
ogi
quementaut
ori
sédemet
treenév
idenceunenégat
iondi
str
ibuée

surl
escomposant
esd’
uneconj
onct
ionenchangeantl
aconj
onct
ionen
 22

di
sjonct
ion.

Cet
tel
oiv
éhi
cul
elemessagesel
onl
equel
dir
equ’
i
lesti
mpossi
bled’
avoi
rl’
unde

deuxaumoi
nsc’
estdi
requ’
onn’
ani
l’
uneni
l’
aut
re.

10. p⇒ (
q⇒p)

1 1 1 1 1
1 1 0 1 1
0 1 1 0 0
0 1 0 1 0

Loi
logi
que

Cet
tel
oil
ogi
quecont
ientl
emessagesel
onl
equelsi
onaunepr
oposi
ti
onpal
orsi
l

exi
stet
ouj
our
suneaut
reqqui
l’
impl
i
que.

Enf
rançai
sil
n’yapasdef
uméesansf
eu

p⇒ (
-p⇒q) [
ou-
p⇒ (
p⇒q)
]
11.
1 1 0 1 1 1
1 1 0 1 1 0
0 1 1 0 1 1
0 1 1 0 0 0

Cet
tel
oiv
éhi
cul
elemessagesel
onl
equel
siunepr
oposi
ti
onpestv
rai
eal
orssa

négat
ion–pqui
ser
afausseent
rai
ner
an’
i
mpor
tequel
l
eaut
repr
oposi
ti
onq.

Enf
rançai
sduf
auxv
ientn’
i
mpor
tequoi
.

I
ll
ust
rat
ion:

. a2-
a2=a2-
a2

a(
a-a)
=(a+a)
(a-
n)

a=2a
 23

1=2

12. -p⇒ (
p⇒-p)

C’
estuncaspar
ti
cul
i
erdun°
12etcont
ientl
emessagesel
onl
equel
siune

pr
oposi
ti
on–pestv
rai
eal
orssanégat
ionpqui
ser
afausseent
rai
nemêmesa

pr
opr
enégat
[Link]’
aut
rest
ermespourqu’
unepr
oposi
ti
onpui
sse

ent
rai
nersapr
opr
enégat
ion,
ilf
autqu’
el
lesoi
tfausse.

Cet
tel
oiestàl
abasedul
ongpr
ocessusj
udi
ciai
re:
lesj
ugesposentdes

quest
ionspouramenerl
epr
évenu,
ver
slanégat
iond’
unepr
emi
èredécl
arat
ion

af
indeconcl
urequel
apr
emi
èredécl
arat
ionét
aitf
ausse.

14.p q<=>̶ q ̶ p) Cet

1
cont
r1po
a 1 1
si
ton0 1 1 0 1
i El
l
eexpr
imel
efai
tqu’
i
lestl
ogi
quementaut
ori
séde
1 001 100 0 1
I
ll
u r
empl
aceru neexpressi
ond el
saf
ormep qpar
0st
r
1at
i
1on1
:So
0i
tàdé
1 mo
1 nt
1 e0
r:si
Ee tFsontdesensembles,al
or
0 101 1
Si0 1 1
EXF=Ø,0
al
or seul
ed
sE=Oo eF≠Ø
ulaf
orme̶ q ̶ p

Ell
eesttrèsut
il
iséedanslesdémonstr
ati
onsdes
HypExF=Ø Comme,ilestimpossi bl
ededémar
rerladémonst
rat
ionparl
evi
de,on
théor
ies mathémat i
ques sous l ’
appel
l
ati
on
vadémont
rerl
afor
mecontraposée.
démonstr
ati
on par cont r
aposi
ti
on ou par

Hp ̶ (
ExØouF≠Ø) supposi
ti
onouparsupposi
ti
onouparl
’
absur
de.

̶ (
E=Ø)Ʌ ̶ (
F=Ø)

<=>E≠ØɅ F≠Ø

<=>∃€EɅ b€F

<=>(
a,b)€ExF

<=>ExF≠Ø<=>̶ p

15.p q
 24

q r [
(pp q)Ʌ(
qr
)] (
pr
)

p r 1111111 111
1
1110100 1 100

1000011 1 111

1000010 1 100

0110111 1 011

0110100 1 010

0101011 1 011

Cet
tel
oil
ogi
queexpr
imel
atr
ansi
ti
vi
tédel
’
impl
i
cat
ion

2.
[Link]ét
hodei
ndi
rect
eouder
aisonnementparl
’
absur
de

Rappel:Dansl
apr
emi
èremét
hodedet
abl
edesv
aleur
s,onpr
ocèdeparl
’
anal
yse

di
rectde t
ous l
es cas possi
bles eton concl
uten di
sant:Sien dessous du

connect
eurpr
inci
pal
,i
ln’
yaquedesv
aleur
svr
aies,
l’
expr
essi
onestunel
oil
ogi
que.

Nouv
ell
emét
hode:
Vrai
es,
l’
expr
essi
onestunel
oil
ogi
que.

Danscet
tesecondemét
hodedi
tei
ndi
rect
e,onr
aisonneparl
’
absur
deendi
sant

supposonsquel
’
expr
essi
on n’
estpast
aut
ologi
que,i
lyaur
aal
orsaumoi
nsune

v
aleurzér
o01 endessusduconnect
eurpr
inci
pal
.

Encher
chantàj
ust
if
ierl
apr
ésencedece 01,onpl
acer
apr
ogr
essi
vementd’
aut
res

v
aleur
s aux ni
veaux i
nter
nes de l
’
expr
essi
on en r
espect
antl
es mat
ri
ces des

connect
eur
sconcer
nés,àl
afi
ndepl
acementdesv
aleur
sdeuxcaspeuv
entse

pr
ésent
er:

1ercas:I
lyacont
radi
cti
on l
oil
ogi
que

Ex1:
[(p q)Ʌ (
q r
)] [
p r
]

1’
6141’
8121’
8150701160307
 25

1’
8et0’
7sontencont
radi
cti
onav
ec15

Le01 n’
estpasj
ust
if
ié l
’
expr
essi
onestt
jr
svr
aie=l
oil
ogi
que.

1err
Ex2: aisonnement(
rt
)pol
i
ce.

[
(L  A)Ʌ L] A

1’
5140312150103

1’
8et0’
7sontencont
radi
cti
onav
ec15

Le01 n’
estpasj
ust
if
ié l
’
expr
essi
onestt
jr
svr
aie=l
oil
ogi
que.

2èmecas:
pasdecont
radi
cti
on l
’
expr
essi
ont
aut
ologi
que

[
(C  M)Ʌ M] C

D’
3141’
312150103

1’
5et0’
3just
if
ient12 01estj
ust
if
ié l
’
expr
essi
onn’
estpast
aut
ologi
e.

L A(
L  A) (̶ L  ̶ A)

̶ L ̶ A 0’
6121’
7011406030517

1’
7et0’
6j
ust
if
ient12 01estj
ust
if
ié l
’
expr
essi
onn’
estpast
aut
ologi
e.

Ex1:A  C  [
(A C)Ʌ(
B  D)
] [
A Ʌ C) (
C Ʌ D)
]

B D 1’
814110 121’
915111 0’
3181619031’
10071’
11

AɅ B CɅ B

1’
11 et110 sontencont
radi
cti
onav
ec07  01n’
estpasj
ust
if
ié l
’
expr
essi
onest

t
aut
ologi
e.

2:A  C  [
(A C)Ʌ(
B  D)
] [
A ∪ C) (
C ∪ D)
]

B D 1’
814110 121’
915111 01181619031’
10071’
11

AɅ B CɅ B

0’
11 et1’
10 sontencont
radi
cti
onav
ec16  01n’
estpasj
ust
if
ié l
’
expr
essi
onest

t
aut
ologi
e.
 26

Cesdeuxl
oisexpr
imentl
acompt
abi
l
itédel
’
impl
i
cat
ionav
ecl
aconj
etl
adi
sj.

3:p (
q r
)Ʌ pɅ q r

1612 1’
7120805011614170305

1402 16 05 0705 01 1’
4181’
6130’
7

08et1’
6encont
radi
cti
onav
ec12 l
es01nesontpasj
ust
if
iés

18et0’
7encont
radi
cti
onav
ec13 l
es01l
’
expr
essi
onestt
aut
ologi
e.

Cet
tel
oiestappel
éel
aloi
del
’
impact
-exper
t

a) =i
mpor
tdep,i
lestl
ogi
quementaut
ori
sédemet
treenconj
onct
iondeux

ant
écédent
squi
sesui
vent

b)<=>=expor
tdep,
ilestl
ogi
quementaut
ori
sédesépar
erendeuxant
écédent
squi

sesui
ventunant
écédentqui
estsousf
ormedeconj
onct
ion.

4.p (
q r
)<=>q (
p r
)

16121’
4080’
7011403160507

140216 0507 01 1’
6131’
4080’
7

08et1’
6encont
radi
cti
onav
ec12 l
es01nesontpasj
ust
if
iés l
’
expr
essi
onest

t
aut
ologi
que

08et1’
6encont
radi
cti
onav
ec12

La l
oidel
a commut
ati
on desant
écédent
s(C.
A):El
l
e expr
ime l
efai
tqu’
i
lest

l
ogi
quementper
misdeper
mut
erdeuxant
écédent
squi
sesui
vent

[Link]
icat
ionàdesr
aisonnement
s

Lesdéduct
ionsci
-dessoussont
-el
l
esl
ogi
quementv
alabl
es?Just
if
ierv
otr
eréponse

enut
il
isantl
asecondemét
hode.

a)Siuneai
l
ed’
unav
ionsebr
iseouunmot
eurpr
endf
eu,
lav
iedespassagesesten

danger
,doncsi
uneai
l
ed’
unav
ionsebr
isel
avi
edepassager
sestendanger
.

(
BVM  D) (
B D)

1’
40’
6120’
501140305

N’
i
mpor
tequel
l
eval
eur
 27

Quel
l
esoi
tlav
aleurdeM l
acont
radi
cti
onent
re06 et1’
4estdéj
àconsommée01n’
est

pasj
ust
if
ié l
’
expr
essi
onestt
aut
ologi
que.

Cetexer
cicemont
resil
’
unededeuxcondi
ti
onsaumoi
nssuf
fi
tpourobt
eni
run

r
ésul
tat
,ilestl
ogi
quementaut
ori
sédechoi
sircel
l
equ’
onv
eutpourobt
eni
rlemême

r
ésul
tat
.

b)Sil
afuséen’
att
eintpasl
avi
tessedel
i
bér
ati
on,
ell
en’
arr
iver
apasàl
[Link],

si
laf
uséeat
tei
ntl
avi
tessedel
i
bér
ati
on,
ell
ear
ri
ver
aàl
alune.

(̶ A  ̶ L) (
A  L)

0’
61’
4121705011’
40305

17et06 j
ust
if
ient12 10estj
ust
if
ié

Mét
hodedéduct
ion l
’
expr
essi
onn’
estpast
aut
ologi
e

c)S’
i
lpl
eutnor
mal
ementetquenousar
rosonsbi
en,
ilaur
aunebonner
écol
[Link]

s’
i
lpl
eutnor
mal
ement
,il
aur
aunebonner
écol
te.

PɅA R (
pɅ A) R) (
p R)

P R 1’
40607120’
501140305

0’
7et1’
4just
if
ient06 01estj
ust
if
ié l
’
expr
essi
onn’
estpast
aut
ologi
que.Mét
hode

déduct
ion

Cetexer
cicemont
requesipourav
oirunr
ésul
tat
,onexi
gedeuxcondi
ti
ons,i
ln’
est

pasl
ogi
quementaut
ori
sédesecont
ent
erd’
uneseul
e.

d)Sij
’
étai
sdansunecapsul
espat
ial
e,j
eser
aiscél
èbr
eorj
enesui
spasdansune

capsul
espat
ial
[Link],
jesui
scél
èbr
e

S C <=> [
(S C)Ʌ ̶ S] ̶ C

̶S 0’
7151’
4121607040314

07et1’
4just
if
ient1’
5 l
’
expr
essi
onn’
estpast
aut
ologi
e Mét
hodedéduct
ion
 28

2.
3.Mét
hodedi
tededéduct
ionnat
urel
le

Remar
qued’
abor
dquel
esdeuxpr
emi
èresmét
hodesbi
enqu’
el
lesper
met
tentdedi
re

siunedéduct
ionestl
ogi
quementv
alabl
eounon,el
l
esnepeuv
entpasnousai
derà

cher
cheretàt
rouv
eruneconcl
usi
onét
antdonnédespr
émi
cesorl
arecher
ched’
une

concl
usi
onenr
espect
antl
esr
ègl
esetl
esl
oisl
ogi
quementét
abl
i
esconst
it
uent

l
’
obj
ect
ifent
endudececour
sdel
ogi
quemoder
ne.

C’
estcet
tet
roi
sièmemét
hodequi
répondàcet
tepr
éoccupat
[Link]
ransf
ormat
ions,

l
esr
empl
acement
setl
esdéduct
ionsaut
ori
sésparl
alogi
quesontcont
enusdansl
es

l
oisl
ogi
quesét
abl
i
esparl
esdeuxpr
emi
èresmét
hodes.

Règl
esdedéduct
ion

[Link]
ègl
edeModusPonedoPonens(
M.P.
P)

For
me:
A B

A M.
P.P

El
l
econsi
steàposerl
econséquentenposantl
’
ant
écédent:

p q A A B
Ex:
q rB p q q r (
p q) (
p r
)
p A p p p
M.
P.P M.
P.P
? q r q r
?

b. p (
̶ q r
) c. p  (
q r
) p q
̶q ̶ q r p M.
P.P
P ̶ q r q
? r q (
p r
)
p (
̶ q r
)
q M.
P.P
p
p r
̶ q r
p M.
P.P
̶ q r
 29

[Link]:
p (
q r
) p (
q r
)
p M.
P.P
r (
p q)
q r
p
r (
p q)
r r M.
P.P
? p q
p M.
P.P
q
q r

[Link]
ègl
eduModusTol
lendoTol
ler
s(M.
T.T)

For
me:A B

B M.
T.T

A

El
l
econsi
steàenl
everl
’
ant
écédentenél
evantl
econséquent
.

a)p (
q r
)
p (
q r
)
r p

p q r
r M.
T.T
?
q

b)A B

C K C K

B C K M.
T.T

C

B C M.
T.T

C
 30

B

A B

B M.
T.T

A

[Link]
ègl
edur
empl
acement

Cet
ter
ègl
enousdi
tqu’
i
lestl
ogi
quementaut
ori
séder
empl
aceruneexpr
essi
onpar

t
out
eaut
reexpr
essi
onqui
lui
ditéqui
val
ent

Ex:
pvq/
/p q

pvq/
/p q

I
ll
ust
rat
ion:
Qui
estl
evol
eur?

Unmagasi
naét
édév
ali
séetl
espr
emi
ersr
ésul
tat
ssontl
essui
vant
s:

Lev
oleurestunhomme,
ilestdepet
it
etai
l
le.

S’
i
lestdepet
it
etai
l
le,
ilestpasséparl
afenêt
redel
aruel
l
e.

Lev
oleurestunhommeouent
outcas,
ilpor
tai
tdesv
êtement
smascul
i
ns.

S’
i
lpor
tai
tdesv
êtement
smascul
i
ns,
alor
sàsupposerquel
etémoi
nsoi
tdi
gnedef
oi,

al
orsi
lestpasséparl
afenêt
redel
aruel
l
e.

Enout
re,
l’
examendel
i
eupr
ouv
equ’
i
ln’
estpaspasséparl
afenêt
redel
aruel
l
e.

Qu’
enconcl
ure?
H t T r
T r r M.
T.T
H∪M t
M  T r H t
? t M.
T.T
H
HVM  H M M.
P.P
H
M
M (
T r
)
M M.
P.P
T r
31
 32

4.Règl
edel
’
ext
oto

For
me:
A B Q
M H Q T
T
B C H M.
T.T 
T
T M.
T
T.
M..T
T
A B M 
Q
Q
T M P
P Q
Q
M M.
T.T Q
Q o
ou
u
Ex:P Q
T P Q
M H Q T

T M T M
M H
Q T
P H
H H M.
T.T
?

[Link]
ègl
edel
adoubl
enégat
ion

Ex1:
p q p q

q (
q) (
q) M.
T.T

p

Ex2:
p q

q (
q)

p q

(
q)

(
p) p

6.I
ntr
oduct
ionduconj
onct
eur(
I,
Ʌ)
 33

For
me:
A

B IɅ

AɅ B

El
l
eestj
ust
if
iéeparl
aloi
logi
que

A (
B A∩ BouB (
A AAB)

12 01 14 03 1’ 1’
4 et12 en cont
radi
cti
on av
ec 05:
2 05 1’
4

l
’
expr
essi
onestt
aut
ologi
e

Cet
ter
ègl
eexpr
imel
efai
tquemêmeobt
enusépar
ément
,onal
esdeuxàl
afoi
s.

Ex:
pɅq rɅs
p∩q r∩s
rɅ s t r∩s t ext
oto
p∩q t
p∩q M.
[Link]Ʌq I
∩
t p∩q
[Link]
imi
nat
ionduconj
onct
eur(
EɅ)

For
me:AɅ B
∈∩
A;
B

Ex1:
K D∪H Ex1:
T (
A C)
∈∩
KvD
KɅ D TɅ C’ TɅ C E.A
K;
D
? ? CD.N (
T; C)

K D∪ H T (
A C)
K M.
P.P T M.
P.P
D∪H
A C
D H
D M.
P.P (
C)

A) D.N A
(

[Link]
ati
ondesant
écédent
s(C.
A)

For
me:
A (
B C)

B (
A C)

Ex:T (
A C)
 34

CɅA
∈
? CɅA

(
C) C;
A

T (
A C)

C.
A

A (
T C)

A M.
P.P

T C

(
C) M.
T.T

T
 35

[Link]
ègl
edel
’
impor
t-
expor
t

B (
A C)
A (B C)
For
me: i
mpor
tdeA.i
mpor
tdeB.
AɅB C
Expor
tdeB.

Expor
tdeA

[Link]
oisdepassage

AɅB) A B
(

AVB  A B

A∪ B A∪B

A∪ B  A∪B

[Link]
resr
ègl
es(
moi
nsi
mpor
tant
es)

a)Lar
ègl
eduModusTol
lendoPonens(
M.T.
P)

For
me:
A∪B A∪B A B

B B

A (
A) A

b)Lar
ègl
eduModusPonendoTol
lens(
M.P.
T)

For
me:AɅB (
AɅB) AɅB) A∪B
(

A M.
P.T A B

B A M.
P.P

B

[Link]
oisdecomposi
ti
on

a)Composi
ti
onsconj
onct
ives(
C.C)

For
me:
A C A C A C

B D C.C B C B C
 36

AɅB CɅD AɅB C A BɅC

h)Composi
ti
onsdi
sjonct
ivesoual
ter
nat
ives(
C.D)

For
me:
A C A C A C

B D [Link] C C.D B C C.D

A ∪ B C∪D A∪ B C A B∪C

N.
B:Cesr
ègl
esr
est
entv
alabl
espourl
’
équi
val
ence

13.L’
usagedesexpr
essi
onsf
aibl
es

a)Laconj
onct
ionét
antpl
usexi
geant
equel
adi
sjonct
ionpourêt
rev
rai
e,i
lest

l
ogi
quementaut
ori
sédesecont
act
erd’
unedi
sjonct
ionl
àoùonaur
aitdr
oitàune

conj
onct
[Link]
tlor
squ’
onut
il
iseuneexpr
essi
onf
aibl
e,el
l
eti
resal
égi
ti
mit
édans

l
aloi
logi
que.

A C
AɅB B D
For
me: Appl
i
cat
ion +expr
essi
on
CɅD AɅB C∪D
f
aibl
e.

A< B
For
me:
A B
[Link]
ègl
edel
acont
raposi
ti
on

A C)contraposition< T (
T ( A C)

CɅA < C (
T A)

CɅA C’

C;
A T A

A

T

p qcontraposition< q p
Ex:

q q M.
P.P

p
 37

[Link]
ègl
esenconséquence

a)M.
[Link]équence

A (
B C)

B M.
[Link]équence

A C)

b)M.
[Link]équence

A (
B C)

C M.
[Link]équence

A B

c)Ext
otoenconséquence

A (
B C)

C D Ext
otoenconséquence

A (
B C)

d)Cont
raposi
ti
onenconséquence

T (
C A)

Cont
raposi
ti
onenconséquence+D.
N

T (
A C)

Cont
raposi
ti
onenconséquence.+D.
N

T (
C A)

EXERCI
CES

1. A (
B∪C) 5. F K 9.A B∪C
C K∩L M B
? M ∩L C
? ?
B M A B
B M B∩C D
? C∩D
?
 38

2. 6.
10.A∩B
C
C
A M
3. 7.
A M A∩B C 11.A∩B C
? B C
? ?
4. A∩C H 8. A C
(
B∩H) D [
C (
D H)
] 12.A∩C H
? D (
B∩ H)
A∩H ?
?
13.A∩H D 14.A B∪C 15.A C
B∩ H D B A B C
N A∪B C ?
H∩ D ?
?
16.A∪B 17.A∩C A 18.A C
C∪D A∩D A B D
(
B∩C) C∪ D (
C∩D)
(
B∩C) ? ?
?
19.M ∩ N 20.A∩C H 21.A C
A∪B (
B ∩H) B D
A∩K M C∪ D C∩ D  G∪
B ∩K N A∩B H
? ? G K
A K
 39

22.Q 23.A∪C
P∪ Q A P
P R B Q
? (
P∩Q)
?

[Link]
reestàl
’
heur
e,j
’
arr
iver
aiav
antl
edébutdel
api
ècepourpeuquej
e

t
rouv
eunt
axi
.Jet
rouv
eunt
axietpour
tant
,jen’
arr
ivepasaudébutdel
api
è[Link]’
en

concl
ure?

[Link]
’
appar
eilestbi
enbr
onchéetquel
atensi
onestde220val
orsl
’
appar
eilest

dét
raquéoui
lvasemet
treenmar
chet
outdesui
[Link]
’
appar
eilestbi
enbr
anchéet

nesemetpasenmar
che.
Qu’
enconcl
ure?