http://benmoussamath.jimdo.

com

Lien du site :

: : 1 :

.11

- PROPOSITION : FORMES PROPOSITIONNELLES :

.A:
( ) p q . . r
. 1 : .V 0: . F
E . E
A(x (: ) A(x,y) , P(x )......,P(x,y
.B:
. :
: F
3" " . : " 8=3+6" . V

": A x, y x y

" x2 2xy y 2 x y : :
2

.10LES QUANTIFICATEURS:
:

" x E " A x . x E : A x :

" x E " A x . x E : A x :

!x E : : x . E
. .
. .

( : ) connecteurs
p q r :

p

( p ) p p

pq

pq
:
.pq

p q

pq

p q
:
.pq

p q

q p
:
pq
pq

p
q

pq

p q

p p : p :

p : q q p
r) : ( q r p ) q (p
p : q ) q ( p
:
) r ( p ) q r) (p (q p
) r ( q ) r r (p ) q (p
p : q q p
r) : ( q r p ) q (p
p : q ) q ( p
:
) r ( p ) q r) (p (q p
) r ( q ) r r (p ) q (p
p r :

q :

q r )(p q

p q p q p

(p q) (q p) :

p r :

q r )(p q

http://benmoussamath.jimdo.com

Lien du site :

: : 1 :

p p
0
1

pq
pq
q p

1
0
0
1

1
0

1
0
1
1

1
1
1
0

qp
1
0
0
0

p
q
1
0
1
0

1
1
0
0

Les lois logiques :

. ( p q p q : )Morgan p q p q( ) ( )
TYPES ( OU MODES ) DE RAISONNEMENT MATHEMATIQUE:
.11 PAR CONTRE EXEMPLE :

" " x E , A x " " x E , A x .

( . )

.10 par quivalences successives::

p1 p .. p2 p1 q pk q p .
.10 dduction:
p q p ( p ) q ( .) q
.
.10 contrapose :
p q q p .
.10 :

PAR DISJONCTION DES CAS

.10 PAR ABSURDE :

: q
p .1 p ( . )
.2 q : ( q )
.3 p p p .
.4 ( q ) . q.
.
.10 par rcurrence :

n 0 P n . . n :
P n : ( . n n0 P n : ) n n0
: P(n) : ( . n ).
: : ) P(n . n 1

P n : n

( . n n0 : " , P n

" n n0 n )