d i à l Introduction à la l i f ll logique formelle

diàl
Intro
d
uct
i
on
à
l
a
li
fll
l
og
i
que
f
orme
ll
e
eBac et LMRL

1 La logique formelle
1
.
La
logique
formelle

La logique formelle est la science des
raisonnements valides
Elle analyse
raisonnements
valides
.
Elle
analyse
seulement la vérité matérielle d’un
it
ra
i
sonnemen
t
.
Le but de la logique est de distinguer des
arguments valides de part leur
forme
des
arguments
valides
de
part
leur
forme
des
autres.

Exemple
Si j’admets que la phrase suivante est vraie
«
S
’
il pleut le sol est mouillé
» je peux
«
Sil
pleut
,
le
sol
est
mouillé
.
»
,
je
peux
déduire de la phrase « Il pleut. » la
li
conc
l
us
i
on : …

Exemple
Si j’admets que la phrase suivante est vraie
«
S
’
il pleut le sol est mouillé
» je peux
«
Sil
pleut
,
le
sol
est
mouillé
.
»
,
je
peux
déduire de la phrase « Il pleut. » la
li
conc
l
us
i
on :
«Le sol est mouillé.»